source: git/kernel/f5data.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @341696   14 years hannes Adding Id property to all files git-svn-id: ... spielwiese
(edit) @418bd6   14 years Christian Eder added idea for termination of F5: split critical pairs in "useful" and ... spielwiese
(edit) @a05c71   15 years Christian Eder termination tests included in procedure findReducers() git-svn-id: ... spielwiese
(edit) @0179d5   15 years Christian Eder options for switching between F5, F5R and F5C: "0" = F5, "1" = F5R, ... spielwiese
(edit) @ae5177   15 years Christian Eder put the header files right git-svn-id: ... spielwiese
(edit) @667a9c   15 years Christian Eder bad stuff updated git-svn-id: ... spielwiese
(edit) @e90881   15 years Christian Eder implemented deletion of known useless polynomials before the ... spielwiese
(edit) @fe88079   15 years Christian Eder interreduction stuff added, still commented out and tested ... spielwiese
(edit) @9cb4078   15 years Christian Eder implemented interreduction, still with lots of bugs => commented out ... spielwiese
(edit) @eab144e   15 years Christian Eder fmtm() example runs, cycli_n has problems, reductions are not made for ... spielwiese
(edit) @d51339   15 years Christian Eder new written reduction process, still problems getting the right rules ... spielwiese
(edit) @87beab7   15 years Christian Eder lots of stuff debugged, lots of wrong loop terminations improved, ... spielwiese
(edit) @fcb8022   15 years Christian Eder rTag update git-svn-id: file:///usr/local/Singular/svn/trunk@11354 ... spielwiese
(edit) @9bb97e   15 years Christian Eder implementation of computeSPols, start of reduction and topReduction ... spielwiese
(edit) @a41f3aa   15 years Christian Eder criterion1() and criterion2() done, changed rules(added pointer on ... spielwiese
(add) @01e82c8   15 years Christian Eder these files replace all lpoly stuff in the f5 implementation ... spielwiese
Note: See TracRevisionLog for help on using the revision log.