|
|
@dbee0b5
|
5 years |
karim23697 |
Fix a bug where a wrong shift is set. Also add some assumes so this ...
fieker-DuValspielwiese
|
|
|
@552931
|
5 years |
karim23697 |
free fromQ
fieker-DuValspielwiese
|
|
|
@0f9a66a
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
fieker-DuValspielwiese
|
|
|
@97cdbb
|
5 years |
hannes |
simplifid includes (kernel/oswrapper/timer.cc)
fieker-DuValspielwiese
|
|
|
@308e89
|
5 years |
karim23697 |
Pairs for rightGB
fieker-DuValspielwiese
|
|
|
@0d8474c
|
5 years |
karim23697 |
Better debugging for pairs
fieker-DuValspielwiese
|
|
|
@f4245d
|
5 years |
karim23697 |
More assumes for pairs
fieker-DuValspielwiese
|
|
|
@b95359
|
5 years |
karim23697 |
Small fix
fieker-DuValspielwiese
|
|
|
@5e2c0b
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
fieker-DuValspielwiese
|
|
|
@51846a
|
5 years |
karim23697 |
Fix possible zero GB in rare cases
fieker-DuValspielwiese
|
|
|
@bdcd67
|
5 years |
hannes |
description of pIsConstantComp,pIsConstant, etc.
fieker-DuValspielwiese
|
|
|
@bd3109
|
5 years |
karim23697 |
messageSets also shows if poly is from Q
fieker-DuValspielwiese
|
|
|
@3673a86
|
5 years |
karim23697 |
Renamed itoInsert to p_mLPmaxPossibleShift. Also better performance ...
fieker-DuValspielwiese
|
|
|
@5f9cd3a
|
5 years |
karim23697 |
More efficient way to create pairs for LP rings
before, for each set ...
fieker-DuValspielwiese
|
|
|
@843f06
|
5 years |
karim23697 |
Don’t delete fromQ for rightGB
fieker-DuValspielwiese
|
|
|
@58316de
|
5 years |
karim23697 |
Add debug output when a criterion is applied
fieker-DuValspielwiese
|
|
|
@b95a5f
|
5 years |
karim23697 |
Create entry points for rightGB
fieker-DuValspielwiese
|
|
|
@15fbfe0
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
fieker-DuValspielwiese
|
|
|
@48ef591
|
5 years |
hannes |
opt: Shdl is here always !=NULL (initSL)
fieker-DuValspielwiese
|
|
|
@a1ffca6
|
5 years |
karim23697 |
Changes from Hans
fieker-DuValspielwiese
|
|
|
@6b0b413
|
5 years |
karim23697 |
Fix probably unused case where enterT was missing
fieker-DuValspielwiese
|
|
|
@5c51ab
|
5 years |
karim23697 |
Remove updateSShift
fieker-DuValspielwiese
|
|
|
@462eb9
|
5 years |
karim23697 |
Merge initBuchMoraShift into initBuchMora
fieker-DuValspielwiese
|
|
|
@52bcb9
|
6 years |
karim23697 |
reduce for lp rings
fieker-DuValspielwiese
|
|
|
@38554b
|
5 years |
hannes |
add: poly / const. poly for LP-rings
fieker-DuValspielwiese
|
|
|
@486d31
|
6 years |
hannes |
fix: lost LPring changes
fieker-DuValspielwiese
|
|
|
@f2ba1e4
|
6 years |
Christian Eder |
fixes entering of strong polys for local monomial orders
fieker-DuValspielwiese
|
|
|
@070ab6
|
6 years |
Christian Eder |
adds correct product criterion test for rings
fieker-DuValspielwiese
|
|
|
@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
|
|
|