source: git/kernel/f5gb.h

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @599326   14 years krueger Anne, Kai, Frank: - changes to #include "..." statements to allow ... spielwiese
(edit) @ab76b4   14 years Christian Eder latest F5 version including F5,F5R,F5C & F5+ git-svn-id: ... spielwiese
(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) @d4cec61   15 years Christian Eder implemented test for termination ideas git-svn-id: ... spielwiese
(edit) @0179d5   15 years Christian Eder options for switching between F5, F5R and F5C: "0" = F5, "1" = F5R, ... spielwiese
(edit) @df638fb   15 years Christian Eder renamed "f5data.cc" -> "F5cdata.cc" git-svn-id: ... spielwiese
(edit) @667a9c   15 years Christian Eder bad stuff updated git-svn-id: ... spielwiese
(edit) @c3efd3b   15 years Christian Eder first bucket stuff implemented, timings for the preprocessing given ... spielwiese
(edit) @e3b5ed   15 years Christian Eder added symbolic preprocessing to the reduction process git-svn-id: ... spielwiese
(edit) @6b0aa2   15 years Christian Eder new alternative reduction - still in progress! git-svn-id: ... spielwiese
(edit) @2ae96e   15 years Christian Eder first exponent vector comparison procedures git-svn-id: ... spielwiese
(edit) @bb02ea   15 years Christian Eder changed reduction, first step to optimize topReduction() for SINGULAR ... spielwiese
(edit) @f6c6b01   15 years Christian Eder updates in reduction git-svn-id: ... spielwiese
(edit) @f6c7c9b   15 years Christian Eder deleted criterion2-tests if the element does not have the current ... spielwiese
(edit) @9cb4078   15 years Christian Eder implemented interreduction, still with lots of bugs => commented out ... spielwiese
(edit) @338842d   15 years Christian Eder gPrevRedCheck is no longer part of LPoly, less data to take care of ... spielwiese
(edit) @c9193a   15 years Christian Eder fixed bug: zero reduction after top reduction git-svn-id: ... spielwiese
(edit) @61944d0   15 years Christian Eder solved problems in reduction() in topReduction() considering both ... 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) @416ea2   15 years Christian Eder new try on reduction procedures, no longer list of completed elements, ... spielwiese
(edit) @d7d5f6   15 years Christian Eder still searching bug in reduction() git-svn-id: ... 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) @8978fd   15 years Christian Eder criterion2() for spols() added git-svn-id: ... spielwiese
(edit) @a41f3aa   15 years Christian Eder criterion1() and criterion2() done, changed rules(added pointer on ... spielwiese
(edit) @5d0556   15 years Christian Eder all stuff now found in f5data.* git-svn-id: ... spielwiese
(edit) @66e7b5   15 years Christian Eder subalgorithms criticalPairs, criterion1 and criterion2 added ... spielwiese
(edit) @a3771a   15 years hannes *hannes: lists -> f5lists git-svn-id: ... spielwiese
(edit) @cce6ed3   15 years Christian Eder lists done, started implementing f5incremental and critpair ... spielwiese
(edit) @a0350e9   15 years Christian Eder added lists for critical pairs git-svn-id: ... spielwiese
(edit) @71f00c5   15 years Christian Eder lists updated git-svn-id: file:///usr/local/Singular/svn/trunk@11273 ... spielwiese
(edit) @199ae7   15 years Christian Eder incremental basis git-svn-id: ... spielwiese
(edit) @244ed5   15 years Christian Eder updated header inclusions due to lplist git-svn-id: ... spielwiese
(edit) @ed30c5   15 years Christian Eder updated input git-svn-id: file:///usr/local/Singular/svn/trunk@11207 ... spielwiese
(edit) @4cfd6d   15 years Christian Eder added function "generate_input_list" git-svn-id: ... spielwiese
(edit) @cfb8edb   15 years Christian Eder : git-svn-id: file:///usr/local/Singular/svn/trunk@11125 ... spielwiese
(edit) @ee3507   16 years hannes *hannes: conventions git-svn-id: ... spielwiese
(edit) @948192   16 years Christian Eder implementation of labeled polynomials git-svn-id: ... spielwiese
(edit) @8627ad   16 years Christian Eder *** empty log message *** git-svn-id: ... spielwiese
(edit) @0b85fc   16 years Christian Eder labeled polynomial added git-svn-id: ... spielwiese
(edit) @d0f98e   16 years Christian Eder quicksort git-svn-id: file:///usr/local/Singular/svn/trunk@10735 ... spielwiese
(edit) @171950   16 years Christian Eder new: interreduction git-svn-id: ... spielwiese
(edit) @3ad53dd   16 years wienand const char f5gb in makefile git-svn-id: ... spielwiese
(add) @936551   16 years wienand F5 Implementierung git-svn-id: ... spielwiese
Note: See TracRevisionLog for help on using the revision log.