|
|
@338842d
|
14 years |
Christian Eder |
gPrevRedCheck is no longer part of LPoly, less data to take care of
...
jengelh-datetimespielwiese
|
|
|
@c9193a
|
14 years |
Christian Eder |
fixed bug: zero reduction after top reduction
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@61944d0
|
14 years |
Christian Eder |
solved problems in reduction() in topReduction() considering both ...
jengelh-datetimespielwiese
|
|
|
@eab144e
|
14 years |
Christian Eder |
fmtm() example runs, cycli_n has problems, reductions are not made for ...
jengelh-datetimespielwiese
|
|
|
@d51339
|
14 years |
Christian Eder |
new written reduction process, still problems getting the right rules ...
jengelh-datetimespielwiese
|
|
|
@416ea2
|
14 years |
Christian Eder |
new try on reduction procedures, no longer list of completed elements, ...
jengelh-datetimespielwiese
|
|
|
@d7d5f6
|
14 years |
Christian Eder |
still searching bug in reduction()
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@87beab7
|
14 years |
Christian Eder |
lots of stuff debugged, lots of wrong loop terminations improved, ...
jengelh-datetimespielwiese
|
|
|
@fcb8022
|
14 years |
Christian Eder |
rTag update
git-svn-id: file:///usr/local/Singular/svn/trunk@11354 ...
jengelh-datetimespielwiese
|
|
|
@9bb97e
|
14 years |
Christian Eder |
implementation of computeSPols, start of reduction and topReduction
...
jengelh-datetimespielwiese
|
|
|
@8978fd
|
14 years |
Christian Eder |
criterion2() for spols() added
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@a41f3aa
|
14 years |
Christian Eder |
criterion1() and criterion2() done, changed rules(added pointer on ...
jengelh-datetimespielwiese
|
|
|
@5d0556
|
14 years |
Christian Eder |
all stuff now found in f5data.*
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@66e7b5
|
14 years |
Christian Eder |
subalgorithms criticalPairs, criterion1 and criterion2 added
...
jengelh-datetimespielwiese
|
|
|
@a3771a
|
14 years |
hannes |
*hannes: lists -> f5lists
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@cce6ed3
|
14 years |
Christian Eder |
lists done, started implementing f5incremental and critpair ...
jengelh-datetimespielwiese
|
|
|
@a0350e9
|
14 years |
Christian Eder |
added lists for critical pairs
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@71f00c5
|
14 years |
Christian Eder |
lists updated
git-svn-id: file:///usr/local/Singular/svn/trunk@11273 ...
jengelh-datetimespielwiese
|
|
|
@199ae7
|
14 years |
Christian Eder |
incremental basis
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@244ed5
|
14 years |
Christian Eder |
updated header inclusions due to lplist
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@ed30c5
|
14 years |
Christian Eder |
updated input
git-svn-id: file:///usr/local/Singular/svn/trunk@11207 ...
jengelh-datetimespielwiese
|
|
|
@4cfd6d
|
14 years |
Christian Eder |
added function "generate_input_list"
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@cfb8edb
|
14 years |
Christian Eder |
:
git-svn-id: file:///usr/local/Singular/svn/trunk@11125 ...
jengelh-datetimespielwiese
|
|
|
@ee3507
|
15 years |
hannes |
*hannes: conventions
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@948192
|
15 years |
Christian Eder |
implementation of labeled polynomials
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@8627ad
|
15 years |
Christian Eder |
*** empty log message ***
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@0b85fc
|
15 years |
Christian Eder |
labeled polynomial added
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@d0f98e
|
15 years |
Christian Eder |
quicksort
git-svn-id: file:///usr/local/Singular/svn/trunk@10735 ...
jengelh-datetimespielwiese
|
|
|
@171950
|
15 years |
Christian Eder |
new: interreduction
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@3ad53dd
|
15 years |
wienand |
const char
f5gb in makefile
git-svn-id: ...
jengelh-datetimespielwiese
|
|
|
@936551
|
15 years |
wienand |
F5 Implementierung
git-svn-id: ...
jengelh-datetimespielwiese
|