|
|
@338842d
|
15 years |
Christian Eder |
gPrevRedCheck is no longer part of LPoly, less data to take care of
...
spielwiese
|
|
|
@c9193a
|
15 years |
Christian Eder |
fixed bug: zero reduction after top reduction
git-svn-id: ...
spielwiese
|
|
|
@1863d8
|
15 years |
hannes |
*hannes: need pNormalize in redNF
git-svn-id: ...
spielwiese
|
|
|
@ab1c36
|
15 years |
hannes |
*hannes: no-norm in NF
git-svn-id: ...
spielwiese
|
|
|
@8066e80
|
15 years |
Christian Eder |
deleted bugs in reduction(), mostly label stuff
git-svn-id: ...
spielwiese
|
|
|
@0ffc823
|
15 years |
levandov |
*levandov: early unit detection in rational GB
git-svn-id: ...
spielwiese
|
|
|
@a93f7b0
|
15 years |
levandov |
*levandov: cosmetic changes
git-svn-id: ...
spielwiese
|
|
|
@b172c3
|
15 years |
hannes |
*hannes: comment
git-svn-id: ...
spielwiese
|
|
|
@93f4bb
|
15 years |
hannes |
*hannes: lazyReduce: better comment
git-svn-id: ...
spielwiese
|
|
|
@9441be
|
15 years |
hannes |
*hannes: avoid equal LM after NF (with redSB)
git-svn-id: ...
spielwiese
|
|
|
@e371bf
|
15 years |
hannes |
*hannes: fix crash /ticket 92
git-svn-id: ...
spielwiese
|
|
|
@e080ab
|
15 years |
hannes |
*hannes: avoid crrash - ticket 89
git-svn-id: ...
spielwiese
|
|
|
@3ec38a
|
15 years |
hannes |
*hannes: red...
git-svn-id: ...
spielwiese
|
|
|
@c0e2c36
|
15 years |
hannes |
*hannes: pCleardenom changes
git-svn-id: ...
spielwiese
|
|
|
@84d8b09
|
15 years |
hannes |
Hannes: syntax
git-svn-id: ...
spielwiese
|
|
|
@4751d7
|
15 years |
hannes |
*hannes: pContentRat may change p
git-svn-id: ...
spielwiese
|
|
|
@d0207e9
|
15 years |
hannes |
*hannes: pCleardenom may change p
git-svn-id: ...
spielwiese
|
|
|
@982e01
|
15 years |
hannes |
hannes: syntax
git-svn-id: ...
spielwiese
|
|
|
@ec4a2c
|
15 years |
levandov |
*levandov: debugging pContent
git-svn-id: ...
spielwiese
|
|
|
@3a8520
|
15 years |
hannes |
*hannes: pContentRat
git-svn-id: ...
spielwiese
|
|
|
@609334
|
15 years |
levandov |
*levandov: working on pContentRat
git-svn-id: ...
spielwiese
|
|
|
@61944d0
|
15 years |
Christian Eder |
solved problems in reduction() in topReduction() considering both ...
spielwiese
|
|
|
@3060a7
|
15 years |
hannes |
*hannes: bug inmanual:Resolution of sing
git-svn-id: ...
spielwiese
|
|
|
@14db39
|
15 years |
hannes |
*hannes: pConentRat
git-svn-id: ...
spielwiese
|
|
|
@f613e44
|
15 years |
levandov |
*levandov: the beginning of pContentRat
git-svn-id: ...
spielwiese
|
|
|
@8bdaab
|
15 years |
Martin Monerjan |
First glimpse of class facet and class gcone
git-svn-id: ...
spielwiese
|
|
|
@7012d0
|
15 years |
hannes |
*hannes: minor(A,b,R): kNF also at the beginning
git-svn-id: ...
spielwiese
|
|
|
@26d633
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
spielwiese
|
|
|
@43cbc0
|
15 years |
levandov |
*levandov: massive attack of RATGRING things on BB algorithm
...
spielwiese
|
|
|
@515422
|
15 years |
Martin Monerjan |
dd_DDMatrix2Poly. Ausgabe der V-Darstellung von ddineq
git-svn-id: ...
spielwiese
|
|
|
@598870
|
15 years |
Christian Eder |
still debugging
git-svn-id: ...
spielwiese
|
|
|
@b0237b8
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
spielwiese
|
|
|
@a610ee
|
15 years |
hannes |
*hannes: Print vs. PrintS
git-svn-id: ...
spielwiese
|
|
|
@08500d
|
15 years |
hannes |
*hannes:RATGRING fix
git-svn-id: ...
spielwiese
|
|
|
@27e750
|
15 years |
hannes |
*hannes: HAVE_RATGRING
git-svn-id: ...
spielwiese
|
|
|
@182e83
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
spielwiese
|
|
|
@6bab1a6
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
spielwiese
|
|
|
@e54081
|
15 years |
hannes |
*hannes: chainCritPart: RATGRING
git-svn-id: ...
spielwiese
|
|
|
@0b4ec2
|
15 years |
hannes |
*hannes: use rIsRatGRing
git-svn-id: ...
spielwiese
|
|
|
@05eb8c
|
15 years |
hannes |
*hannes: initenterpairsRing -> initenterpairs
git-svn-id: ...
spielwiese
|
|
|
@70c15e
|
15 years |
Christian Eder |
problem in cyclic_n(4) solved
git-svn-id: ...
spielwiese
|
|
|
@d8be851
|
15 years |
hannes |
*hannes: no_prod_crit
git-svn-id: ...
spielwiese
|
|
|
@6c55ae
|
15 years |
hannes |
*hannes: chainCrit ->strat
git-svn-id: ...
spielwiese
|
|
|
@9efc0e
|
15 years |
hannes |
*hannes: chainCrit ->strat
git-svn-id: ...
spielwiese
|
|
|
@454cb0
|
15 years |
hannes |
*hannes: rIsRatGRing
git-svn-id: ...
spielwiese
|
|
|
@cce4a2f
|
15 years |
hannes |
*hannes: ALLOW_PROD_CRIT
git-svn-id: ...
spielwiese
|
|
|
@4732f8
|
15 years |
levandov |
*levandov: ncratCreateSpoly added
git-svn-id: ...
spielwiese
|
|
|
@28f164
|
15 years |
hannes |
*hannes: PrintS
git-svn-id: ...
spielwiese
|
|
|
@a794e7
|
15 years |
hannes |
*hannes: PROD_CRIT(strat)
git-svn-id: ...
spielwiese
|
|
|
@d2fb9b7
|
15 years |
hannes |
*hannes: minor opt. in pHasNotCF
git-svn-id: ...
spielwiese
|
|
|
@019a78
|
15 years |
hannes |
*hannes: syntax
git-svn-id: ...
spielwiese
|
|
|
@40b31de
|
15 years |
levandov |
*levandov: rational Groebner bases updated
git-svn-id: ...
spielwiese
|
|
|
@9e9dbc
|
15 years |
hannes |
*hannes: new date for 3-1-0, HAVE_RATGRING
git-svn-id: ...
spielwiese
|
|
|
@9eca662
|
15 years |
hannes |
hannes: comp for ring again
git-svn-id: ...
spielwiese
|
|
|
@f97db2
|
15 years |
hannes |
*hannes: need to set comp also in k_GetStrongLeadTerms
git-svn-id: ...
spielwiese
|
|
|
@59c445
|
15 years |
hannes |
*hannes: integer-std
git-svn-id: ...
spielwiese
|
|
|
@4b81d75
|
15 years |
hannes |
hannes: HAVE_GFAN fixed
git-svn-id: ...
spielwiese
|
|
|
@eab144e
|
15 years |
Christian Eder |
fmtm() example runs, cycli_n has problems, reductions are not made for ...
spielwiese
|
|
|
@d51339
|
15 years |
Christian Eder |
new written reduction process, still problems getting the right rules ...
spielwiese
|
|
|
@d59666c
|
15 years |
Martin Monerjan |
dd_MatrixCanonicalize - remove redundant rows from ddineq
...
spielwiese
|
|
|
@416ea2
|
15 years |
Christian Eder |
new try on reduction procedures, no longer list of completed elements, ...
spielwiese
|
|
|
@61d32c
|
15 years |
Christian Eder |
still searching errors in reduction()
git-svn-id: ...
spielwiese
|
|
|
@e2fb7a
|
15 years |
Martin Monerjan |
More cddlib stuff. Expanded ineq matrix to have 0-th column store ...
spielwiese
|
|
|
@d499d1
|
15 years |
hannes |
*hannes: exp[i]=0 fix
git-svn-id: ...
spielwiese
|
|
|
@7ef4c2
|
15 years |
hannes |
*hannes: rNameCheck: also for parameters
git-svn-id: ...
spielwiese
|
|
|
@9c1b63
|
15 years |
Oleksandr |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@592906
|
15 years |
hannes |
*hannes: format
git-svn-id: ...
spielwiese
|
|
|
@90a60f
|
15 years |
Oleksandr |
*motsak: tensor product of certain maps for sheafCohBGG
git-svn-id: ...
spielwiese
|
|
|
@d7d5f6
|
15 years |
Christian Eder |
still searching bug in reduction()
git-svn-id: ...
spielwiese
|
|
|
@34fcf8
|
15 years |
hannes |
*hannes: test HAVE_GFAN
git-svn-id: ...
spielwiese
|
|
|
@87beab7
|
15 years |
Christian Eder |
lots of stuff debugged, lots of wrong loop terminations improved, ...
spielwiese
|
|
|
@c5d8dd
|
15 years |
Martin Monerjan |
Added cddlib
made gfan optional via HAVE_GFAN
git-svn-id: ...
spielwiese
|
|
|
@8fc55e2
|
15 years |
hannes |
*hannes: set wrong factors to 1
git-svn-id: ...
spielwiese
|
|
|
@79d3879
|
15 years |
hannes |
*hannes: debug stuff
git-svn-id: ...
spielwiese
|
|
|
@198a339
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@03de21
|
15 years |
Martin Monerjan |
-No more printf, various ways of #including cddlib, more on class ...
spielwiese
|
|
|
@6623f3
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@884eec
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@361be1f
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@2c6535
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@35d0d1a
|
15 years |
Christian Eder |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@fcb8022
|
15 years |
Christian Eder |
rTag update
git-svn-id: file:///usr/local/Singular/svn/trunk@11354 ...
spielwiese
|
|
|
@9bb97e
|
15 years |
Christian Eder |
implementation of computeSPols, start of reduction and topReduction
...
spielwiese
|
|
|
@b3e45f
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@50ab25a
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@d3398c
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@8978fd
|
15 years |
Christian Eder |
criterion2() for spols() added
git-svn-id: ...
spielwiese
|
|
|
@a41f3aa
|
15 years |
Christian Eder |
criterion1() and criterion2() done, changed rules(added pointer on ...
spielwiese
|
|
|
@b29153
|
15 years |
Christian Eder |
updated tag lists
git-svn-id: ...
spielwiese
|
|
|
@01e82c8
|
15 years |
Christian Eder |
these files replace all lpoly stuff in the f5 implementation
...
spielwiese
|
|
|
@5d0556
|
15 years |
Christian Eder |
all stuff now found in f5data.*
git-svn-id: ...
spielwiese
|
|
|
@66e7b5
|
15 years |
Christian Eder |
subalgorithms criticalPairs, criterion1 and criterion2 added
...
spielwiese
|
|
|
@971108
|
15 years |
hannes |
*hannes: int64
git-svn-id: ...
spielwiese
|
|
|
@13e74c
|
15 years |
hannes |
*hannes: LDSO -> LD
git-svn-id: ...
spielwiese
|
|
|
@a3771a
|
15 years |
hannes |
*hannes: lists -> f5lists
git-svn-id: ...
spielwiese
|
|
|
@a5ee42
|
15 years |
hannes |
*hannes: LD=LDSO
git-svn-id: ...
spielwiese
|
|
|
@f4e338f
|
15 years |
hannes |
*hannes: lists -> f5lists
git-svn-id: ...
spielwiese
|
|
|
@cce6ed3
|
15 years |
Christian Eder |
lists done, started implementing f5incremental and critpair ...
spielwiese
|
|
|
@1eef69
|
15 years |
hannes |
*hannes: optim
git-svn-id: ...
spielwiese
|
|
|
@9655929
|
15 years |
hannes |
*hannes: nrzInvers should copy
git-svn-id: ...
spielwiese
|
|
|