source: git/kernel/f5lists.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @e3b5ed   14 years Christian Eder added symbolic preprocessing to the reduction process git-svn-id: ... jengelh-datetimespielwiese
(edit) @6b0aa2   14 years Christian Eder new alternative reduction - still in progress! git-svn-id: ... jengelh-datetimespielwiese
(edit) @e90881   14 years Christian Eder implemented deletion of known useless polynomials before the ... jengelh-datetimespielwiese
(edit) @f6c7c9b   14 years Christian Eder deleted criterion2-tests if the element does not have the current ... jengelh-datetimespielwiese
(edit) @1534d9   14 years Christian Eder changed data structure RList, sorted insertion of rules, still ... jengelh-datetimespielwiese
(edit) @c4158f   14 years Christian Eder delete some double checkings, changed list stuff for last elements in ... jengelh-datetimespielwiese
(edit) @7c81165   14 years Christian Eder updated list of critical pairs, thrown away some useless data ... jengelh-datetimespielwiese
(edit) @e6d283f   14 years Christian Eder rTag stuff done for F5C git-svn-id: ... jengelh-datetimespielwiese
(edit) @55a828   14 years Christian Eder first attempt of a working F5C (F5 with interreduction) implementation ... jengelh-datetimespielwiese
(edit) @fe88079   14 years Christian Eder interreduction stuff added, still commented out and tested ... jengelh-datetimespielwiese
(edit) @9cb4078   14 years Christian Eder implemented interreduction, still with lots of bugs => commented out ... jengelh-datetimespielwiese
(edit) @338842d   14 years Christian Eder gPrevRedCheck is no longer part of LPoly, less data to take care of ... jengelh-datetimespielwiese
(edit) @c9193a   14 years Christian Eder fixed bug: zero reduction after top reduction git-svn-id: ... jengelh-datetimespielwiese
(edit) @8066e80   14 years Christian Eder deleted bugs in reduction(), mostly label stuff git-svn-id: ... jengelh-datetimespielwiese
(edit) @61944d0   14 years Christian Eder solved problems in reduction() in topReduction() considering both ... jengelh-datetimespielwiese
(edit) @598870   14 years Christian Eder still debugging git-svn-id: ... jengelh-datetimespielwiese
(edit) @70c15e   14 years Christian Eder problem in cyclic_n(4) solved git-svn-id: ... jengelh-datetimespielwiese
(edit) @eab144e   14 years Christian Eder fmtm() example runs, cycli_n has problems, reductions are not made for ... jengelh-datetimespielwiese
(edit) @d51339   14 years Christian Eder new written reduction process, still problems getting the right rules ... jengelh-datetimespielwiese
(edit) @416ea2   14 years Christian Eder new try on reduction procedures, no longer list of completed elements, ... jengelh-datetimespielwiese
(edit) @61d32c   14 years Christian Eder still searching errors in reduction() git-svn-id: ... jengelh-datetimespielwiese
(edit) @87beab7   14 years Christian Eder lots of stuff debugged, lots of wrong loop terminations improved, ... jengelh-datetimespielwiese
(edit) @fcb8022   14 years Christian Eder rTag update git-svn-id: file:///usr/local/Singular/svn/trunk@11354 ... jengelh-datetimespielwiese
(edit) @9bb97e   14 years Christian Eder implementation of computeSPols, start of reduction and topReduction ... jengelh-datetimespielwiese
(edit) @8978fd   14 years Christian Eder criterion2() for spols() added git-svn-id: ... jengelh-datetimespielwiese
(edit) @a41f3aa   14 years Christian Eder criterion1() and criterion2() done, changed rules(added pointer on ... jengelh-datetimespielwiese
(edit) @b29153   14 years Christian Eder updated tag lists git-svn-id: ... jengelh-datetimespielwiese
(edit) @5d0556   14 years Christian Eder all stuff now found in f5data.* git-svn-id: ... jengelh-datetimespielwiese
(edit) @66e7b5   14 years Christian Eder subalgorithms criticalPairs, criterion1 and criterion2 added ... jengelh-datetimespielwiese
(add) @f4e338f   14 years hannes *hannes: lists -> f5lists git-svn-id: ... jengelh-datetimespielwiese
Note: See TracRevisionLog for help on using the revision log.