|
|
@651f6f
|
17 years |
hannes |
*hannes: fixed naming
git-svn-id: ...
spielwiese
|
|
|
@5a9e7b
|
17 years |
Oleksandr |
*motsak: rewritten non-commutative engine + sca support
git-svn-id: ...
spielwiese
|
|
|
@cb52da
|
17 years |
bricken |
*bricken: module -> eliminationProblem
git-svn-id: ...
spielwiese
|
|
|
@321283
|
17 years |
bricken |
+ further optimizations
git-svn-id: ...
spielwiese
|
|
|
@d64382
|
17 years |
bricken |
+ sugar for elimination length optimization
git-svn-id: ...
spielwiese
|
|
|
@6e08ad
|
17 years |
bricken |
+ improved initialization process
git-svn-id: ...
spielwiese
|
|
|
@5eccfaa
|
18 years |
bricken |
+ eliminated kFindDivisbleBy
git-svn-id: ...
spielwiese
|
|
|
@391323
|
18 years |
hannes |
*hannes: NF/redNF optimized
git-svn-id: ...
spielwiese
|
|
|
@efb860
|
18 years |
hannes |
*hannes: kFindDivisibleByInS improved
git-svn-id: ...
spielwiese
|
|
|
@880664
|
18 years |
bricken |
*bricken: closed memory leak
git-svn-id: ...
spielwiese
|
|
|
@ca4a891
|
18 years |
bricken |
*bricken: some int to wlen_type
git-svn-id: ...
spielwiese
|
|
|
@bfcd46
|
18 years |
bricken |
*bricken: improved block orderings
git-svn-id: ...
spielwiese
|
|
|
@2921f5
|
18 years |
bricken |
*bricken: improved block orderings
git-svn-id: ...
spielwiese
|
|
|
@df744f
|
18 years |
bricken |
+ more consequent usage of wlen_type
git-svn-id: ...
spielwiese
|
|
|
@9cf06bf
|
18 years |
bricken |
*bricken: more careful for int overflows in multipl. of length and ...
spielwiese
|
|
|
@4b7049
|
18 years |
bricken |
*bricken: std::vector<bool>
git-svn-id: ...
spielwiese
|
|
|
@d867521
|
18 years |
bricken |
*bricken: fixed bug in last checkin
git-svn-id: ...
spielwiese
|
|
|
@d76969
|
18 years |
bricken |
*bricken: fixed bug in last checkin
git-svn-id: ...
spielwiese
|
|
|
@893b89
|
18 years |
bricken |
*bricken: fix for last check in
git-svn-id: ...
spielwiese
|
|
|
@a60a21
|
18 years |
bricken |
*bricken: degbound, hopefully working
git-svn-id: ...
spielwiese
|
|
|
@c57134
|
18 years |
bricken |
*bricken: code clean up
git-svn-id: ...
spielwiese
|
|
|
@625767
|
18 years |
bricken |
* bricken: + syz_comp support
git-svn-id: ...
spielwiese
|
|
|
@8492cb9
|
18 years |
bricken |
*bricken: pair sorting/ different tail reduction strategy, which is ...
spielwiese
|
|
|
@070cdff
|
18 years |
hannes |
*bricken: assume fixed
git-svn-id: ...
spielwiese
|
|
|
@9e477a2
|
18 years |
bricken |
*bricken: totally removed evil code block
git-svn-id: ...
spielwiese
|
|
|
@deee7f
|
18 years |
bricken |
*bricken: always doubleSugar, be aware of caries
git-svn-id: ...
spielwiese
|
|
|
@0f2374
|
18 years |
bricken |
*bricken: less parameters for add_to_basis_ideal_quotient
...
spielwiese
|
|
|
@84b0a1b
|
18 years |
bricken |
*bricken: test ideal to be zero moved up
git-svn-id: ...
spielwiese
|
|
|
@31279e
|
18 years |
hannes |
*hannes: handle NULL in input
git-svn-id: ...
spielwiese
|
|
|
@2fd387d
|
18 years |
bricken |
*bricken: pair replace
git-svn-id: ...
spielwiese
|
|
|
@1c6ea1
|
18 years |
bricken |
*bricken: wlen_type fixing, COEF_STRAT, more efficient find monomials
...
spielwiese
|
|
|
@e65be8e
|
18 years |
bricken |
*bricken: exported pELength
git-svn-id: ...
spielwiese
|
|
|
@e9f4c9
|
18 years |
bricken |
*bricken: slim_nsize exported
git-svn-id: ...
spielwiese
|
|
|
@cae954
|
18 years |
bricken |
*bricken: reverted back, no idea, why this is was so slow
...
spielwiese
|
|
|
@bdabc8
|
18 years |
bricken |
*bricken: not to often test degbound
git-svn-id: ...
spielwiese
|
|
|
@5d9db9
|
18 years |
bricken |
*bricken: -continue
git-svn-id: ...
spielwiese
|
|
|
@e06fee
|
18 years |
bricken |
*bricken: don't add prod to pairs
git-svn-id: ...
spielwiese
|
|
|
@d367e9
|
18 years |
bricken |
*bricken: + degBound
git-svn-id: ...
spielwiese
|
|
|
@c481b8
|
18 years |
bricken |
*bricken: lastchange now only active at TGB_RESORT_PAIRS
git-svn-id: ...
spielwiese
|
|
|
@c72471
|
18 years |
bricken |
*bricken: resort pairs after b
git-svn-id: ...
spielwiese
|
|
|
@26914c
|
18 years |
bricken |
*bricken: support for boost::dynamic_bitset
git-svn-id: ...
spielwiese
|
|
|
@81131b7
|
18 years |
bricken |
*bricken: bug fix + enhancencement for b
git-svn-id: ...
spielwiese
|
|
|
@8f4e3f
|
18 years |
bricken |
*bricken: updated weighted length at b
git-svn-id: ...
spielwiese
|
|
|
@3ea446
|
18 years |
bricken |
*bricken: content pull out on delay
git-svn-id: ...
spielwiese
|
|
|
@5bf76c
|
18 years |
bricken |
*bricken: better log size
git-svn-id: ...
spielwiese
|
|
|
@113bb8
|
18 years |
bricken |
*bricken: removed status UNIMPORTANT, if modules break search here
...
spielwiese
|
|
|
@e32e26
|
18 years |
bricken |
*bricken: further optimized
git-svn-id: ...
spielwiese
|
|
|
@d20265
|
18 years |
bricken |
*bricken: further optimizations on choosing pairs
git-svn-id: ...
spielwiese
|
|
|
@4c80eb
|
18 years |
bricken |
*bricken: some optimizations
git-svn-id: ...
spielwiese
|
|
|
@839ec1
|
18 years |
bricken |
*bricken: bug fixes in last patches
git-svn-id: ...
spielwiese
|
|
|
@3ecd5f
|
18 years |
bricken |
*bricken: further improved pair handling
git-svn-id: ...
spielwiese
|
|
|
@6b4fbf7
|
18 years |
bricken |
*bricken: slimgb: pair handling
git-svn-id: ...
spielwiese
|
|
|
@e4e1c2a
|
18 years |
bricken |
*bricken: detab, - obsolete commented code
git-svn-id: ...
spielwiese
|
|
|
@ad6ad2
|
18 years |
bricken |
*bricken: removed obsolete code
git-svn-id: ...
spielwiese
|
|
|
@03f3269
|
18 years |
bricken |
*bricken: new features, using findmonomials, geometricGB
git-svn-id: ...
spielwiese
|
|
|
@b636f0
|
18 years |
bricken |
*bricken: possible to compile without HAVE_COEF_BUCKETS
git-svn-id: ...
spielwiese
|
|
|
@9ce72a
|
18 years |
bricken |
*bricken: activated simple content
git-svn-id: ...
spielwiese
|
|
|
@338edf
|
18 years |
bricken |
*bricken: deactivated SimpleContent
git-svn-id: ...
spielwiese
|
|
|
@718935
|
18 years |
bricken |
*bricken: simple content
git-svn-id: ...
spielwiese
|
|
|
@f0d1e8
|
18 years |
bricken |
*bricken: without vector
git-svn-id: ...
spielwiese
|
|
|
@44c2b1
|
18 years |
bricken |
*bricken: support for NoRedThrouth
git-svn-id: ...
spielwiese
|
|
|
@d2d842
|
18 years |
bricken |
*bricken: internal renaming
git-svn-id: ...
spielwiese
|
|
|
@9cd599
|
18 years |
bricken |
*bricken: wlen_type other than int should work now, bug fixes: = ...
spielwiese
|
|
|
@b17a5c
|
18 years |
bricken |
*bricken: better option(prot)
git-svn-id: ...
spielwiese
|
|
|
@c3e986
|
19 years |
hannes |
*hannes: fixed assume
git-svn-id: ...
spielwiese
|
|
|
@2bc80b
|
19 years |
hannes |
bricken: slimgb and modules
git-svn-id: ...
spielwiese
|
|
|
@ef0269
|
19 years |
hannes |
*hannes: code standards
git-svn-id: ...
spielwiese
|
|
|
@25061a
|
19 years |
bricken |
*bricken: generalized wlen type initial work
git-svn-id: ...
spielwiese
|
|
|
@6bcdc53
|
19 years |
hannes |
*hannes: wlen_type, some length optim.
git-svn-id: ...
spielwiese
|
|
|
@f3c849
|
19 years |
bricken |
*bricken: victory, death to all bugs
git-svn-id: ...
spielwiese
|
|
|
@2d8ce9
|
19 years |
bricken |
*bricken: patch for problem on Mac
git-svn-id: ...
spielwiese
|
|
|
@457bd50
|
19 years |
bricken |
*bricken: removed old assume
git-svn-id: ...
spielwiese
|
|
|
@56a6cc
|
19 years |
bricken |
*bricken: work on nc
git-svn-id: ...
spielwiese
|
|
|
@54e883b
|
19 years |
bricken |
*bricken: minus some output
git-svn-id: ...
spielwiese
|
|
|
@d491e3
|
19 years |
bricken |
*bricken: non commutative seems to work
git-svn-id: ...
spielwiese
|
|
|
@83f7ec
|
19 years |
bricken |
*bricken: + redSB option
git-svn-id: ...
spielwiese
|
|
|
@0516ab
|
19 years |
bricken |
*bricken: 1,5 sugar
git-svn-id: ...
spielwiese
|
|
|
@5f2720f
|
19 years |
bricken |
*bricken: corrected sugar in add_to_basis_ideal_quotient
git-svn-id: ...
spielwiese
|
|
|
@e1b6944
|
19 years |
bricken |
*bricken: F4 mode handled
git-svn-id: ...
spielwiese
|
|
|
@1821d6
|
19 years |
bricken |
*bricken: coef buckets now really supported, char 0 finer
...
spielwiese
|
|
|
@68ae61
|
19 years |
bricken |
*bricken: res managment in cons and destr of slim_alg
git-svn-id: ...
spielwiese
|
|
|
@e046042
|
19 years |
bricken |
*bricken: - c->rep
git-svn-id: ...
spielwiese
|
|
|
@48457f
|
19 years |
bricken |
*bricken: tail red only with slim polys with lenSw[i]<=2
git-svn-id: ...
spielwiese
|
|
|
@02e2f7
|
19 years |
bricken |
*bricken: works on modules, yeah
git-svn-id: ...
spielwiese
|
|
|
@9cbb7a3
|
19 years |
bricken |
*bricken: refactored
git-svn-id: ...
spielwiese
|
|
|
@09ab660
|
19 years |
bricken |
*bricken: - echo on prot
git-svn-id: ...
spielwiese
|
|
|
@518fb78
|
19 years |
bricken |
*bricken: cleaning
git-svn-id: ...
spielwiese
|
|
|
@b75d13
|
19 years |
bricken |
*bricken: externalized F4
git-svn-id: ...
spielwiese
|
|
|
@1577276
|
19 years |
bricken |
*bricken: moved code to tgb_obsolete.cc
git-svn-id: ...
spielwiese
|
|
|
@6d7605
|
19 years |
bricken |
*bricken: better reallocation strategy
git-svn-id: ...
spielwiese
|
|
|
@85eb7d
|
19 years |
bricken |
*bricken: cleaned
git-svn-id: ...
spielwiese
|
|
|
@65c4dc
|
19 years |
bricken |
*bricken: don't use add to basis any more
git-svn-id: ...
spielwiese
|
|
|
@27e091b
|
19 years |
bricken |
*bricken: - useless code
git-svn-id: ...
spielwiese
|
|
|
@bddc9d
|
19 years |
bricken |
*bricken: -shared bucket
git-svn-id: ...
spielwiese
|
|
|
@36b1aa
|
19 years |
bricken |
*bricken: - shared bucket
git-svn-id: ...
spielwiese
|
|
|
@6b9532
|
19 years |
bricken |
*bricken: cvs Id
git-svn-id: ...
spielwiese
|
|
|
@227a50
|
19 years |
bricken |
*bricken: removed qsort
git-svn-id: ...
spielwiese
|
|
|
@dd414d
|
19 years |
bricken |
*Ãbricken: qsort at the end for testing
git-svn-id: ...
spielwiese
|
|
|
@76b225
|
19 years |
bricken |
*bricken: don't omalloc 0 size, don't free NULL
git-svn-id: ...
spielwiese
|
|
|
@ec8a6b6
|
19 years |
hannes |
*hannes: om(re)alloc -> om(Re)Alloc MACROS
git-svn-id: ...
spielwiese
|
|
|