|
|
@462eb9
|
5 years |
karim23697 |
Merge initBuchMoraShift into initBuchMora
spielwiese
|
|
|
@486d31
|
6 years |
hannes |
fix: lost LPring changes
spielwiese
|
|
|
@f2ba1e4
|
6 years |
Christian Eder |
fixes entering of strong polys for local monomial orders
spielwiese
|
|
|
@070ab6
|
6 years |
Christian Eder |
adds correct product criterion test for rings
spielwiese
|
|
|
@9017bae
|
6 years |
Christian Eder |
merge with current spielwiese
spielwiese
|
|
|
@4ab28ee
|
6 years |
karim |
Warn when invalid letterplace polynom is printed
spielwiese
|
|
|
@8b518b8
|
6 years |
Christian Eder |
fixes initialization of strong pairs over the integers
spielwiese
|
|
|
@818f44
|
6 years |
Christian Eder |
when replacing elements we still have to adde spairs even if the ...
spielwiese
|
|
|
@ea5feb2
|
6 years |
Christian Eder |
fixes check which and if an element from S needs to be replaced
spielwiese
|
|
|
@ab6ae3
|
6 years |
Christian Eder |
removes useless pairs directly from pairlist before replacing in L, S and T
spielwiese
|
|
|
@ac4ff44
|
6 years |
Christian Eder |
removes more useless code, fixes parameter handling of replacement function
spielwiese
|
|
|
@a9ff57
|
6 years |
Christian Eder |
fixes replacemets in L, S and T
spielwiese
|
|
|
@cb72d2
|
6 years |
hannes |
fix: missing HAVE_SHIFTBBA and rIsLPRing test
spielwiese
|
|
|
@e81563f
|
6 years |
Christian Eder |
fixes kTest_L calls
spielwiese
|
|
|
@83f82e5
|
6 years |
Christian Eder |
adds replacement function for L, S, and T
spielwiese
|
|
|
@85fb25
|
6 years |
Christian Eder |
adds small comment on strange break command in loop due to coefficient ...
spielwiese
|
|
|
@dc3320
|
6 years |
Christian Eder |
adds a new tail reduction function for Z also cutting down tail ...
spielwiese
|
|
|
@fa0da5
|
6 years |
Christian Eder |
changes order in which strong and usual spolys are generated
spielwiese
|
|
|
@1170348
|
6 years |
Christian Eder |
adds spoly and strong spoly replacement functions for groebner basis ...
spielwiese
|
|
|
@9ba49a
|
6 years |
karim23697 |
Add missing #define HAVE_SHIFTBBA
spielwiese
|
|
|
@b8c732
|
6 years |
karim23697 |
Merge branch 'spielwiese' into new-letterplace-pair-set
spielwiese
|
|
|
@387f6b
|
6 years |
hannes |
Merge branch 'fix-posinT' of https://github.com/kabouzeid/Singular ...
spielwiese
|
|
|
@497eb3
|
6 years |
Christian Eder |
fixes example primdecZM from primdecint.lib
spielwiese
|
|
|
@15a55a5
|
6 years |
karim23697 |
New pairs
spielwiese
|
|
|
@cfce45f
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@6cc0f0
|
6 years |
hannes |
fix: allow strat->tail in kTest_L
spielwiese
|
|
|
@724361
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@1eabfc
|
6 years |
hannes |
fix: kTest_L requires tailRing
spielwiese
|
|
|
@85d7d3
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@7d405ea
|
6 years |
Christian Eder |
optimization when generating new strong spairs can only be done if the ...
spielwiese
|
|
|
@ff4c0c1
|
6 years |
Christian Eder |
renaming of function for reduction over Z to fit to new naming convention
spielwiese
|
|
|
@eece62
|
6 years |
Christian Eder |
adds correct product criterion check for usual s-pairs over rings
spielwiese
|
|
|
@d3b5daa
|
6 years |
Christian Eder |
removes debug printout
spielwiese
|
|
|
@5116b54
|
6 years |
Christian Eder |
adds a pair lcm check in bba() if we are working over rings
spielwiese
|
|
|
@77acb8
|
6 years |
Christian Eder |
adds criteria for removing useless strong critical pairs when working ...
spielwiese
|
|
|
@e6cdad
|
6 years |
hannes |
use xalloc if omalloc is disabled
spielwiese
|
|
|
@5676fd
|
6 years |
karim23697 |
Add kMergeBintoL to initenterpairsShift as in initenterpairs
spielwiese
|
|
|
@f7851f
|
6 years |
karim23697 |
Revert new tests
spielwiese
|
|
|
@353a42
|
6 years |
hannes |
chg: nCoeff_si_Ring_Z/rField_is_Ring_Z -> nCoeff_is_Z/rField_is_Z
spielwiese
|
|
|
@59b7cd
|
6 years |
karim23697 |
Apply changes from Hans
spielwiese
|
|
|
@3d752a
|
6 years |
hannes |
debug helper: kTst_T, kTest_L, _nlDelete_NoImm
spielwiese
|
|
|
@cee69a
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@73ca8f3
|
6 years |
hannes |
fix: possible out-of-bound in kCheckSpolyCreation
spielwiese
|
|
|
@d9cbec2
|
6 years |
hannes |
opt: redSB/redTail for sba(id,p)
spielwiese
|
|
|
@cebb98
|
6 years |
hannes |
opt: std(id,p)
spielwiese
|
|
|
@3e5610
|
6 years |
hannes |
simplify delete lcm to kDeleteLcm (GBEngine)
spielwiese
|
|
|
@7c8188b
|
6 years |
hannes |
fix: memory leak in std(x+y,x-y) in Z[x,y]
spielwiese
|
|
|
@c0632a4
|
6 years |
karim23697 |
the tail of shifted polys in T is now the tail of the unshifted poly
spielwiese
|
|
|
@fec0e69
|
6 years |
karim23697 |
Minimal performance improvement, also comes in handy for letterplace
spielwiese
|
|
|
@216e12
|
6 years |
karim23697 |
Only add LM of shifts in T
spielwiese
|
|
|
@8fdfee7
|
6 years |
karim23697 |
Fix a bug where S might not be completely reduced. Also make shiftBba ...
spielwiese
|
|
|
@b00f8a
|
6 years |
karim23697 |
Remove all shrink calls. Remove uptodeg/lV parameters from almost all ...
spielwiese
|
|
|
@d16f9c
|
6 years |
hannes |
fix: primdecint.lib::primdecZM
spielwiese
|
|
|
@f066cc
|
6 years |
hannes |
typo in comment
spielwiese
|
|
|
@d34308
|
6 years |
hannes |
fix: bug in syz (and std) over ZZ
spielwiese
|
|
|
@84fbee
|
6 years |
levandov |
levandov: visual check for LP criterion in kutil and allowing module ...
spielwiese
|
|
|
@a754194
|
6 years |
hannes |
fix: enterSBba
spielwiese
|
|
|
@0ac548
|
6 years |
hannes |
opt: simplified enterSBba
spielwiese
|
|
|
@86ff333
|
6 years |
hannes |
add: allow interrupt with partial results in std(bba+mora), removed ...
spielwiese
|
|
|
@b866080
|
6 years |
hannes |
fix: free /shift algebra: use T.p instead of T.t_p
spielwiese
|
|
|
@70d31a
|
6 years |
hannes |
fix: allow currRing==tailRing in cleanT
spielwiese
|
|
|
@fdb4ba
|
6 years |
hannes |
format: make ctag happy
spielwiese
|
|
|
@24bc73
|
6 years |
hannes |
remove pContent/p_Content from GBEmgine and related p1
spielwiese
|
|
|
@0dcc85c
|
6 years |
hannes |
fix: poly/ring member in bbaShift, p1
spielwiese
|
|
|
@470125b
|
7 years |
hannes |
fix: TObject::pLength
spielwiese
|
|
|
@15d75cd
|
7 years |
hannes |
opt: handling on kNoether, kHEdge, short spoly (Lp.p) in strat
...
spielwiese
|
|
|
@3d1222a
|
7 years |
hannes |
(p)p_Mult_nn: test args for 0,1, __(p)p_Mult_nn: no tests
spielwiese
|
|
|
@ad53a8
|
7 years |
hannes |
chg: kFindDivisibleByInS -> kFindDivisibleByInS, kFindDivisibleByInS_T
spielwiese
|
|
|
@eeb59b7
|
7 years |
hannes |
code cleanup: redtail and related
spielwiese
|
|
|
@453679
|
7 years |
hannes |
fix: redefine
spielwiese
|
|
|
@dcddf66
|
7 years |
hannes |
minor opt: p_GetComp -> __p_GetComp if there is a component
spielwiese
|
|
|
@89f4843
|
7 years |
hannes |
use include ".." for singular related .h, p10, register ->REGISTER
spielwiese
|
|
|
@b2ca85
|
7 years |
hannes |
use include ".." for singular related .h, p10
spielwiese
|
|
|
@9de60a
|
7 years |
hannes |
chg: allocation in kutil.cc, p2
spielwiese
|
|
|
@f4d581
|
7 years |
hannes |
chg: allocation in kutil.cc
spielwiese
|
|
|
@17c315
|
7 years |
hannes |
p_Lcm -> p_polys.cc
spielwiese
|
|
|
@c3ea367
|
7 years |
hannes |
code cleanup: enterOnePair*
spielwiese
|
|
|
@54c80c
|
7 years |
hannes |
fix: bbaShift does not follwo all conventions, disable some Debug-Tests
spielwiese
|
|
|
@b18ea6
|
7 years |
hannes |
more static in kutil.cc
spielwiese
|
|
|
@1603fb
|
7 years |
hannes |
made enterOne... static in kutil.cc
spielwiese
|
|
|
@112f6ef
|
7 years |
hannes |
minor opt: cancelunit
spielwiese
|
|
|
@0091f5
|
7 years |
hannes |
fix: finalReduceByMon: in n_IntMod(A,B,C) B should be positive
spielwiese
|
|
|
@90f715
|
7 years |
hannes |
change: use rRingOrder_t instead of int
spielwiese
|
|
|
@9d19c1
|
7 years |
hannes |
compiler warings: unused variables, parameters, functions
spielwiese
|
|
|
@dd940b
|
7 years |
hannes |
lcm: delete as monomial
spielwiese
|
|
|
@4763e2
|
8 years |
hannes |
rename TObject_max to TObjec->max_exp
spielwiese
|
|
|
@7bb1ac
|
8 years |
hannes |
chg: remove trailing spaces
spielwiese
|
|
|
@750069
|
8 years |
hannes |
Merge pull request #789 from adipopescu/Reduce_Bound
Reduce bound
spielwiese
|
|
|
@06abb07
|
8 years |
hannes |
chg: n_...(...,ring) -> n_....(...,coeff) for better debugging
spielwiese
|
|
|
@e11176
|
8 years |
adi_popescum |
forgot some debug output
spielwiese
|
|
|
@c2ef83
|
8 years |
adi_popescum |
add: reduce_bound in experimental in extra.cc
works like reduce ...
spielwiese
|
|
|
@c6a876
|
8 years |
hannes |
chg: format, minor opt.
spielwiese
|
|
|
@9aab97
|
8 years |
adi_popescum |
memory leaks solved.
spielwiese
|
|
|
@9005c8
|
8 years |
adi_popescum |
trying to solve memory leak
spielwiese
|
|
|
@7d1e80
|
8 years |
adi_popescum |
Christians sba fixed
spielwiese
|
|
|
@d5d857
|
8 years |
adi_popescum |
add debug output to solve sba_s
spielwiese
|
|
|
@cc94f7e
|
8 years |
adi_popescum |
Merge branch 'spielwiese' of github.com:Singular/Sources into SigDrop
...
spielwiese
|
|
|
@e40da9f
|
8 years |
adi_popescum |
trying to fix Christian sba algorithm
spielwiese
|
|
|
@f9b0bd
|
8 years |
hannes |
chg: Print -> PrintS, PrintLn if possible
spielwiese
|
|
|
@ef2729
|
8 years |
adi_popescum |
rep: #if ADIDEBUG with #ifdef ADIDEBUG
rem: wait in extra.cc
spielwiese
|
|
|