|
|
@dc3320
|
6 years |
Christian Eder |
adds a new tail reduction function for Z also cutting down tail ...
fieker-DuValspielwiese
|
|
|
@fa0da5
|
6 years |
Christian Eder |
changes order in which strong and usual spolys are generated
fieker-DuValspielwiese
|
|
|
@1170348
|
6 years |
Christian Eder |
adds spoly and strong spoly replacement functions for groebner basis ...
fieker-DuValspielwiese
|
|
|
@387f6b
|
6 years |
hannes |
Merge branch 'fix-posinT' of https://github.com/kabouzeid/Singular ...
fieker-DuValspielwiese
|
|
|
@497eb3
|
6 years |
Christian Eder |
fixes example primdecZM from primdecint.lib
fieker-DuValspielwiese
|
|
|
@6cc0f0
|
6 years |
hannes |
fix: allow strat->tail in kTest_L
fieker-DuValspielwiese
|
|
|
@1eabfc
|
6 years |
hannes |
fix: kTest_L requires tailRing
fieker-DuValspielwiese
|
|
|
@7d405ea
|
6 years |
Christian Eder |
optimization when generating new strong spairs can only be done if the ...
fieker-DuValspielwiese
|
|
|
@ff4c0c1
|
6 years |
Christian Eder |
renaming of function for reduction over Z to fit to new naming convention
fieker-DuValspielwiese
|
|
|
@eece62
|
6 years |
Christian Eder |
adds correct product criterion check for usual s-pairs over rings
fieker-DuValspielwiese
|
|
|
@d3b5daa
|
6 years |
Christian Eder |
removes debug printout
fieker-DuValspielwiese
|
|
|
@5116b54
|
6 years |
Christian Eder |
adds a pair lcm check in bba() if we are working over rings
fieker-DuValspielwiese
|
|
|
@77acb8
|
6 years |
Christian Eder |
adds criteria for removing useless strong critical pairs when working ...
fieker-DuValspielwiese
|
|
|
@e6cdad
|
6 years |
hannes |
use xalloc if omalloc is disabled
fieker-DuValspielwiese
|
|
|
@353a42
|
6 years |
hannes |
chg: nCoeff_si_Ring_Z/rField_is_Ring_Z -> nCoeff_is_Z/rField_is_Z
fieker-DuValspielwiese
|
|
|
@3d752a
|
6 years |
hannes |
debug helper: kTst_T, kTest_L, _nlDelete_NoImm
fieker-DuValspielwiese
|
|
|
@73ca8f3
|
6 years |
hannes |
fix: possible out-of-bound in kCheckSpolyCreation
fieker-DuValspielwiese
|
|
|
@d9cbec2
|
6 years |
hannes |
opt: redSB/redTail for sba(id,p)
fieker-DuValspielwiese
|
|
|
@cebb98
|
6 years |
hannes |
opt: std(id,p)
fieker-DuValspielwiese
|
|
|
@3e5610
|
6 years |
hannes |
simplify delete lcm to kDeleteLcm (GBEngine)
fieker-DuValspielwiese
|
|
|
@7c8188b
|
6 years |
hannes |
fix: memory leak in std(x+y,x-y) in Z[x,y]
fieker-DuValspielwiese
|
|
|
@fec0e69
|
6 years |
karim23697 |
Minimal performance improvement, also comes in handy for letterplace
fieker-DuValspielwiese
|
|
|
@d16f9c
|
6 years |
hannes |
fix: primdecint.lib::primdecZM
fieker-DuValspielwiese
|
|
|
@f066cc
|
6 years |
hannes |
typo in comment
fieker-DuValspielwiese
|
|
|
@d34308
|
6 years |
hannes |
fix: bug in syz (and std) over ZZ
fieker-DuValspielwiese
|
|
|
@84fbee
|
6 years |
levandov |
levandov: visual check for LP criterion in kutil and allowing module ...
fieker-DuValspielwiese
|
|
|
@a754194
|
6 years |
hannes |
fix: enterSBba
fieker-DuValspielwiese
|
|
|
@0ac548
|
6 years |
hannes |
opt: simplified enterSBba
fieker-DuValspielwiese
|
|
|
@86ff333
|
6 years |
hannes |
add: allow interrupt with partial results in std(bba+mora), removed ...
fieker-DuValspielwiese
|
|
|
@b866080
|
6 years |
hannes |
fix: free /shift algebra: use T.p instead of T.t_p
fieker-DuValspielwiese
|
|
|
@70d31a
|
6 years |
hannes |
fix: allow currRing==tailRing in cleanT
fieker-DuValspielwiese
|
|
|
@fdb4ba
|
6 years |
hannes |
format: make ctag happy
fieker-DuValspielwiese
|
|
|
@24bc73
|
6 years |
hannes |
remove pContent/p_Content from GBEmgine and related p1
fieker-DuValspielwiese
|
|
|
@0dcc85c
|
6 years |
hannes |
fix: poly/ring member in bbaShift, p1
fieker-DuValspielwiese
|
|
|
@470125b
|
7 years |
hannes |
fix: TObject::pLength
fieker-DuValspielwiese
|
|
|
@15d75cd
|
7 years |
hannes |
opt: handling on kNoether, kHEdge, short spoly (Lp.p) in strat
...
fieker-DuValspielwiese
|
|
|
@3d1222a
|
7 years |
hannes |
(p)p_Mult_nn: test args for 0,1, __(p)p_Mult_nn: no tests
fieker-DuValspielwiese
|
|
|
@ad53a8
|
7 years |
hannes |
chg: kFindDivisibleByInS -> kFindDivisibleByInS, kFindDivisibleByInS_T
fieker-DuValspielwiese
|
|
|
@eeb59b7
|
7 years |
hannes |
code cleanup: redtail and related
fieker-DuValspielwiese
|
|
|
@453679
|
7 years |
hannes |
fix: redefine
fieker-DuValspielwiese
|
|
|
@dcddf66
|
7 years |
hannes |
minor opt: p_GetComp -> __p_GetComp if there is a component
fieker-DuValspielwiese
|
|
|
@89f4843
|
7 years |
hannes |
use include ".." for singular related .h, p10, register ->REGISTER
fieker-DuValspielwiese
|
|
|
@b2ca85
|
7 years |
hannes |
use include ".." for singular related .h, p10
fieker-DuValspielwiese
|
|
|
@9de60a
|
7 years |
hannes |
chg: allocation in kutil.cc, p2
fieker-DuValspielwiese
|
|
|
@f4d581
|
7 years |
hannes |
chg: allocation in kutil.cc
fieker-DuValspielwiese
|
|
|
@17c315
|
7 years |
hannes |
p_Lcm -> p_polys.cc
fieker-DuValspielwiese
|
|
|
@c3ea367
|
7 years |
hannes |
code cleanup: enterOnePair*
fieker-DuValspielwiese
|
|
|
@54c80c
|
7 years |
hannes |
fix: bbaShift does not follwo all conventions, disable some Debug-Tests
fieker-DuValspielwiese
|
|
|
@b18ea6
|
7 years |
hannes |
more static in kutil.cc
fieker-DuValspielwiese
|
|
|
@1603fb
|
7 years |
hannes |
made enterOne... static in kutil.cc
fieker-DuValspielwiese
|
|
|
@112f6ef
|
7 years |
hannes |
minor opt: cancelunit
fieker-DuValspielwiese
|
|
|
@0091f5
|
7 years |
hannes |
fix: finalReduceByMon: in n_IntMod(A,B,C) B should be positive
fieker-DuValspielwiese
|
|
|
@90f715
|
7 years |
hannes |
change: use rRingOrder_t instead of int
fieker-DuValspielwiese
|
|
|
@9d19c1
|
8 years |
hannes |
compiler warings: unused variables, parameters, functions
fieker-DuValspielwiese
|
|
|
@dd940b
|
8 years |
hannes |
lcm: delete as monomial
fieker-DuValspielwiese
|
|
|
@4763e2
|
8 years |
hannes |
rename TObject_max to TObjec->max_exp
fieker-DuValspielwiese
|
|
|
@7bb1ac
|
8 years |
hannes |
chg: remove trailing spaces
fieker-DuValspielwiese
|
|
|
@750069
|
8 years |
hannes |
Merge pull request #789 from adipopescu/Reduce_Bound
Reduce bound
fieker-DuValspielwiese
|
|
|
@06abb07
|
8 years |
hannes |
chg: n_...(...,ring) -> n_....(...,coeff) for better debugging
fieker-DuValspielwiese
|
|
|
@e11176
|
8 years |
adi_popescum |
forgot some debug output
fieker-DuValspielwiese
|
|
|
@c2ef83
|
8 years |
adi_popescum |
add: reduce_bound in experimental in extra.cc
works like reduce ...
fieker-DuValspielwiese
|
|
|
@c6a876
|
8 years |
hannes |
chg: format, minor opt.
fieker-DuValspielwiese
|
|
|
@9aab97
|
8 years |
adi_popescum |
memory leaks solved.
fieker-DuValspielwiese
|
|
|
@9005c8
|
8 years |
adi_popescum |
trying to solve memory leak
fieker-DuValspielwiese
|
|
|
@7d1e80
|
8 years |
adi_popescum |
Christians sba fixed
fieker-DuValspielwiese
|
|
|
@d5d857
|
8 years |
adi_popescum |
add debug output to solve sba_s
fieker-DuValspielwiese
|
|
|
@cc94f7e
|
8 years |
adi_popescum |
Merge branch 'spielwiese' of github.com:Singular/Sources into SigDrop
...
fieker-DuValspielwiese
|
|
|
@e40da9f
|
8 years |
adi_popescum |
trying to fix Christian sba algorithm
fieker-DuValspielwiese
|
|
|
@f9b0bd
|
8 years |
hannes |
chg: Print -> PrintS, PrintLn if possible
fieker-DuValspielwiese
|
|
|
@ef2729
|
8 years |
adi_popescum |
rep: #if ADIDEBUG with #ifdef ADIDEBUG
rem: wait in extra.cc
fieker-DuValspielwiese
|
|
|
@d249822
|
8 years |
adi_popescum |
rem: HAVE_RINGS in several places
fix: sba over Z_m
fieker-DuValspielwiese
|
|
|
@1798a0
|
8 years |
adi_popescum |
add: extended spolys for Zm with SBA
fieker-DuValspielwiese
|
|
|
@a63783
|
8 years |
adi_popescum |
fix: F5C over Rings
fieker-DuValspielwiese
|
|
|
@2268ed
|
8 years |
adi_popescum |
fix: segfault in postreducebymon/sig
fieker-DuValspielwiese
|
|
|
@7d2b89
|
8 years |
adi_popescum |
SBA looks good
fieker-DuValspielwiese
|
|
|
@459ec94
|
8 years |
adi_popescum |
add: sba gcd-pair replacement while reduction
fieker-DuValspielwiese
|
|
|
@042a24
|
8 years |
adi_popescum |
add: kSba, after some loops kStd
fieker-DuValspielwiese
|
|
|
@f7bea2
|
8 years |
adi_popescum |
...
fieker-DuValspielwiese
|
|
|
@e07fa9
|
8 years |
adi_popescum |
add: posInIdealMonFirst
fieker-DuValspielwiese
|
|
|
@2f028d
|
8 years |
adi_popescum |
add: posInSMonFirst
fieker-DuValspielwiese
|
|
|
@11416e
|
8 years |
adi_popescum |
add: posInLSigRing
add: messageSba
fieker-DuValspielwiese
|
|
|
@d6e0c0
|
8 years |
adi_popescum |
Merge branch 'spielwiese' of github.com:Singular/Sources into SigDrop
...
fieker-DuValspielwiese
|
|
|
@b61d858
|
8 years |
adi_popescum |
Merge remote-tracking branch 'origin/spielwiese' into SigDrop
...
fieker-DuValspielwiese
|
|
|
@530cc55
|
8 years |
adi_popescum |
added All vs Just Strategies
fieker-DuValspielwiese
|
|
|
@e21795
|
8 years |
hannes |
moved rField_is_Ring out of loops
fieker-DuValspielwiese
|
|
|
@db0c2bd
|
8 years |
adi_popescum |
cleaned some code
fieker-DuValspielwiese
|
|
|
@bdebb8
|
8 years |
hannes |
fixes for GB over rings
- added needed HAVE_RINGS (to compile for ...
fieker-DuValspielwiese
|
|
|
@5efbf9
|
8 years |
adi_popescum |
add: posInL and T orderings for Ring case
added tests
Q: Is there a ...
fieker-DuValspielwiese
|
|
|
@d3963a
|
8 years |
adi_popescum |
fix and activated: preIntegerCheck
fieker-DuValspielwiese
|
|
|
@e6f1e6
|
8 years |
hannes |
code cleanup: HAVE_RINGS is mostly not needed
fieker-DuValspielwiese
|
|
|
@6402b5
|
8 years |
adi_popescum |
Faugere RewCrit fixed for sba
fieker-DuValspielwiese
|
|
|
@978a8c
|
8 years |
adi_popescum |
experimental. Check Faugere RewCrit and pDivideM, postreducebymon
fieker-DuValspielwiese
|
|
|
@ae57df0
|
8 years |
adi_popescum |
redSig fix
fieker-DuValspielwiese
|
|
|
@094031
|
8 years |
adi_popescum |
first version that seems to work
trying to optimize it now
fieker-DuValspielwiese
|
|
|
@b8541d
|
8 years |
hannes |
format
fieker-DuValspielwiese
|
|
|
@86f1dc
|
8 years |
hannes |
fix: some assume violations in debug mode
fieker-DuValspielwiese
|
|
|
@ca0d3b5
|
9 years |
hannes |
simplified debug for facstd: now always via option(teach)
fieker-DuValspielwiese
|
|
|
@dd60cee
|
9 years |
hannes |
Merge pull request #729 from adipopescu/StdBugs
Fix: singular trac 747
fieker-DuValspielwiese
|
|
|
@d49439
|
9 years |
adi_popescum |
fix: singular trac 747
add: tests
danke Hans
fieker-DuValspielwiese
|
|
|
@2d223b
|
9 years |
adi_popescum |
funny stuff
fieker-DuValspielwiese
|
|
|