|
|
@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
|
|
|
@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
|
|
|
@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
|
|
|
@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
|
|
|
@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
|
|
|
@891f0e
|
6 years |
hannes |
fix: make check for static builds
fieker-DuValspielwiese
|
|
|
@caf8c6
|
6 years |
hannes |
chg: HAVE_ASSUME -> !SING_NDEBUG
fieker-DuValspielwiese
|
|
|
@bd0e07
|
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
|
|
|
@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
|
|
|
@86ff333
|
6 years |
hannes |
add: allow interrupt with partial results in std(bba+mora), removed ...
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
|
|
|
@f8aa89
|
6 years |
hannes |
fix: printing a resolution not minimzed cached this even if it will ...
fieker-DuValspielwiese
|
|
|
@b866080
|
6 years |
hannes |
fix: free /shift algebra: use T.p instead of T.t_p
fieker-DuValspielwiese
|
|
|
@270ac9
|
6 years |
hannes |
compiler warnings
fieker-DuValspielwiese
|
|
|
@411e158
|
6 years |
hannes |
fix: for freegb/shift algebra: force tailRing==currRing
fieker-DuValspielwiese
|
|
|
@70d31a
|
6 years |
hannes |
fix: allow currRing==tailRing in cleanT
fieker-DuValspielwiese
|
|
|
@d8e160c
|
6 years |
hannes |
format: make ctag happy
fieker-DuValspielwiese
|
|
|
@fdb4ba
|
6 years |
hannes |
format: make ctag happy
fieker-DuValspielwiese
|
|
|
@c5898b
|
6 years |
hannes |
chg: pLPshift ->p_LPshift
fieker-DuValspielwiese
|
|
|
@df63e69
|
6 years |
hannes |
chg: pContent/p_Content -> p_Cleardenom, ...
fieker-DuValspielwiese
|
|
|
@24bc73
|
6 years |
hannes |
remove pContent/p_Content from GBEmgine and related p1
fieker-DuValspielwiese
|
|
|
@507a20
|
6 years |
steenpass |
chg: write comments
fieker-DuValspielwiese
|
|
|
@ca70ff
|
6 years |
steenpass |
chg: use unsigend long for component
fieker-DuValspielwiese
|
|
|
@58e128
|
6 years |
steenpass |
chg: do not normalize input
fieker-DuValspielwiese
|
|
|
@5a69d1
|
7 years |
steenpass |
chg: replace iterator by const_iterator
fieker-DuValspielwiese
|
|
|
@85cb4f
|
7 years |
steenpass |
chg: remove if statement in reduce_term
fieker-DuValspielwiese
|
|
|
@0dc033e
|
6 years |
steenpass |
chg: replace lts_vector by lt_struct[]
fieker-DuValspielwiese
|
|
|
@1d79ec
|
7 years |
steenpass |
chg: replace lts_hash by lts_vector[]
fieker-DuValspielwiese
|
|
|
@3d0ce7
|
7 years |
steenpass |
chg: fix omfree() in computeFrame()
fieker-DuValspielwiese
|
|
|
@74f68b
|
7 years |
steenpass |
chg: remove function remove_tails()
fieker-DuValspielwiese
|
|
|
@461a94
|
7 years |
steenpass |
chg: transfer #define (un)likely to auxiliary.h
fieker-DuValspielwiese
|
|
|
@d985fde
|
7 years |
steenpass |
chg: make comp in lt_struct unsigned long
fieker-DuValspielwiese
|
|
|
@e77ba7
|
7 years |
steenpass |
chg: remove variable comp in initialize_lts_hash()
fieker-DuValspielwiese
|
|
|
@e15211
|
7 years |
steenpass |
chg: use constant values for constant index in computeResolution()
fieker-DuValspielwiese
|
|
|
@ec80dd9
|
7 years |
steenpass |
chg: replace IDELEMS(.) by .->ncols
fieker-DuValspielwiese
|
|
|
@171560
|
7 years |
steenpass |
chg: replace pGetComp() by __p_GetComp()
fieker-DuValspielwiese
|
|
|
@9b5d065
|
7 years |
steenpass |
chg: fix data types in compare functions
fieker-DuValspielwiese
|
|
|
@8b195d
|
7 years |
steenpass |
chg: use const in declaration of syFrank()
fieker-DuValspielwiese
|
|
|
@bd699b
|
7 years |
steenpass |
chg: remove unnecessary if branch in id_DelDiv_no_test()
fieker-DuValspielwiese
|
|
|
@d46597
|
7 years |
steenpass |
chg: remove if statement from insert_into_cache_term()
fieker-DuValspielwiese
|
|
|
@afaa70
|
7 years |
steenpass |
chg: add more likely/unlikely
fieker-DuValspielwiese
|
|
|
@971a80
|
7 years |
steenpass |
chg: unify usage of const
fieker-DuValspielwiese
|
|
|
@fe5c34
|
7 years |
steenpass |
chg: remove inline keyword from reduce_term()
fieker-DuValspielwiese
|
|
|
@01d32c
|
7 years |
steenpass |
chg: make find_reducer static
fieker-DuValspielwiese
|
|
|
@58afc6
|
7 years |
steenpass |
fix: normalize and denormalize input
fieker-DuValspielwiese
|
|
|