|
|
|
@226c28
|
15 years |
hannes |
hannes: format, opt.
git-svn-id: ...
spielwiese
|
|
|
@d2f488
|
15 years |
hannes |
*hannes: doc
git-svn-id: file:///usr/local/Singular/svn/trunk@11419 ...
spielwiese
|
|
|
@004028
|
15 years |
hannes |
*hannes: syntax fix in @c ref
git-svn-id: ...
spielwiese
|
|
|
@1023a0
|
15 years |
hannes |
*hannes: SearchPath description
git-svn-id: ...
spielwiese
|
|
|
@29102a
|
15 years |
hannes |
*hannes: doc
git-svn-id: file:///usr/local/Singular/svn/trunk@11416 ...
spielwiese
|
|
|
@610881
|
15 years |
hannes |
*hannes: attr also for aliases, unified found handling
git-svn-id: ...
spielwiese
|
|
|
@14ec8fe
|
15 years |
hannes |
*hannes: automatic isSB not in qring
git-svn-id: ...
spielwiese
|
|
|
@e80f1e6
|
15 years |
hannes |
*hannes: bfct.lib ->bfun.lib
git-svn-id: ...
spielwiese
|
|
|
@d519cbe
|
15 years |
hannes |
*hannes: copy attr. of rings in assignment
git-svn-id: ...
spielwiese
|
|
|
@67555db
|
15 years |
hannes |
*hannes: show also attr. of rings
git-svn-id: ...
spielwiese
|
|
|
@faed79
|
15 years |
hannes |
*gmg: new versions for normal.lib
git-svn-id: ...
spielwiese
|
|
|
@9b4893
|
15 years |
hannes |
*hannes: isSB not for qideal/plural case
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
|
|
|
@93a7f7
|
15 years |
seelisch |
more changes due to Cygwin Release 1.7
git-svn-id: ...
spielwiese
|
|
|
@1f03735
|
15 years |
seelisch |
Windows shortcuts changed due to cygwin changes and problems with ...
spielwiese
|
|
|
@48573c
|
15 years |
hannes |
*hannes: windows requires new surfer version
git-svn-id: ...
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
|
|
|
@73e5a2
|
15 years |
levandov |
*levandov: doc changes, new function lpMult
git-svn-id: ...
spielwiese
|
|
|
@59f78ae
|
15 years |
levandov |
*levandov: numbering enhanced, letterplace cross linked
git-svn-id: ...
spielwiese
|
|
|
@e2fb7a
|
15 years |
Martin Monerjan |
More cddlib stuff. Expanded ineq matrix to have 0-th column store ...
spielwiese
|
|
|
@761f29
|
15 years |
hannes |
*hannes: bfct.lib ->bfun.lib
git-svn-id: ...
spielwiese
|
|
|
@90336c
|
15 years |
hannes |
*hannes: bfct.lib ->bfun.lib
git-svn-id: ...
spielwiese
|
|
|
@8b3b80
|
15 years |
hannes |
*hannes: generated
git-svn-id: ...
spielwiese
|
|
|
@3b2779
|
15 years |
hannes |
bfct.lib -> bfun.lib
git-svn-id: ...
spielwiese
|
|
|
@743991
|
15 years |
hannes |
bfct.lib ->bfun.lib
git-svn-id: ...
spielwiese
|
|
|
@d499d1
|
15 years |
hannes |
*hannes: exp[i]=0 fix
git-svn-id: ...
spielwiese
|
|
|
@fc681b
|
15 years |
hannes |
*hannes: better err. mesg.
git-svn-id: ...
spielwiese
|
|
|
@1ceb92
|
15 years |
hannes |
*hannes: memory handling
git-svn-id: ...
spielwiese
|
|
|
@9f7c98
|
15 years |
hannes |
*hannes: std with 4 args.
git-svn-id: ...
spielwiese
|
|
|
@671977
|
15 years |
hannes |
*hannes/king: Simons std with 4 args: std(G,p,hv,rw),
G standard ...
spielwiese
|
|
|
@f9ffa1
|
15 years |
hannes |
*hannes: better name check via rNameCheck
git-svn-id: ...
spielwiese
|
|
|
@7ef4c2
|
15 years |
hannes |
*hannes: rNameCheck: also for parameters
git-svn-id: ...
spielwiese
|
|
|
@fec31e1
|
15 years |
levandov |
*levandov: minor bug fix
git-svn-id: ...
spielwiese
|
|
|
@3cec5e
|
15 years |
levandov |
*levandov: fixes and doc improvements, bfun instead of bfct_lib
...
spielwiese
|
|
|
@40165d
|
15 years |
Oleksandr |
*motsak: name change for internal tensoring procedure
git-svn-id: ...
spielwiese
|
|
|
@9c1b63
|
15 years |
Oleksandr |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@dfd214
|
15 years |
seelisch |
modified Windows (Start menu & Desktop) shortcuts due to changes ...
spielwiese
|
|
|
@f5128b8
|
15 years |
Oleksandr |
*motsak: support for gprof and better $root-related name handling with ...
spielwiese
|
|
|
@3735d1
|
15 years |
Oleksandr |
*motsak: further corrections due to Singularsitzung
git-svn-id: ...
spielwiese
|
|
|
@823ff8
|
15 years |
Oleksandr |
*motsak: dafault optional argument for prodcrit instead of global ...
spielwiese
|
|
|
@592906
|
15 years |
hannes |
*hannes: format
git-svn-id: ...
spielwiese
|
|
|
@f349c5
|
15 years |
hannes |
*hannes: groebner example
git-svn-id: ...
spielwiese
|
|
|
@90a60f
|
15 years |
Oleksandr |
*motsak: tensor product of certain maps for sheafCohBGG
git-svn-id: ...
spielwiese
|
|
|
@2ab41e8
|
15 years |
Oleksandr |
*motsak: tensor product of certain maps
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
|
|
|
@fb2a0c
|
15 years |
hannes |
generated
git-svn-id: file:///usr/local/Singular/svn/trunk@11367 ...
spielwiese
|
|
|
@7375fdf
|
15 years |
hannes |
* generated
git-svn-id: file:///usr/local/Singular/svn/trunk@11366 ...
spielwiese
|
|
|
@e21b39
|
15 years |
hannes |
*hannes: surfer in surf.lib
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
|
|
|
@ddc52f
|
15 years |
hannes |
*hannes: include surfer
git-svn-id: ...
spielwiese
|
|
|
@94b16b
|
15 years |
hannes |
*hannes: include surfer
git-svn-id: ...
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
|
|
|
@24d83d
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
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
|
|
|
@5376a6
|
15 years |
hannes |
*hannes: 32/64bit in -v
git-svn-id: ...
spielwiese
|
|
|
@971108
|
15 years |
hannes |
*hannes: int64
git-svn-id: ...
spielwiese
|
|
|
@13e74c
|
15 years |
hannes |
*hannes: LDSO -> LD
git-svn-id: ...
spielwiese
|
|
|
@75395b
|
15 years |
hannes |
*hannes: syntax fix
git-svn-id: ...
spielwiese
|
|
|
@ca41c34
|
15 years |
hannes |
*hannes: LD again
git-svn-id: ...
spielwiese
|
|
|
@3e96095
|
15 years |
Martin Monerjan |
*** empty log message ***
git-svn-id: ...
spielwiese
|
|
|
@a3771a
|
15 years |
hannes |
*hannes: lists -> f5lists
git-svn-id: ...
spielwiese
|
|
|
@67ea5a
|
15 years |
hannes |
*hannes: LD=LDSO
git-svn-id: ...
spielwiese
|
|
|
@a5ee42
|
15 years |
hannes |
*hannes: LD=LDSO
git-svn-id: ...
spielwiese
|
|
|
@f92bde
|
15 years |
hannes |
*hannes: LD
git-svn-id: file:///usr/local/Singular/svn/trunk@11333 ...
spielwiese
|
|
|
@eb3a157
|
15 years |
hannes |
*hannes: jacob
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
|
|
|
@0883ed
|
15 years |
Oleksandr |
*motsak: update for jacob, teachstd.lib
git-svn-id: ...
spielwiese
|
|
|
@1eef69
|
15 years |
hannes |
*hannes: optim
git-svn-id: ...
spielwiese
|
|
|
@9655929
|
15 years |
hannes |
*hannes: nrzInvers should copy
git-svn-id: ...
spielwiese
|
|
|
@1d03c4e
|
15 years |
hannes |
*hannes: fixed Div error
git-svn-id: ...
spielwiese
|
|
|
@32d2a9
|
15 years |
hannes |
*hannes: homog stuff
git-svn-id: ...
spielwiese
|
|
|
@1378915
|
15 years |
hannes |
*hannes: format
git-svn-id: ...
spielwiese
|
|
|
@3ab391
|
15 years |
Oleksandr |
*motsak: jacob for modules
git-svn-id: ...
spielwiese
|
|
|
@2653d3
|
15 years |
levandov |
*levandov: debug + docu enhancements
git-svn-id: ...
spielwiese
|
|
|
@a0350e9
|
15 years |
Christian Eder |
added lists for critical pairs
git-svn-id: ...
spielwiese
|
|
|