|
|
@4acd2a
|
21 years |
bricken |
+ more speed
git-svn-id: file:///usr/local/Singular/svn/trunk@6392 ...
fieker-DuValspielwiese
|
|
|
@7256f9
|
21 years |
bricken |
+ bugfixing
git-svn-id: file:///usr/local/Singular/svn/trunk@6391 ...
fieker-DuValspielwiese
|
|
|
@a202ed
|
21 years |
bricken |
+ bugfixing
git-svn-id: file:///usr/local/Singular/svn/trunk@6390 ...
fieker-DuValspielwiese
|
|
|
@bd1e8f
|
21 years |
bricken |
+ trivial syz
git-svn-id: file:///usr/local/Singular/svn/trunk@6389 ...
fieker-DuValspielwiese
|
|
|
@45d1e73
|
21 years |
bricken |
+ cleaning
git-svn-id: file:///usr/local/Singular/svn/trunk@6379 ...
fieker-DuValspielwiese
|
|
|
@432947a
|
21 years |
hannes |
*hannes: TABs
git-svn-id: file:///usr/local/Singular/svn/trunk@6378 ...
fieker-DuValspielwiese
|
|
|
@cd4eb9
|
21 years |
levandov |
forgotten prefix arg_ added
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@98fab1
|
21 years |
bricken |
+ bugfixing
git-svn-id: file:///usr/local/Singular/svn/trunk@6354 ...
fieker-DuValspielwiese
|
|
|
@ee2f86
|
21 years |
bricken |
+ bugfixing
git-svn-id: file:///usr/local/Singular/svn/trunk@6353 ...
fieker-DuValspielwiese
|
|
|
@7194f62
|
21 years |
bricken |
+ lazy, but slow
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@ca2f5c
|
22 years |
bricken |
+ removed some code duplication
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@271349
|
22 years |
bricken |
+ cleaning of S
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@8eab868
|
22 years |
bricken |
+ updated reductions
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@5a229c
|
22 years |
bricken |
+ bucketplay
git-svn-id: file:///usr/local/Singular/svn/trunk@6310 ...
fieker-DuValspielwiese
|
|
|
@7724a3
|
22 years |
bricken |
*bricken: algorithmic changes
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@8d0ebb0
|
22 years |
hannes |
*hannes: more buckest in redNFTail
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@66b10c7
|
22 years |
hannes |
*hannes: removed enterT - we use S instead of T
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@9c05c9
|
22 years |
hannes |
*hannes: minor optim.
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@df80ae
|
22 years |
bricken |
*mb: + update of strat information after shorting
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@24a7c4b
|
22 years |
bricken |
*mb: + shorten_tails
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@2a30e8
|
22 years |
hannes |
*hannes: HEAD_BIN: seperate bin for head terms (-4 % in c8)
...
fieker-DuValspielwiese
|
|
|
@d7cd30
|
22 years |
hannes |
*hannes: sort by length: simple_posINS, avoid pCopy/pDelete, data in ...
fieker-DuValspielwiese
|
|
|
@2477eb
|
22 years |
hannes |
*hannes/bricken: buckets in redNF
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@dfd0fda
|
22 years |
bricken |
*mb: speeded up make_connections
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@7175a7
|
22 years |
bricken |
*mb: little optimizations, many experiments
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@308042
|
22 years |
bricken |
+ some heuristic stuff
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@b6a806
|
22 years |
bricken |
+ length criterion
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@5abea76
|
22 years |
bricken |
+ fixed length actualization bug
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@173ba4
|
22 years |
bricken |
+ going by degree
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@45a353
|
22 years |
bricken |
*mb: faster and faster
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@e11aa7
|
22 years |
hannes |
*hannes/mb: working version
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@f195cf
|
22 years |
bricken |
initial version
git-svn-id: ...
fieker-DuValspielwiese
|