#
# ChangeLog for kernel/f5gb.cc in git
#
# Generated by Trac 1.2.3
# May 21, 2024, 12:40:59 AM

Thu, 01 Oct 2009 13:40:16 GMT Christian Eder [418bd6]
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	added idea for termination of F5: split critical pairs in "useful" ...


Mon, 31 Aug 2009 13:55:46 GMT Christian Eder [a05c71]
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	termination tests included in procedure findReducers()


	git-svn-id: ...


Sun, 30 Aug 2009 15:26:00 GMT Christian Eder [d4cec61]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	implemented test for termination ideas


	git-svn-id: ...


Thu, 16 Jul 2009 07:47:51 GMT Christian Eder [0179d5]
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	options for switching between F5, F5R and F5C: "0" = F5, "1" = F5R, ...


Thu, 02 Jul 2009 13:47:24 GMT Christian Eder [df638fb]
	* kernel/F5cdata.cc (moved)
	* kernel/Makefile.in (modified)
	* kernel/f5c.cc (modified)
	* kernel/f5c.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/mod2.h.in (modified)

	renamed "f5data.cc" -> "F5cdata.cc"


	git-svn-id: ...


Tue, 23 Jun 2009 10:08:15 GMT Christian Eder [ae5177]
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	put the header files right


	git-svn-id: ...


Tue, 02 Jun 2009 07:13:30 GMT Christian Eder [f42fe73]
	* kernel/f5gb.cc (modified)

	bug fix: tempPoly could be zero during reduciton process in procedure ...


Fri, 29 May 2009 11:34:22 GMT Christian Eder [667a9c]
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	bad stuff updated


	git-svn-id: ...


Thu, 28 May 2009 10:18:30 GMT Christian Eder [69aada]
	* kernel/f5gb.cc (modified)

	updated bad reduction stuff


	git-svn-id: ...


Thu, 21 May 2009 16:48:13 GMT Christian Eder [7824583]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	geobucket implementation with complete reduction of polynomials

 ...


Thu, 14 May 2009 08:47:01 GMT Christian Eder [787685]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	insertion of rules ordered by their monomials, bit slower than ...


Wed, 13 May 2009 16:55:03 GMT Christian Eder [c3efd3b]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	first bucket stuff implemented, timings for the preprocessing given

 ...


Thu, 07 May 2009 08:48:36 GMT Christian Eder [f16a76d]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	updated preprocessing


	git-svn-id: ...


Mon, 04 May 2009 13:30:53 GMT Christian Eder [e3b5ed]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)

	added symbolic preprocessing to the reduction process


	git-svn-id: ...


Mon, 20 Apr 2009 13:54:50 GMT Christian Eder [6b0aa2]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	new alternative reduction - still in progress!


	git-svn-id: ...


Tue, 07 Apr 2009 13:30:01 GMT Christian Eder [2ae96e]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	first exponent vector comparison procedures


	git-svn-id: ...


Sun, 05 Apr 2009 07:49:18 GMT Christian Eder [bb02ea]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	changed reduction, first step to optimize topReduction() for SINGULAR ...


Fri, 03 Apr 2009 10:32:15 GMT Christian Eder [c4a041]
	* kernel/f5gb.cc (modified)

	memory optimized in reduction()


	git-svn-id: ...


Thu, 02 Apr 2009 12:59:59 GMT Christian Eder [f6c6b01]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	updates in reduction


	git-svn-id: ...


Wed, 01 Apr 2009 19:17:02 GMT Christian Eder [7bd779]
	* kernel/f5gb.cc (modified)

	smaller updates in reduction() & topReduction()


	git-svn-id: ...


Tue, 31 Mar 2009 07:36:00 GMT Christian Eder [19567b]
	* kernel/f5gb.cc (modified)

	tests for timings


	git-svn-id: ...


Sun, 29 Mar 2009 17:17:09 GMT Christian Eder [e90881]
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	implemented deletion of known useless polynomials before the ...


Wed, 25 Mar 2009 14:24:00 GMT Christian Eder [66a5f8]
	* kernel/f5gb.cc (modified)

	trying some stuff with exponent vectors, still not working with most ...


Fri, 20 Mar 2009 20:34:43 GMT Christian Eder [85a342]
	* kernel/f5gb.cc (modified)

	criterion2() for previously computed elements deleted


	git-svn-id: ...


Wed, 18 Mar 2009 13:39:13 GMT Christian Eder [f6c7c9b]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)

	deleted criterion2-tests if the element does not have the current ...


Mon, 16 Mar 2009 19:30:16 GMT Christian Eder [febf7e]
	* kernel/f5gb.cc (modified)

	solved conflicts


	git-svn-id: ...


Mon, 16 Mar 2009 19:28:07 GMT Christian Eder [1534d9]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	changed data structure RList, sorted insertion of rules, still ...


Mon, 16 Mar 2009 13:30:59 GMT Hans Schönemann <hannes@…> [bc103b]
	* kernel/f5gb.cc (modified)

	*hannes: syntax


	git-svn-id: ...


Mon, 16 Mar 2009 07:50:23 GMT Christian Eder [24ac666]
	* kernel/f5gb.cc (modified)

	criterion1() changed using ideals now, ExpVector tests


	git-svn-id: ...


Fri, 13 Mar 2009 10:36:19 GMT Christian Eder [d738b47]
	* kernel/f5gb.cc (modified)

	*** empty log message ***


	git-svn-id: ...


Thu, 12 Mar 2009 14:34:03 GMT Christian Eder [c4158f]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	delete some double checkings, changed list stuff for last elements in ...


Thu, 12 Mar 2009 09:43:53 GMT Christian Eder [7c81165]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	updated list of critical pairs, thrown away some useless data

 ...


Mon, 09 Mar 2009 14:51:42 GMT Christian Eder [e6d283f]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	rTag stuff done for F5C


	git-svn-id: ...


Sun, 08 Mar 2009 20:20:21 GMT Christian Eder [c3da59]
	* kernel/f5gb.cc (modified)

	still problems with rTag, old structures with new idea of reduction ...


Fri, 06 Mar 2009 21:30:21 GMT Christian Eder [55a828]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	first attempt of a working F5C (F5 with interreduction) ...


Thu, 05 Mar 2009 14:30:23 GMT Christian Eder [fe88079]
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	interreduction stuff added, still commented out and tested

 ...


Wed, 04 Mar 2009 20:23:05 GMT Christian Eder [9cb4078]
	* kernel/f5data.cc (modified)
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	implemented interreduction, still with lots of bugs => commented out
 ...


Sun, 01 Mar 2009 20:31:55 GMT Christian Eder [338842d]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	gPrevRedCheck is no longer part of LPoly, less data to take care of

 ...


Sat, 28 Feb 2009 21:14:06 GMT Christian Eder [c9193a]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)

	fixed bug: zero reduction after top reduction


	git-svn-id: ...


Fri, 27 Feb 2009 22:22:30 GMT Christian Eder [8066e80]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	deleted bugs in reduction(), mostly label stuff


	git-svn-id: ...


Thu, 26 Feb 2009 09:01:52 GMT Christian Eder [61944d0]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	solved problems in reduction() in topReduction() considering both ...


Mon, 23 Feb 2009 14:28:38 GMT Christian Eder [598870]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	still debugging


	git-svn-id: ...


Sun, 22 Feb 2009 18:58:36 GMT Christian Eder [70c15e]
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	problem in cyclic_n(4) solved


	git-svn-id: ...


Thu, 19 Feb 2009 14:52:34 GMT Christian Eder [eab144e]
	* kernel/f5data.cc (modified)
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	fmtm() example runs, cycli_n has problems, reductions are not made ...


Wed, 18 Feb 2009 20:43:05 GMT Christian Eder [d51339]
	* kernel/f5data.cc (modified)
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	new written reduction process, still problems getting the right rules ...


Mon, 16 Feb 2009 14:23:42 GMT Christian Eder [416ea2]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	new try on reduction procedures, no longer list of completed ...


Sun, 15 Feb 2009 20:33:56 GMT Christian Eder [61d32c]
	* kernel/f5data.cc (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5lists.cc (modified)

	still searching errors in reduction()


	git-svn-id: ...


Thu, 12 Feb 2009 12:43:31 GMT Christian Eder [d7d5f6]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	still searching bug in reduction()


	git-svn-id: ...


Wed, 11 Feb 2009 21:24:08 GMT Christian Eder [87beab7]
	* kernel/f5data.cc (modified)
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	lots of stuff debugged, lots of wrong loop terminations improved, ...


Mon, 09 Feb 2009 14:24:08 GMT Christian Eder [35d0d1a]
	* kernel/f5gb.cc (modified)

	*** empty log message ***


	git-svn-id: ...


Sun, 08 Feb 2009 19:17:54 GMT Christian Eder [fcb8022]
	* kernel/f5data.cc (modified)
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	rTag update


	git-svn-id: file:///usr/local/Singular/svn/trunk@11354 ...


Fri, 06 Feb 2009 20:12:35 GMT Christian Eder [9bb97e]
	* kernel/f5data.cc (modified)
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	implementation of computeSPols, start of reduction and topReduction

 ...


Wed, 04 Feb 2009 19:27:12 GMT Christian Eder [8978fd]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	criterion2() for spols() added


	git-svn-id: ...


Tue, 03 Feb 2009 20:55:43 GMT Christian Eder [a41f3aa]
	* kernel/f5data.cc (modified)
	* kernel/f5data.h (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)

	criterion1() and criterion2() done, changed rules(added pointer on ...


Fri, 30 Jan 2009 17:25:04 GMT Christian Eder [5d0556]
	* kernel/Makefile.in (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)
	* kernel/lpolynom.cc (deleted)
	* kernel/lpolynom.h (deleted)
	* kernel/lpolynomial.cc (deleted)
	* kernel/lpolynomial.h (deleted)
	* kernel/mod2.h.in (modified)

	all stuff now found in f5data.*


	git-svn-id: ...


Thu, 29 Jan 2009 17:59:30 GMT Christian Eder [66e7b5]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/f5lists.cc (modified)
	* kernel/f5lists.h (modified)
	* kernel/lpolynomial.cc (modified)
	* kernel/lpolynomial.h (modified)

	subalgorithms criticalPairs, criterion1 and criterion2 added

 ...


Wed, 28 Jan 2009 17:21:07 GMT Hans Schönemann <hannes@…> [a3771a]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/lpolynomial.cc (modified)

	*hannes: lists -> f5lists


	git-svn-id: ...


Sun, 25 Jan 2009 17:13:06 GMT Christian Eder [cce6ed3]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/lists.cc (modified)
	* kernel/lists.h (modified)
	* kernel/lpolynomial.cc (modified)
	* kernel/lpolynomial.h (modified)

	lists done, started implementing f5incremental and critpair ...


Thu, 15 Jan 2009 17:44:24 GMT Christian Eder [a0350e9]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/lists.cc (modified)
	* kernel/lists.h (modified)
	* kernel/lpolynomial.cc (modified)
	* kernel/lpolynomial.h (modified)

	added lists for critical pairs


	git-svn-id: ...


Sat, 27 Dec 2008 13:50:06 GMT Christian Eder [71f00c5]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/lists.cc (added)
	* kernel/lists.h (modified)
	* kernel/lpolynomial.cc (modified)
	* kernel/lpolynomial.h (modified)

	lists updated


	git-svn-id: ...


Fri, 26 Dec 2008 13:49:57 GMT Christian Eder [199ae7]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	incremental basis


	git-svn-id: ...


Thu, 27 Nov 2008 17:18:05 GMT Christian Eder [244ed5]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	updated header inclusions due to lplist


	git-svn-id: ...


Sat, 22 Nov 2008 20:48:23 GMT Christian Eder [ed30c5]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	updated input


	git-svn-id: ...


Thu, 20 Nov 2008 17:55:04 GMT Christian Eder [4cfd6d]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	added function "generate_input_list"


	git-svn-id: ...


Sat, 11 Oct 2008 12:12:46 GMT Christian Eder [cfb8edb]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/lpolynom.cc (modified)
	* kernel/lpolynom.h (modified)

	:


	git-svn-id: file:///usr/local/Singular/svn/trunk@11125 ...


Thu, 07 Aug 2008 13:18:36 GMT Hans Schönemann <hannes@…> [ee3507]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/lpolynom.cc (modified)
	* kernel/lpolynom.h (modified)

	*hannes: conventions


	git-svn-id: ...


Tue, 05 Aug 2008 20:44:08 GMT Christian Eder [948192]
	* kernel/Makefile.in (modified)
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)
	* kernel/lpolynom.cc (added)
	* kernel/lpolynom.h (added)

	implementation of labeled polynomials


	git-svn-id: ...


Thu, 26 Jun 2008 16:05:21 GMT Christian Eder [8627ad]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	*** empty log message ***


	git-svn-id: ...


Sun, 01 Jun 2008 15:15:00 GMT Christian Eder [0b85fc]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	labeled polynomial added


	git-svn-id: ...


Sun, 01 Jun 2008 12:49:42 GMT Christian Eder [9a6e9f]
	* kernel/f5gb.cc (modified)

	quicksort, label poly class


	git-svn-id: ...


Sat, 24 May 2008 07:39:22 GMT Christian Eder [fd2ac0]
	* kernel/f5gb.cc (modified)

	*** empty log message ***


	git-svn-id: ...


Fri, 23 May 2008 19:47:39 GMT Christian Eder [171950]
	* kernel/f5gb.cc (modified)
	* kernel/f5gb.h (modified)

	new: interreduction


	git-svn-id: ...


Tue, 29 Apr 2008 18:34:06 GMT Christian Eder [19a378]
	* kernel/f5gb.cc (modified)

	first test


	git-svn-id: file:///usr/local/Singular/svn/trunk@10693 ...


Thu, 17 Apr 2008 12:32:13 GMT Oliver Wienand <wienand@…> [936551]
	* Singular/extra.cc (modified)
	* kernel/f5gb.cc (added)
	* kernel/f5gb.h (added)

	F5 Implementierung


	git-svn-id: ...