|
|
@762407
|
12 years |
Oleksandr |
config.h is for sources files only
FIX: config.h should only be used ...
fieker-DuValspielwiese
|
|
|
@737a68
|
13 years |
Oleksandr |
CHG: moved libpolys/polys/polys.h to kernel/polys.h & updated includes ...
fieker-DuValspielwiese
|
|
|
@47f985
|
13 years |
Oleksandr |
FIX: kBucketCreate needs a ring!
CHG: minor bucket-related fixes
fieker-DuValspielwiese
|
|
|
@eedd22
|
13 years |
hannes |
kernel/pInline1.h -> libpolys/polys/polys.h
fieker-DuValspielwiese
|
|
|
@76cfef
|
13 years |
Oleksandr |
FIX: fixed #includes in the kernel/ sources
ADD: dummy headers in ...
fieker-DuValspielwiese
|
|
|
@210e07
|
13 years |
Oleksandr |
ADD: testing headers with "make test.o"
FIX: cleaning up headers in ...
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
|
|
|
@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
|
|
|
@d4cec61
|
15 years |
Christian Eder |
implemented test for termination ideas
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@0179d5
|
15 years |
Christian Eder |
options for switching between F5, F5R and F5C: "0" = F5, "1" = F5R, ...
fieker-DuValspielwiese
|
|
|
@df638fb
|
15 years |
Christian Eder |
renamed "f5data.cc" -> "F5cdata.cc"
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@ae5177
|
15 years |
Christian Eder |
put the header files right
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@f42fe73
|
15 years |
Christian Eder |
bug fix: tempPoly could be zero during reduciton process in procedure ...
fieker-DuValspielwiese
|
|
|
@667a9c
|
15 years |
Christian Eder |
bad stuff updated
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@69aada
|
15 years |
Christian Eder |
updated bad reduction stuff
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@7824583
|
15 years |
Christian Eder |
geobucket implementation with complete reduction of polynomials
...
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
|
|
|
@e3b5ed
|
15 years |
Christian Eder |
added symbolic preprocessing to the reduction process
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@6b0aa2
|
15 years |
Christian Eder |
new alternative reduction - still in progress!
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@2ae96e
|
15 years |
Christian Eder |
first exponent vector comparison procedures
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@bb02ea
|
15 years |
Christian Eder |
changed reduction, first step to optimize topReduction() for SINGULAR
...
fieker-DuValspielwiese
|
|
|
@c4a041
|
15 years |
Christian Eder |
memory optimized in reduction()
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@f6c6b01
|
15 years |
Christian Eder |
updates in reduction
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@7bd779
|
15 years |
Christian Eder |
smaller updates in reduction() & topReduction()
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@19567b
|
15 years |
Christian Eder |
tests for timings
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@e90881
|
15 years |
Christian Eder |
implemented deletion of known useless polynomials before the ...
fieker-DuValspielwiese
|
|
|
@66a5f8
|
15 years |
Christian Eder |
trying some stuff with exponent vectors, still not working with most ...
fieker-DuValspielwiese
|
|
|
@85a342
|
15 years |
Christian Eder |
criterion2() for previously computed elements deleted
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@f6c7c9b
|
15 years |
Christian Eder |
deleted criterion2-tests if the element does not have the current ...
fieker-DuValspielwiese
|
|
|
@febf7e
|
15 years |
Christian Eder |
solved conflicts
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@1534d9
|
15 years |
Christian Eder |
changed data structure RList, sorted insertion of rules, still ...
fieker-DuValspielwiese
|
|
|
@bc103b
|
15 years |
hannes |
*hannes: syntax
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@24ac666
|
15 years |
Christian Eder |
criterion1() changed using ideals now, ExpVector tests
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@d738b47
|
15 years |
Christian Eder |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@c4158f
|
15 years |
Christian Eder |
delete some double checkings, changed list stuff for last elements in ...
fieker-DuValspielwiese
|
|
|
@7c81165
|
15 years |
Christian Eder |
updated list of critical pairs, thrown away some useless data
...
fieker-DuValspielwiese
|
|
|
@e6d283f
|
15 years |
Christian Eder |
rTag stuff done for F5C
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@c3da59
|
15 years |
Christian Eder |
still problems with rTag, old structures with new idea of reduction of ...
fieker-DuValspielwiese
|
|
|
@55a828
|
15 years |
Christian Eder |
first attempt of a working F5C (F5 with interreduction) implementation ...
fieker-DuValspielwiese
|
|
|
@fe88079
|
15 years |
Christian Eder |
interreduction stuff added, still commented out and tested
...
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
|
|
|
@c9193a
|
15 years |
Christian Eder |
fixed bug: zero reduction after top reduction
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@8066e80
|
15 years |
Christian Eder |
deleted bugs in reduction(), mostly label stuff
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@61944d0
|
15 years |
Christian Eder |
solved problems in reduction() in topReduction() considering both ...
fieker-DuValspielwiese
|
|
|
@598870
|
15 years |
Christian Eder |
still debugging
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@70c15e
|
15 years |
Christian Eder |
problem in cyclic_n(4) solved
git-svn-id: ...
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
|
|
|
@61d32c
|
15 years |
Christian Eder |
still searching errors in reduction()
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@d7d5f6
|
15 years |
Christian Eder |
still searching bug in reduction()
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@87beab7
|
15 years |
Christian Eder |
lots of stuff debugged, lots of wrong loop terminations improved, ...
fieker-DuValspielwiese
|
|
|
@35d0d1a
|
15 years |
Christian Eder |
*** empty log message ***
git-svn-id: ...
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
|
|
|
@a3771a
|
15 years |
hannes |
*hannes: lists -> f5lists
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@cce6ed3
|
15 years |
Christian Eder |
lists done, started implementing f5incremental and critpair ...
fieker-DuValspielwiese
|
|
|
@a0350e9
|
15 years |
Christian Eder |
added lists for critical pairs
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@71f00c5
|
15 years |
Christian Eder |
lists updated
git-svn-id: file:///usr/local/Singular/svn/trunk@11273 ...
fieker-DuValspielwiese
|
|
|
@199ae7
|
15 years |
Christian Eder |
incremental basis
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@244ed5
|
15 years |
Christian Eder |
updated header inclusions due to lplist
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@ed30c5
|
15 years |
Christian Eder |
updated input
git-svn-id: file:///usr/local/Singular/svn/trunk@11207 ...
fieker-DuValspielwiese
|
|
|
@4cfd6d
|
15 years |
Christian Eder |
added function "generate_input_list"
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@cfb8edb
|
16 years |
Christian Eder |
:
git-svn-id: file:///usr/local/Singular/svn/trunk@11125 ...
fieker-DuValspielwiese
|
|
|
@ee3507
|
16 years |
hannes |
*hannes: conventions
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@948192
|
16 years |
Christian Eder |
implementation of labeled polynomials
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@8627ad
|
16 years |
Christian Eder |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@0b85fc
|
16 years |
Christian Eder |
labeled polynomial added
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@9a6e9f
|
16 years |
Christian Eder |
quicksort, label poly class
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@fd2ac0
|
16 years |
Christian Eder |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@171950
|
16 years |
Christian Eder |
new: interreduction
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@19a378
|
16 years |
Christian Eder |
first test
git-svn-id: file:///usr/local/Singular/svn/trunk@10693 ...
fieker-DuValspielwiese
|
|
|
@936551
|
16 years |
wienand |
F5 Implementierung
git-svn-id: ...
fieker-DuValspielwiese
|