|
|
@ca371d
|
15 years |
hannes |
*hannes: syntax
git-svn-id: ...
spielwiese
|
|
|
@f6c7c9b
|
15 years |
Christian Eder |
deleted criterion2-tests if the element does not have the current ...
spielwiese
|
|
|
@226dd7
|
15 years |
hannes |
*hannes: better default in problem case
git-svn-id: ...
spielwiese
|
|
|
@a830133
|
15 years |
hannes |
*hannes: OMALLOC_USES_MALLOC
git-svn-id: ...
spielwiese
|
|
|
@febf7e
|
15 years |
Christian Eder |
solved conflicts
git-svn-id: ...
spielwiese
|
|
|
@1534d9
|
15 years |
Christian Eder |
changed data structure RList, sorted insertion of rules, still ...
spielwiese
|
|
|
@bc103b
|
15 years |
hannes |
*hannes: syntax
git-svn-id: ...
spielwiese
|
|
|
@24ac666
|
15 years |
Christian Eder |
criterion1() changed using ideals now, ExpVector tests
git-svn-id: ...
spielwiese
|
|
|
@d738b47
|
15 years |
Christian Eder |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@c4158f
|
15 years |
Christian Eder |
delete some double checkings, changed list stuff for last elements in ...
spielwiese
|
|
|
@7c81165
|
15 years |
Christian Eder |
updated list of critical pairs, thrown away some useless data
...
spielwiese
|
|
|
@298032
|
15 years |
hannes |
*hannes: coeffs-3
git-svn-id: ...
spielwiese
|
|
|
@094f80
|
15 years |
levandov |
*levandov: fixes for RatGring for modules, now std,syz and nres work ...
spielwiese
|
|
|
@c18b77
|
15 years |
hannes |
*hannes: ticket 104/coeffs_3
git-svn-id: ...
spielwiese
|
|
|
@39497b
|
15 years |
hannes |
*hannes: COPYING
git-svn-id: ...
spielwiese
|
|
|
@e6d283f
|
15 years |
Christian Eder |
rTag stuff done for F5C
git-svn-id: ...
spielwiese
|
|
|
@c3da59
|
15 years |
Christian Eder |
still problems with rTag, old structures with new idea of reduction of ...
spielwiese
|
|
|
@55a828
|
15 years |
Christian Eder |
first attempt of a working F5C (F5 with interreduction) implementation ...
spielwiese
|
|
|
@34a9b4f
|
15 years |
hannes |
*hannes: opt.
git-svn-id: file:///usr/local/Singular/svn/trunk@11518 ...
spielwiese
|
|
|
@acff7e7
|
15 years |
hannes |
*hannes: interred with inexact coefs
git-svn-id: ...
spielwiese
|
|
|
@fe88079
|
15 years |
Christian Eder |
interreduction stuff added, still commented out and tested
...
spielwiese
|
|
|
@9cb4078
|
15 years |
Christian Eder |
implemented interreduction, still with lots of bugs => commented out
...
spielwiese
|
|
|
@e2efe91
|
15 years |
Oleksandr |
*motsak: id_KillSquares doesn't call SkipZeroes by default
...
spielwiese
|
|
|
@8ba25b
|
15 years |
Oleksandr |
*motsak: no skip zeroes for NF
git-svn-id: ...
spielwiese
|
|
|
@18765e
|
15 years |
Martin Monerjan |
more stuff into class {facet,gcone}
git-svn-id: ...
spielwiese
|
|
|
@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
|
|
|