|
|
@6ce030f
|
12 years |
Oleksandr |
removal of the $Id$ svn tag from everywhere
NOTE: the git SHA1 may be ...
fieker-DuValspielwiese
|
|
|
@599326
|
14 years |
krueger |
Anne, Kai, Frank:
- changes to #include "..." statements to allow ...
fieker-DuValspielwiese
|
|
|
@ab76b4
|
14 years |
Christian Eder |
latest F5 version including F5,F5R,F5C & F5+
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@341696
|
15 years |
hannes |
Adding Id property to all files
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@418bd6
|
15 years |
Christian Eder |
added idea for termination of F5: split critical pairs in "useful" and ...
fieker-DuValspielwiese
|
|
|
@a05c71
|
15 years |
Christian Eder |
termination tests included in procedure findReducers()
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@0179d5
|
15 years |
Christian Eder |
options for switching between F5, F5R and F5C: "0" = F5, "1" = F5R, ...
fieker-DuValspielwiese
|
|
|
@ae5177
|
15 years |
Christian Eder |
put the header files right
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@667a9c
|
15 years |
Christian Eder |
bad stuff updated
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@787685
|
15 years |
Christian Eder |
insertion of rules ordered by their monomials, bit slower than without ...
fieker-DuValspielwiese
|
|
|
@c3efd3b
|
15 years |
Christian Eder |
first bucket stuff implemented, timings for the preprocessing given
...
fieker-DuValspielwiese
|
|
|
@f16a76d
|
15 years |
Christian Eder |
updated preprocessing
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@6b0aa2
|
15 years |
Christian Eder |
new alternative reduction - still in progress!
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@e90881
|
15 years |
Christian Eder |
implemented deletion of known useless polynomials before the ...
fieker-DuValspielwiese
|
|
|
@7c81165
|
15 years |
Christian Eder |
updated list of critical pairs, thrown away some useless data
...
fieker-DuValspielwiese
|
|
|
@9cb4078
|
15 years |
Christian Eder |
implemented interreduction, still with lots of bugs => commented out
...
fieker-DuValspielwiese
|
|
|
@338842d
|
15 years |
Christian Eder |
gPrevRedCheck is no longer part of LPoly, less data to take care of
...
fieker-DuValspielwiese
|
|
|
@61944d0
|
15 years |
Christian Eder |
solved problems in reduction() in topReduction() considering both ...
fieker-DuValspielwiese
|
|
|
@eab144e
|
15 years |
Christian Eder |
fmtm() example runs, cycli_n has problems, reductions are not made for ...
fieker-DuValspielwiese
|
|
|
@d51339
|
15 years |
Christian Eder |
new written reduction process, still problems getting the right rules ...
fieker-DuValspielwiese
|
|
|
@416ea2
|
15 years |
Christian Eder |
new try on reduction procedures, no longer list of completed elements, ...
fieker-DuValspielwiese
|
|
|
@87beab7
|
15 years |
Christian Eder |
lots of stuff debugged, lots of wrong loop terminations improved, ...
fieker-DuValspielwiese
|
|
|
@fcb8022
|
15 years |
Christian Eder |
rTag update
git-svn-id: file:///usr/local/Singular/svn/trunk@11354 ...
fieker-DuValspielwiese
|
|
|
@9bb97e
|
15 years |
Christian Eder |
implementation of computeSPols, start of reduction and topReduction
...
fieker-DuValspielwiese
|
|
|
@8978fd
|
15 years |
Christian Eder |
criterion2() for spols() added
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@a41f3aa
|
15 years |
Christian Eder |
criterion1() and criterion2() done, changed rules(added pointer on ...
fieker-DuValspielwiese
|
|
|
@5d0556
|
15 years |
Christian Eder |
all stuff now found in f5data.*
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@66e7b5
|
15 years |
Christian Eder |
subalgorithms criticalPairs, criterion1 and criterion2 added
...
fieker-DuValspielwiese
|
|
|
@f4e338f
|
15 years |
hannes |
*hannes: lists -> f5lists
git-svn-id: ...
fieker-DuValspielwiese
|