|
|
@b1bc24
|
4 years |
karim23697 |
Fix chain crit for Letterplace
spielwiese
|
|
|
@08b6c4
|
4 years |
karim23697 |
Fix lpZ for qring
spielwiese
|
|
|
@096b8ab
|
4 years |
karim23697 |
simplify initenterpairsShift for rings
spielwiese
|
|
|
@c54406
|
4 years |
karim23697 |
Add assume warning for superenterpairs
spielwiese
|
|
|
@05179c
|
4 years |
karim23697 |
Fix index in R incorrect
spielwiese
|
|
|
@9a49dc
|
4 years |
karim23697 |
Fix crash because of k_SplitFrame
spielwiese
|
|
|
@94b41d
|
4 years |
karim23697 |
LP Z V1
spielwiese
|
|
|
@fbec29
|
5 years |
hannes |
comments
spielwiese
|
|
|
@b81f75
|
5 years |
hannes |
debug: better kTestTS
spielwiese
|
|
|
@1edbe2f
|
5 years |
hannes |
format
spielwiese
|
|
|
@a3f0fea
|
5 years |
behrends |
Modify variable declarions for pSingular.
spielwiese
|
|
|
@552931
|
5 years |
karim23697 |
free fromQ
spielwiese
|
|
|
@308e89
|
5 years |
karim23697 |
Pairs for rightGB
spielwiese
|
|
|
@0d8474c
|
5 years |
karim23697 |
Better debugging for pairs
spielwiese
|
|
|
@f4245d
|
5 years |
karim23697 |
More assumes for pairs
spielwiese
|
|
|
@bd3109
|
5 years |
karim23697 |
messageSets also shows if poly is from Q
spielwiese
|
|
|
@3673a86
|
5 years |
karim23697 |
Renamed itoInsert to p_mLPmaxPossibleShift. Also better performance ...
spielwiese
|
|
|
@5f9cd3a
|
5 years |
karim23697 |
More efficient way to create pairs for LP rings
before, for each set ...
spielwiese
|
|
|
@843f06
|
5 years |
karim23697 |
Don’t delete fromQ for rightGB
spielwiese
|
|
|
@58316de
|
5 years |
karim23697 |
Add debug output when a criterion is applied
spielwiese
|
|
|
@15fbfe0
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
spielwiese
|
|
|
@5c51ab
|
5 years |
karim23697 |
Remove updateSShift
spielwiese
|
|
|
@462eb9
|
5 years |
karim23697 |
Merge initBuchMoraShift into initBuchMora
spielwiese
|
|
|
@52bcb9
|
6 years |
karim23697 |
reduce for lp rings
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
|
|
|