|
|
@d0207e9
|
15 years |
hannes |
*hannes: pCleardenom may change p
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@982e01
|
15 years |
hannes |
hannes: syntax
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@ec4a2c
|
15 years |
levandov |
*levandov: debugging pContent
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@3a8520
|
15 years |
hannes |
*hannes: pContentRat
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@609334
|
15 years |
levandov |
*levandov: working on pContentRat
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@61944d0
|
15 years |
Christian Eder |
solved problems in reduction() in topReduction() considering both ...
fieker-DuValspielwiese
|
|
|
@3060a7
|
15 years |
hannes |
*hannes: bug inmanual:Resolution of sing
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@14db39
|
15 years |
hannes |
*hannes: pConentRat
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@f613e44
|
15 years |
levandov |
*levandov: the beginning of pContentRat
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@8bdaab
|
15 years |
Martin Monerjan |
First glimpse of class facet and class gcone
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@7012d0
|
15 years |
hannes |
*hannes: minor(A,b,R): kNF also at the beginning
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@26d633
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@43cbc0
|
15 years |
levandov |
*levandov: massive attack of RATGRING things on BB algorithm
...
fieker-DuValspielwiese
|
|
|
@515422
|
15 years |
Martin Monerjan |
dd_DDMatrix2Poly. Ausgabe der V-Darstellung von ddineq
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@598870
|
15 years |
Christian Eder |
still debugging
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@b0237b8
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@a610ee
|
15 years |
hannes |
*hannes: Print vs. PrintS
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@08500d
|
15 years |
hannes |
*hannes:RATGRING fix
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@27e750
|
15 years |
hannes |
*hannes: HAVE_RATGRING
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@182e83
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@6bab1a6
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@e54081
|
15 years |
hannes |
*hannes: chainCritPart: RATGRING
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@0b4ec2
|
15 years |
hannes |
*hannes: use rIsRatGRing
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@05eb8c
|
15 years |
hannes |
*hannes: initenterpairsRing -> initenterpairs
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@70c15e
|
15 years |
Christian Eder |
problem in cyclic_n(4) solved
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@d8be851
|
15 years |
hannes |
*hannes: no_prod_crit
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@6c55ae
|
15 years |
hannes |
*hannes: chainCrit ->strat
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@9efc0e
|
15 years |
hannes |
*hannes: chainCrit ->strat
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@454cb0
|
15 years |
hannes |
*hannes: rIsRatGRing
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@cce4a2f
|
15 years |
hannes |
*hannes: ALLOW_PROD_CRIT
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@4732f8
|
15 years |
levandov |
*levandov: ncratCreateSpoly added
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@28f164
|
15 years |
hannes |
*hannes: PrintS
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@a794e7
|
15 years |
hannes |
*hannes: PROD_CRIT(strat)
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@d2fb9b7
|
15 years |
hannes |
*hannes: minor opt. in pHasNotCF
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@019a78
|
15 years |
hannes |
*hannes: syntax
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@40b31de
|
15 years |
levandov |
*levandov: rational Groebner bases updated
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@9e9dbc
|
15 years |
hannes |
*hannes: new date for 3-1-0, HAVE_RATGRING
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@9eca662
|
15 years |
hannes |
hannes: comp for ring again
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@f97db2
|
15 years |
hannes |
*hannes: need to set comp also in k_GetStrongLeadTerms
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@59c445
|
15 years |
hannes |
*hannes: integer-std
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@4b81d75
|
15 years |
hannes |
hannes: HAVE_GFAN fixed
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
|
|
|
@d59666c
|
15 years |
Martin Monerjan |
dd_MatrixCanonicalize - remove redundant rows from ddineq
...
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
|
|
|
@e2fb7a
|
15 years |
Martin Monerjan |
More cddlib stuff. Expanded ineq matrix to have 0-th column store ...
fieker-DuValspielwiese
|
|
|
@d499d1
|
15 years |
hannes |
*hannes: exp[i]=0 fix
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@7ef4c2
|
15 years |
hannes |
*hannes: rNameCheck: also for parameters
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@9c1b63
|
15 years |
Oleksandr |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@592906
|
15 years |
hannes |
*hannes: format
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@90a60f
|
15 years |
Oleksandr |
*motsak: tensor product of certain maps for sheafCohBGG
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@d7d5f6
|
15 years |
Christian Eder |
still searching bug in reduction()
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@34fcf8
|
15 years |
hannes |
*hannes: test HAVE_GFAN
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@87beab7
|
15 years |
Christian Eder |
lots of stuff debugged, lots of wrong loop terminations improved, ...
fieker-DuValspielwiese
|
|
|
@c5d8dd
|
15 years |
Martin Monerjan |
Added cddlib
made gfan optional via HAVE_GFAN
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@8fc55e2
|
15 years |
hannes |
*hannes: set wrong factors to 1
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@79d3879
|
15 years |
hannes |
*hannes: debug stuff
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@198a339
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@03de21
|
15 years |
Martin Monerjan |
-No more printf, various ways of #including cddlib, more on class ...
fieker-DuValspielwiese
|
|
|
@6623f3
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@884eec
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@361be1f
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@2c6535
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
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
|
|
|
@b3e45f
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@50ab25a
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@d3398c
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
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
|
|
|
@b29153
|
15 years |
Christian Eder |
updated tag lists
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@01e82c8
|
15 years |
Christian Eder |
these files replace all lpoly stuff in the f5 implementation
...
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
|
|
|
@971108
|
15 years |
hannes |
*hannes: int64
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@13e74c
|
15 years |
hannes |
*hannes: LDSO -> LD
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@a3771a
|
15 years |
hannes |
*hannes: lists -> f5lists
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@a5ee42
|
15 years |
hannes |
*hannes: LD=LDSO
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@f4e338f
|
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
|
|
|
@1eef69
|
15 years |
hannes |
*hannes: optim
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@9655929
|
15 years |
hannes |
*hannes: nrzInvers should copy
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@1d03c4e
|
15 years |
hannes |
*hannes: fixed Div error
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@a0350e9
|
15 years |
Christian Eder |
added lists for critical pairs
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@5563ba
|
15 years |
hannes |
*hannes: scKbase with module weights
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@2b87ac9
|
15 years |
hannes |
*hannes: optim
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@2f2bb21
|
15 years |
hannes |
*hannes: global vars for kHomDeg
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@360507
|
15 years |
hannes |
*hannes: fix rank by diff(module,var) (idDiff)
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@35eef23
|
15 years |
hannes |
*hannes: rCopy0: optimized
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@9d34f0
|
15 years |
hannes |
*hannes: rCopy0: bitmask
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@88efd2
|
15 years |
hannes |
*hannes: rCopy0
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@a5cc448
|
15 years |
hannes |
*hannes: fix HAVE_RING assert
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@223636
|
15 years |
hannes |
*hannes: rCopy0
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@14193f
|
15 years |
hannes |
*hannes: sip_sring reorg.
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@b260a4
|
15 years |
hannes |
*hannes: ringflaga
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@71effd8
|
15 years |
hannes |
*hannes: ringflaga
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@753f9d2
|
15 years |
hannes |
*hannes: format
git-svn-id: ...
fieker-DuValspielwiese
|
|
|
@f20117
|
15 years |
hannes |
*hannes: format
git-svn-id: ...
fieker-DuValspielwiese
|
|
|