|
|
@9017bae
|
6 years |
Christian Eder |
merge with current spielwiese
fieker-DuValspielwiese
|
|
|
@e552b7
|
6 years |
hannes |
naMapPoly
fieker-DuValspielwiese
|
|
|
@4ab28ee
|
6 years |
karim |
Warn when invalid letterplace polynom is printed
fieker-DuValspielwiese
|
|
|
@acb37e6
|
6 years |
Christian Eder |
searches for the smallest possible gcd resp. lc when doing the special ...
fieker-DuValspielwiese
|
|
|
@8b518b8
|
6 years |
Christian Eder |
fixes initialization of strong pairs over the integers
fieker-DuValspielwiese
|
|
|
@818f44
|
6 years |
Christian Eder |
when replacing elements we still have to adde spairs even if the ...
fieker-DuValspielwiese
|
|
|
@ea5feb2
|
6 years |
Christian Eder |
fixes check which and if an element from S needs to be replaced
fieker-DuValspielwiese
|
|
|
@ab6ae3
|
6 years |
Christian Eder |
removes useless pairs directly from pairlist before replacing in L, S and T
fieker-DuValspielwiese
|
|
|
@6c4143
|
6 years |
Christian Eder |
adds special handling of one-term-reductions over Z
fieker-DuValspielwiese
|
|
|
@b2bceb6
|
6 years |
Christian Eder |
redTailbba only applied when the order is not local nor mixed
fieker-DuValspielwiese
|
|
|
@755d41
|
6 years |
Christian Eder |
adds special ksReducePoly function for Z: if the reducer consists of ...
fieker-DuValspielwiese
|
|
|
@194f799
|
6 years |
Christian Eder |
adds check for local or mixed ordering when applying special redtail ...
fieker-DuValspielwiese
|
|
|
@6a0ad75
|
6 years |
hannes |
std now also for LP rings
fieker-DuValspielwiese
|
|
|
@ac4ff44
|
6 years |
Christian Eder |
removes more useless code, fixes parameter handling of replacement function
fieker-DuValspielwiese
|
|
|
@a9ff57
|
6 years |
Christian Eder |
fixes replacemets in L, S and T
fieker-DuValspielwiese
|
|
|
@73b084
|
6 years |
hannes |
alignment
fieker-DuValspielwiese
|
|
|
@cb72d2
|
6 years |
hannes |
fix: missing HAVE_SHIFTBBA and rIsLPRing test
fieker-DuValspielwiese
|
|
|
@3e7454
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
fieker-DuValspielwiese
|
|
|
@6e40759
|
6 years |
hannes |
fix: use r, not currRing in singclap_gcd
fieker-DuValspielwiese
|
|
|
@e81563f
|
6 years |
Christian Eder |
fixes kTest_L calls
fieker-DuValspielwiese
|
|
|
@11b36d7
|
6 years |
Christian Eder |
removes debugging variable not defined any longer
fieker-DuValspielwiese
|
|
|
@e34d7f
|
6 years |
Christian Eder |
adds new tail reduction function when computing over Z
fieker-DuValspielwiese
|
|
|
@a75fc3
|
6 years |
Christian Eder |
adds new redring_Z implementation:
1. try to reduce the lead term of a ...
fieker-DuValspielwiese
|
|
|
@98f4749
|
6 years |
Christian Eder |
uses locally defined ring r instead of currRing when searching for ...
fieker-DuValspielwiese
|
|
|
@28ac7f
|
6 years |
Christian Eder |
adds function searching in T for element of the same leading monomial
fieker-DuValspielwiese
|
|
|
@3b1ebb
|
6 years |
Christian Eder |
adds declarations for new functions introduced in previous commits
fieker-DuValspielwiese
|
|
|
@83f82e5
|
6 years |
Christian Eder |
adds replacement function for L, S, and T
fieker-DuValspielwiese
|
|
|
@85fb25
|
6 years |
Christian Eder |
adds small comment on strange break command in loop due to coefficient ...
fieker-DuValspielwiese
|
|
|
@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
|
|
|
@6a90def
|
6 years |
Christian Eder |
adds gcd poly reduction step for groebner bases over Z
fieker-DuValspielwiese
|
|
|
@d2565e
|
6 years |
Christian Eder |
adds tail reducer for the cutting down the coefficients of tail terms ...
fieker-DuValspielwiese
|
|
|
@b596cf
|
6 years |
karim23697 |
Fix compile errors
fieker-DuValspielwiese
|
|
|
@a509abb
|
6 years |
karim23697 |
Checkout kInline.h from spielwiese
fieker-DuValspielwiese
|
|
|
@9ba49a
|
6 years |
karim23697 |
Add missing #define HAVE_SHIFTBBA
fieker-DuValspielwiese
|
|
|
@3db016
|
6 years |
karim23697 |
Remove kernel dependency from libpolys and improve perfomance
fieker-DuValspielwiese
|
|
|
@b8c732
|
6 years |
karim23697 |
Merge branch 'spielwiese' into new-letterplace-pair-set
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
|
|
|
@15a55a5
|
6 years |
karim23697 |
New pairs
fieker-DuValspielwiese
|
|
|
@c473b7
|
6 years |
hannes |
removed FLINT_CFLAGS, if unused
fieker-DuValspielwiese
|
|
|
@25a7cf
|
6 years |
hannes |
removed NTL_CPPFLAGS, if unused
fieker-DuValspielwiese
|
|
|
@cfce45f
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
fieker-DuValspielwiese
|
|
|
@6cc0f0
|
6 years |
hannes |
fix: allow strat->tail in kTest_L
fieker-DuValspielwiese
|
|
|
@724361
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
fieker-DuValspielwiese
|
|
|
@220277f
|
6 years |
karim23697 |
Support components in letterplace kernel multiplication
fieker-DuValspielwiese
|
|
|
@1eabfc
|
6 years |
hannes |
fix: kTest_L requires tailRing
fieker-DuValspielwiese
|
|
|
@0b5677
|
6 years |
karim23697 |
Remove unused function
fieker-DuValspielwiese
|
|
|
@85d7d3
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
fieker-DuValspielwiese
|
|
|
@7d405ea
|
6 years |
Christian Eder |
optimization when generating new strong spairs can only be done if the ...
fieker-DuValspielwiese
|
|
|
@2c1877
|
6 years |
Christian Eder |
fixes calling convention for finding divisor in T set
fieker-DuValspielwiese
|
|
|
@ff4c0c1
|
6 years |
Christian Eder |
renaming of function for reduction over Z to fit to new naming convention
fieker-DuValspielwiese
|
|
|
@96ece66
|
6 years |
Christian Eder |
fixes calls due to new calling conventions
fieker-DuValspielwiese
|
|
|
@064683
|
6 years |
Christian Eder |
integer division test is now using newly implemented
quotient with ...
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
|
|
|
@bf25df
|
6 years |
Christian Eder |
smaller optimization when checking for possible reducers over the integers
fieker-DuValspielwiese
|
|
|
@77acb8
|
6 years |
Christian Eder |
adds criteria for removing useless strong critical pairs when working ...
fieker-DuValspielwiese
|
|
|
@1308eb
|
6 years |
Christian Eder |
fixes freeing of numbers allocated for integer divisibility checks on ...
fieker-DuValspielwiese
|
|
|
@953f6b
|
6 years |
Christian Eder |
adds updated GB computations over the integers:
we generalize the ...
fieker-DuValspielwiese
|
|
|
@6408aa
|
6 years |
hannes |
fix: more simplification for omalloc/xalloc
fieker-DuValspielwiese
|
|
|
@e6cdad
|
6 years |
hannes |
use xalloc if omalloc is disabled
fieker-DuValspielwiese
|
|
|
@7a95621
|
6 years |
hannes |
fix: avoid -std=c++1 from NTL in C files
fieker-DuValspielwiese
|
|
|
@55ec4f
|
6 years |
hannes |
fix: tr. #834 (gcd in Z[x])
fieker-DuValspielwiese
|
|
|
@c4532ad
|
6 years |
hannes |
4.1.1p3
fieker-DuValspielwiese
|
|
|
@88f386c
|
6 years |
karim23697 |
Fix segfault with coeffs
fieker-DuValspielwiese
|
|
|
@5676fd
|
6 years |
karim23697 |
Add kMergeBintoL to initenterpairsShift as in initenterpairs
fieker-DuValspielwiese
|
|
|
@f7851f
|
6 years |
karim23697 |
Revert new tests
fieker-DuValspielwiese
|
|
|
@353a42
|
6 years |
hannes |
chg: nCoeff_si_Ring_Z/rField_is_Ring_Z -> nCoeff_is_Z/rField_is_Z
fieker-DuValspielwiese
|
|
|
@59b7cd
|
6 years |
karim23697 |
Apply changes from Hans
fieker-DuValspielwiese
|
|
|
@3d752a
|
6 years |
hannes |
debug helper: kTst_T, kTest_L, _nlDelete_NoImm
fieker-DuValspielwiese
|
|
|
@cee69a
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
fieker-DuValspielwiese
|
|
|
@79d81e5
|
6 years |
hannes |
removed: unused variables/code
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
|
|
|
@7ddfab
|
6 years |
hannes |
LObject::CanonicalizeP/Normalize
fieker-DuValspielwiese
|
|
|
@0612fd
|
6 years |
hannes |
unified (un)lukely/(UN)LIKELY -> (UN)LIKELY
fieker-DuValspielwiese
|
|
|
@eb1f43
|
6 years |
hannes |
compiler warnings
fieker-DuValspielwiese
|
|
|
@3e5610
|
6 years |
hannes |
simplify delete lcm to kDeleteLcm (GBEngine)
fieker-DuValspielwiese
|
|
|
@f67370
|
6 years |
karim23697 |
Small fix
fieker-DuValspielwiese
|
|
|
@7c8188b
|
6 years |
hannes |
fix: memory leak in std(x+y,x-y) in Z[x,y]
fieker-DuValspielwiese
|
|
|
@3a961a
|
6 years |
karim23697 |
SHIFT_MULT_COMPAT_MODE is ready to be disabled now
fieker-DuValspielwiese
|
|
|
@c0632a4
|
6 years |
karim23697 |
the tail of shifted polys in T is now the tail of the unshifted poly
fieker-DuValspielwiese
|
|
|
@fec0e69
|
6 years |
karim23697 |
Minimal performance improvement, also comes in handy for letterplace
fieker-DuValspielwiese
|
|
|
@216e12
|
6 years |
karim23697 |
Only add LM of shifts in T
fieker-DuValspielwiese
|
|
|
@f42e9e
|
6 years |
karim23697 |
Break when error reported (copied from bba())
fieker-DuValspielwiese
|
|
|
@c30f2a5
|
6 years |
hannes |
compiler warning
fieker-DuValspielwiese
|
|
|
@abfdab
|
6 years |
karim23697 |
For now add initEcart again because we get a segfault otherwise. Need ...
fieker-DuValspielwiese
|
|
|
@8fdfee7
|
6 years |
karim23697 |
Fix a bug where S might not be completely reduced. Also make shiftBba ...
fieker-DuValspielwiese
|
|
|
@b00f8a
|
6 years |
karim23697 |
Remove all shrink calls. Remove uptodeg/lV parameters from almost all ...
fieker-DuValspielwiese
|
|
|
@aa7c1c2
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
fieker-DuValspielwiese
|
|
|
@b2dba70
|
6 years |
karim23697 |
Clean up
fieker-DuValspielwiese
|
|
|
@c1fdb3
|
6 years |
karim23697 |
Fix bug
fieker-DuValspielwiese
|
|
|
@d16f9c
|
6 years |
hannes |
fix: primdecint.lib::primdecZM
fieker-DuValspielwiese
|
|
|
@dc0f002
|
6 years |
karim23697 |
Clean ups
fieker-DuValspielwiese
|
|
|
@f5850b
|
6 years |
karim23697 |
Adjusted bba to work with the new letterplace multiplication
fieker-DuValspielwiese
|
|
|
@f066cc
|
6 years |
hannes |
typo in comment
fieker-DuValspielwiese
|
|
|