|
|
@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
|
|
|
@b95a5f
|
5 years |
karim23697 |
Create entry points for rightGB
spielwiese
|
|
|
@15fbfe0
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
spielwiese
|
|
|
@48ef591
|
5 years |
hannes |
opt: Shdl is here always !=NULL (initSL)
spielwiese
|
|
|
@a1ffca6
|
5 years |
karim23697 |
Changes from Hans
spielwiese
|
|
|
@6b0b413
|
5 years |
karim23697 |
Fix probably unused case where enterT was missing
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
|
|
|
@38554b
|
5 years |
hannes |
add: poly / const. poly 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
|
|
|
@e552b7
|
6 years |
hannes |
naMapPoly
spielwiese
|
|
|
@4ab28ee
|
6 years |
karim |
Warn when invalid letterplace polynom is printed
spielwiese
|
|
|
@acb37e6
|
6 years |
Christian Eder |
searches for the smallest possible gcd resp. lc when doing the special ...
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
|
|
|
@6c4143
|
6 years |
Christian Eder |
adds special handling of one-term-reductions over Z
spielwiese
|
|
|
@b2bceb6
|
6 years |
Christian Eder |
redTailbba only applied when the order is not local nor mixed
spielwiese
|
|
|
@755d41
|
6 years |
Christian Eder |
adds special ksReducePoly function for Z: if the reducer consists of ...
spielwiese
|
|
|
@194f799
|
6 years |
Christian Eder |
adds check for local or mixed ordering when applying special redtail ...
spielwiese
|
|
|
@6a0ad75
|
6 years |
hannes |
std now also for LP rings
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
|
|
|
@73b084
|
6 years |
hannes |
alignment
spielwiese
|
|
|
@cb72d2
|
6 years |
hannes |
fix: missing HAVE_SHIFTBBA and rIsLPRing test
spielwiese
|
|
|
@3e7454
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@6e40759
|
6 years |
hannes |
fix: use r, not currRing in singclap_gcd
spielwiese
|
|
|
@e81563f
|
6 years |
Christian Eder |
fixes kTest_L calls
spielwiese
|
|
|
@11b36d7
|
6 years |
Christian Eder |
removes debugging variable not defined any longer
spielwiese
|
|
|
@e34d7f
|
6 years |
Christian Eder |
adds new tail reduction function when computing over Z
spielwiese
|
|
|
@a75fc3
|
6 years |
Christian Eder |
adds new redring_Z implementation:
1. try to reduce the lead term of a ...
spielwiese
|
|
|
@98f4749
|
6 years |
Christian Eder |
uses locally defined ring r instead of currRing when searching for ...
spielwiese
|
|
|
@28ac7f
|
6 years |
Christian Eder |
adds function searching in T for element of the same leading monomial
spielwiese
|
|
|
@3b1ebb
|
6 years |
Christian Eder |
adds declarations for new functions introduced in previous commits
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
|
|
|
@6a90def
|
6 years |
Christian Eder |
adds gcd poly reduction step for groebner bases over Z
spielwiese
|
|
|
@d2565e
|
6 years |
Christian Eder |
adds tail reducer for the cutting down the coefficients of tail terms ...
spielwiese
|
|
|
@b596cf
|
6 years |
karim23697 |
Fix compile errors
spielwiese
|
|
|
@a509abb
|
6 years |
karim23697 |
Checkout kInline.h from spielwiese
spielwiese
|
|
|
@9ba49a
|
6 years |
karim23697 |
Add missing #define HAVE_SHIFTBBA
spielwiese
|
|
|
@3db016
|
6 years |
karim23697 |
Remove kernel dependency from libpolys and improve perfomance
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
|
|
|
@c473b7
|
6 years |
hannes |
removed FLINT_CFLAGS, if unused
spielwiese
|
|
|
@25a7cf
|
6 years |
hannes |
removed NTL_CPPFLAGS, if unused
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
|
|
|
@220277f
|
6 years |
karim23697 |
Support components in letterplace kernel multiplication
spielwiese
|
|
|
@1eabfc
|
6 years |
hannes |
fix: kTest_L requires tailRing
spielwiese
|
|
|
@0b5677
|
6 years |
karim23697 |
Remove unused function
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
|
|
|
@2c1877
|
6 years |
Christian Eder |
fixes calling convention for finding divisor in T set
spielwiese
|
|
|
@ff4c0c1
|
6 years |
Christian Eder |
renaming of function for reduction over Z to fit to new naming convention
spielwiese
|
|
|
@96ece66
|
6 years |
Christian Eder |
fixes calls due to new calling conventions
spielwiese
|
|
|
@064683
|
6 years |
Christian Eder |
integer division test is now using newly implemented
quotient with ...
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
|
|
|
@bf25df
|
6 years |
Christian Eder |
smaller optimization when checking for possible reducers over the integers
spielwiese
|
|
|
@77acb8
|
6 years |
Christian Eder |
adds criteria for removing useless strong critical pairs when working ...
spielwiese
|
|
|
@1308eb
|
6 years |
Christian Eder |
fixes freeing of numbers allocated for integer divisibility checks on ...
spielwiese
|
|
|
@953f6b
|
6 years |
Christian Eder |
adds updated GB computations over the integers:
we generalize the ...
spielwiese
|
|
|
@6408aa
|
6 years |
hannes |
fix: more simplification for omalloc/xalloc
spielwiese
|
|
|
@e6cdad
|
6 years |
hannes |
use xalloc if omalloc is disabled
spielwiese
|
|
|
@7a95621
|
6 years |
hannes |
fix: avoid -std=c++1 from NTL in C files
spielwiese
|
|
|
@55ec4f
|
6 years |
hannes |
fix: tr. #834 (gcd in Z[x])
spielwiese
|
|
|
@c4532ad
|
6 years |
hannes |
4.1.1p3
spielwiese
|
|
|
@88f386c
|
6 years |
karim23697 |
Fix segfault with coeffs
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
|
|
|
@79d81e5
|
6 years |
hannes |
removed: unused variables/code
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
|
|
|
@7ddfab
|
6 years |
hannes |
LObject::CanonicalizeP/Normalize
spielwiese
|
|
|
@0612fd
|
6 years |
hannes |
unified (un)lukely/(UN)LIKELY -> (UN)LIKELY
spielwiese
|
|
|
@eb1f43
|
6 years |
hannes |
compiler warnings
spielwiese
|
|
|
@3e5610
|
6 years |
hannes |
simplify delete lcm to kDeleteLcm (GBEngine)
spielwiese
|
|
|
@f67370
|
6 years |
karim23697 |
Small fix
spielwiese
|
|
|
@7c8188b
|
6 years |
hannes |
fix: memory leak in std(x+y,x-y) in Z[x,y]
spielwiese
|
|
|