# # ChangeLog for kernel/f5gb.h in git # # Generated by Trac 1.2.3 # Mar 29, 2024, 2:00:28 PM 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: ... 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 ... 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 ... 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, ... 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 [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 [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:50:03 GMT Christian Eder [d0f98e] * kernel/f5gb.h (modified) quicksort git-svn-id: file:///usr/local/Singular/svn/trunk@10735 ... Fri, 23 May 2008 19:47:39 GMT Christian Eder [171950] * kernel/f5gb.cc (modified) * kernel/f5gb.h (modified) new: interreduction git-svn-id: ... Fri, 18 Apr 2008 13:32:53 GMT Oliver Wienand [3ad53dd] * kernel/Makefile.in (modified) * kernel/f5gb.h (modified) * kernel/rintegers.cc (modified) * kernel/rintegers.h (modified) const char f5gb in makefile git-svn-id: ... Thu, 17 Apr 2008 12:32:13 GMT Oliver Wienand [936551] * Singular/extra.cc (modified) * kernel/f5gb.cc (added) * kernel/f5gb.h (added) F5 Implementierung git-svn-id: ...