#
# ChangeLog for kernel/f5data.h in git
#
# Generated by Trac 1.2.3
# May 3, 2024, 10:30:54 AM

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: ...


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, ...


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: ...


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: ...


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 ...


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
 ...


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 ...


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, ...


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

 ...


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:27:20 GMT Christian Eder [01e82c8]
	* kernel/f5data.cc (added)
	* kernel/f5data.h (added)

	these files replace all lpoly stuff in the f5 implementation

 ...