|
|
@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
|
|
|
@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
|
|
|
@c473b7
|
6 years |
hannes |
removed FLINT_CFLAGS, if unused
fieker-DuValspielwiese
|
|
|
@25a7cf
|
6 years |
hannes |
removed NTL_CPPFLAGS, if unused
fieker-DuValspielwiese
|
|
|
@6cc0f0
|
6 years |
hannes |
fix: allow strat->tail in kTest_L
fieker-DuValspielwiese
|
|
|
@1eabfc
|
6 years |
hannes |
fix: kTest_L requires tailRing
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
|
|
|
@353a42
|
6 years |
hannes |
chg: nCoeff_si_Ring_Z/rField_is_Ring_Z -> nCoeff_is_Z/rField_is_Z
fieker-DuValspielwiese
|
|
|
@3d752a
|
6 years |
hannes |
debug helper: kTst_T, kTest_L, _nlDelete_NoImm
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
|
|
|
@7c8188b
|
6 years |
hannes |
fix: memory leak in std(x+y,x-y) in Z[x,y]
fieker-DuValspielwiese
|
|
|
@fec0e69
|
6 years |
karim23697 |
Minimal performance improvement, also comes in handy for letterplace
fieker-DuValspielwiese
|
|
|
@c30f2a5
|
6 years |
hannes |
compiler warning
fieker-DuValspielwiese
|
|
|
@d16f9c
|
6 years |
hannes |
fix: primdecint.lib::primdecZM
fieker-DuValspielwiese
|
|
|
@f066cc
|
6 years |
hannes |
typo in comment
fieker-DuValspielwiese
|
|
|
@d34308
|
6 years |
hannes |
fix: bug in syz (and std) over ZZ
fieker-DuValspielwiese
|
|
|
@171070
|
6 years |
hannes |
p_Divide, singclap_gcd: now via syz/lift if cf!=Q,Z,Z/p
fieker-DuValspielwiese
|
|
|
@5feb8b
|
6 years |
hannes |
fix: poly division without factory
fieker-DuValspielwiese
|
|
|
@e289a4
|
6 years |
hannes |
fix: weight for modules in kInterred is different...
fieker-DuValspielwiese
|
|
|
@12ec5d
|
6 years |
hannes |
fix: handling of module weights for homog. test
fieker-DuValspielwiese
|
|
|
@ee0944
|
6 years |
levandov |
Merge branch 'spielwiese' of github.com:levandov/Sources into ...
fieker-DuValspielwiese
|
|
|
@2c24810
|
6 years |
hannes |
add: freegb with modules
fieker-DuValspielwiese
|
|
|
@84fbee
|
6 years |
levandov |
levandov: visual check for LP criterion in kutil and allowing module ...
fieker-DuValspielwiese
|
|
|
@70a107
|
6 years |
hannes |
use of nc_..BucketRed/doc
fieker-DuValspielwiese
|
|
|
@49c522
|
6 years |
hannes |
fix: Singular.jl/issues/23: polynomial division by a monomial
fieker-DuValspielwiese
|
|
|
@9922fa7
|
6 years |
hannes |
fix: format + handling very large matrices in slimgb (>2GB)
fieker-DuValspielwiese
|
|
|
@e4c8dc
|
6 years |
hannes |
fix: special case for Z/p-arith in slimgb
fieker-DuValspielwiese
|
|
|
@6e969c
|
6 years |
hannes |
opt: Z/p arithm. for slimgb
fieker-DuValspielwiese
|
|
|
@eb6e1d
|
6 years |
hannes |
Singular-4-1-1p2
fieker-DuValspielwiese
|
|
|
@3778c1
|
6 years |
hannes |
Merge pull request #861 from ...
fieker-DuValspielwiese
|
|
|
@891f0e
|
6 years |
hannes |
fix: make check for static builds
fieker-DuValspielwiese
|
|
|
@e2ec67
|
6 years |
quatermaster |
correct spelling errors as detected by lintian
Description: source ...
fieker-DuValspielwiese
|
|
|
@caf8c6
|
6 years |
hannes |
chg: HAVE_ASSUME -> !SING_NDEBUG
fieker-DuValspielwiese
|
|
|
@bd0e07
|
6 years |
hannes |
fix: julia-debug version
fieker-DuValspielwiese
|
|
|
@1932d5c
|
6 years |
hannes |
fix: julia-debug version: HAVE_ASSUME -> !SING_NDEBUG
fieker-DuValspielwiese
|
|
|
@0f595e
|
6 years |
hannes |
fix: julia-debug version
fieker-DuValspielwiese
|
|
|
@9a03c2d
|
6 years |
karim23697 |
Merge branch 'spielwiese' into stable
fieker-DuValspielwiese
|
|
|
@59b9fdb
|
6 years |
hannes |
opt: tgb.cc, kFindIn..
fieker-DuValspielwiese
|
|
|
@a754194
|
6 years |
hannes |
fix: enterSBba
fieker-DuValspielwiese
|
|
|
@0ac548
|
6 years |
hannes |
opt: simplified enterSBba
fieker-DuValspielwiese
|
|
|
@74161f1
|
6 years |
hannes |
opt: pNormalize/pCleardenom in slimgb
fieker-DuValspielwiese
|
|
|
@dcad76
|
6 years |
hannes |
Merge pull request #857 from ...
fieker-DuValspielwiese
|
|
|
@459e064
|
6 years |
hannes |
chg: eliminate(I,m,"alg")
fieker-DuValspielwiese
|
|
|
@0277c5
|
6 years |
quatermaster |
correct spelling errors as detected by lintian
Description: source ...
fieker-DuValspielwiese
|
|
|
@29f433
|
6 years |
hannes |
add: kBucketSimpleContent
fieker-DuValspielwiese
|
|
|
@af2d81
|
6 years |
hannes |
opt: omalloc -> omAlloc
fieker-DuValspielwiese
|
|
|
@3de8c43
|
6 years |
hannes |
opt: TObject::Copy
fieker-DuValspielwiese
|
|
|
@1e94e6
|
6 years |
hannes |
opt: removed p_LmHead (-> p_LmInit)
fieker-DuValspielwiese
|
|
|
@127208
|
6 years |
hannes |
opt: p_Copy, p_Add_q, p_Delete with NULL arg(s)
fieker-DuValspielwiese
|
|
|
@1af34f
|
6 years |
karim23697 |
Fix bug in p_mLPshift
fieker-DuValspielwiese
|
|
|
@9a14a5
|
6 years |
hannes |
fix: siCntrlc handling in std
fieker-DuValspielwiese
|
|
|
@68df85
|
6 years |
hannes |
version 4.1.1, p1
fieker-DuValspielwiese
|
|
|
@86ff333
|
6 years |
hannes |
add: allow interrupt with partial results in std(bba+mora), removed ...
fieker-DuValspielwiese
|
|
|
@d47da1d
|
6 years |
hannes |
compiler warnings
fieker-DuValspielwiese
|
|
|
@117e00e
|
6 years |
hannes |
removed unused system includes, math.h ->cmath for .cc files
fieker-DuValspielwiese
|
|
|
@00c216
|
6 years |
hannes |
chg: use omalloc instead of malloc in GMPrat
fieker-DuValspielwiese
|
|
|
@e12c6c
|
6 years |
steenpass |
chg: introduce option use_cache for syFrank()
fieker-DuValspielwiese
|
|
|
@e7be12
|
6 years |
steenpass |
chg: restructure computeResolution()
fieker-DuValspielwiese
|
|
|
@eb2c7db
|
6 years |
steenpass |
chg: split computeResolution() up
fieker-DuValspielwiese
|
|
|
@40c7437
|
6 years |
steenpass |
chg: introduce option use_tensor_trick for syFrank()
fieker-DuValspielwiese
|
|
|
@867f21
|
6 years |
steenpass |
chg: add #define for tensor trick
fieker-DuValspielwiese
|
|
|
@c85a29
|
6 years |
steenpass |
fix: use check_variables() for second syzygy module
fieker-DuValspielwiese
|
|
|
@cdcbf3
|
7 years |
steenpass |
chg: delete unused variables
fieker-DuValspielwiese
|
|
|
@6bef24
|
6 years |
steenpass |
add: introduce new option "single module" for fres()
fieker-DuValspielwiese
|
|
|
@c78b59f
|
6 years |
steenpass |
fix: in fres(), sort terms of all non-zero modules
fieker-DuValspielwiese
|
|
|