# # ChangeLog for kernel/f5lists.cc in git # # Generated by Trac 1.2.3 # Apr 19, 2024, 6:34:32 PM 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: ... 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, 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:28:07 GMT Christian Eder [1534d9] * kernel/f5gb.cc (modified) * kernel/f5lists.cc (modified) changed data structure RList, sorted insertion of rules, still ... 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: ... 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: ... 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 ... 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:44:38 GMT Christian Eder [b29153] * kernel/f5lists.cc (modified) updated tag lists git-svn-id: ... 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 ... Tue, 27 Jan 2009 10:38:08 GMT Hans Schönemann [f4e338f] * kernel/f5lists.cc (moved) * kernel/f5lists.h (moved) *hannes: lists -> f5lists git-svn-id: ...