|
|
@5116b54
|
6 years |
Christian Eder |
adds a pair lcm check in bba() if we are working over rings
spielwiese
|
|
|
@bf25df
|
6 years |
Christian Eder |
smaller optimization when checking for possible reducers over the integers
spielwiese
|
|
|
@1308eb
|
6 years |
Christian Eder |
fixes freeing of numbers allocated for integer divisibility checks on ...
spielwiese
|
|
|
@953f6b
|
6 years |
Christian Eder |
adds updated GB computations over the integers:
we generalize the ...
spielwiese
|
|
|
@6408aa
|
6 years |
hannes |
fix: more simplification for omalloc/xalloc
spielwiese
|
|
|
@e6cdad
|
6 years |
hannes |
use xalloc if omalloc is disabled
spielwiese
|
|
|
@353a42
|
6 years |
hannes |
chg: nCoeff_si_Ring_Z/rField_is_Ring_Z -> nCoeff_is_Z/rField_is_Z
spielwiese
|
|
|
@eb1f43
|
6 years |
hannes |
compiler warnings
spielwiese
|
|
|
@3e5610
|
6 years |
hannes |
simplify delete lcm to kDeleteLcm (GBEngine)
spielwiese
|
|
|
@d16f9c
|
6 years |
hannes |
fix: primdecint.lib::primdecZM
spielwiese
|
|
|
@d34308
|
6 years |
hannes |
fix: bug in syz (and std) over ZZ
spielwiese
|
|
|
@70a107
|
6 years |
hannes |
use of nc_..BucketRed/doc
spielwiese
|
|
|
@59b9fdb
|
6 years |
hannes |
opt: tgb.cc, kFindIn..
spielwiese
|
|
|
@9a14a5
|
6 years |
hannes |
fix: siCntrlc handling in std
spielwiese
|
|
|
@86ff333
|
6 years |
hannes |
add: allow interrupt with partial results in std(bba+mora), removed ...
spielwiese
|
|
|
@b866080
|
6 years |
hannes |
fix: free /shift algebra: use T.p instead of T.t_p
spielwiese
|
|
|
@411e158
|
6 years |
hannes |
fix: for freegb/shift algebra: force tailRing==currRing
spielwiese
|
|
|
@24bc73
|
6 years |
hannes |
remove pContent/p_Content from GBEmgine and related p1
spielwiese
|
|
|
@0dcc85c
|
6 years |
hannes |
fix: poly/ring member in bbaShift, p1
spielwiese
|
|
|
@cae182
|
6 years |
hannes |
fix: undo some letterplace changes: need p_Test
spielwiese
|
|
|
@a1d4a2
|
6 years |
hannes |
chg: no tailRing for freegb (LetterPlace)
spielwiese
|
|
|
@2cbd15
|
6 years |
hannes |
fix: memory leak in redHoney
spielwiese
|
|
|
@eafad1b
|
7 years |
hannes |
fix: more TObject::pLength stuff
spielwiese
|
|
|
@ea0d5e
|
7 years |
hannes |
chg: pGetExp -> p_GetExpV
spielwiese
|
|
|
@ad53a8
|
7 years |
hannes |
chg: kFindDivisibleByInS -> kFindDivisibleByInS, kFindDivisibleByInS_T
spielwiese
|
|
|
@dcddf66
|
7 years |
hannes |
minor opt: p_GetComp -> __p_GetComp if there is a component
spielwiese
|
|
|
@89f4843
|
7 years |
hannes |
use include ".." for singular related .h, p10, register ->REGISTER
spielwiese
|
|
|
@7d44dd
|
7 years |
hannes |
fix: letterplace stuff: position in S_2_R
spielwiese
|
|
|
@aacc4a
|
7 years |
hannes |
format
spielwiese
|
|
|
@a330f25
|
7 years |
hannes |
opt: REDNF_CANONICALIZE: 60
spielwiese
|
|
|
@2c951e5
|
7 years |
hannes |
opt: canonicalize bucket in redNF
spielwiese
|
|
|
@0091f5
|
7 years |
hannes |
fix: finalReduceByMon: in n_IntMod(A,B,C) B should be positive
spielwiese
|
|
|
@0ee0b4
|
7 years |
hannes |
better option(teach) messages for redHoney
spielwiese
|
|
|
@9d19c1
|
7 years |
hannes |
compiler warings: unused variables, parameters, functions
spielwiese
|
|
|
@349e5e8
|
8 years |
hannes |
fix: overflow check in std, p2: kInterRed (and similiar): fix tr.#774
spielwiese
|
|
|
@f26b42
|
8 years |
hannes |
fix: overflow check in std, p1: completeReduce
spielwiese
|
|
|
@750069
|
8 years |
hannes |
Merge pull request #789 from adipopescu/Reduce_Bound
Reduce bound
spielwiese
|
|
|
@06abb07
|
8 years |
hannes |
chg: n_...(...,ring) -> n_....(...,coeff) for better debugging
spielwiese
|
|
|
@6c086a4
|
8 years |
adi_popescum |
fix: knfbound for ideal/modules, bound was put on the correct argument
spielwiese
|
|
|
@674e1f
|
8 years |
adi_popescum |
fix: after pJet h war 0
spielwiese
|
|
|
@70e6d91
|
8 years |
adi_popescum |
small bug
spielwiese
|
|
|
@c2ef83
|
8 years |
adi_popescum |
add: reduce_bound in experimental in extra.cc
works like reduce ...
spielwiese
|
|
|
@780c1b
|
8 years |
hannes |
format
spielwiese
|
|
|
@7d1e80
|
8 years |
adi_popescum |
Christians sba fixed
spielwiese
|
|
|
@d5d857
|
8 years |
adi_popescum |
add debug output to solve sba_s
spielwiese
|
|
|
@cc94f7e
|
8 years |
adi_popescum |
Merge branch 'spielwiese' of github.com:Singular/Sources into SigDrop
...
spielwiese
|
|
|
@e40da9f
|
8 years |
adi_popescum |
trying to fix Christian sba algorithm
spielwiese
|
|
|
@f9b0bd
|
8 years |
hannes |
chg: Print -> PrintS, PrintLn if possible
spielwiese
|
|
|
@7b9b8e5
|
8 years |
hannes |
fix: Werror -> WerrorS if possible
spielwiese
|
|
|
@ef2729
|
8 years |
adi_popescum |
rep: #if ADIDEBUG with #ifdef ADIDEBUG
rem: wait in extra.cc
spielwiese
|
|
|
@d249822
|
8 years |
adi_popescum |
rem: HAVE_RINGS in several places
fix: sba over Z_m
spielwiese
|
|
|
@a63783
|
8 years |
adi_popescum |
fix: F5C over Rings
spielwiese
|
|
|
@2268ed
|
8 years |
adi_popescum |
fix: segfault in postreducebymon/sig
spielwiese
|
|
|
@7d2b89
|
8 years |
adi_popescum |
SBA looks good
spielwiese
|
|
|
@459ec94
|
8 years |
adi_popescum |
add: sba gcd-pair replacement while reduction
spielwiese
|
|
|
@042a24
|
8 years |
adi_popescum |
add: kSba, after some loops kStd
spielwiese
|
|
|
@4c7632
|
8 years |
adi_popescum |
monoms first + cleanup
spielwiese
|
|
|
@f7bea2
|
8 years |
adi_popescum |
...
spielwiese
|
|
|
@11416e
|
8 years |
adi_popescum |
add: posInLSigRing
add: messageSba
spielwiese
|
|
|
@d6e0c0
|
8 years |
adi_popescum |
Merge branch 'spielwiese' of github.com:Singular/Sources into SigDrop
...
spielwiese
|
|
|
@b61d858
|
8 years |
adi_popescum |
Merge remote-tracking branch 'origin/spielwiese' into SigDrop
...
spielwiese
|
|
|
@530cc55
|
8 years |
adi_popescum |
added All vs Just Strategies
spielwiese
|
|
|
@e21795
|
8 years |
hannes |
moved rField_is_Ring out of loops
spielwiese
|
|
|
@db0c2bd
|
8 years |
adi_popescum |
cleaned some code
spielwiese
|
|
|
@bdebb8
|
8 years |
hannes |
fixes for GB over rings
- added needed HAVE_RINGS (to compile for ...
spielwiese
|
|
|
@5efbf9
|
8 years |
adi_popescum |
add: posInL and T orderings for Ring case
added tests
Q: Is there a ...
spielwiese
|
|
|
@6f203b
|
8 years |
hannes |
chg: clean strat-P before calling strat->s_poly (in bba)
spielwiese
|
|
|
@e6f1e6
|
8 years |
hannes |
code cleanup: HAVE_RINGS is mostly not needed
spielwiese
|
|
|
@f8fb93d
|
8 years |
hannes |
removed unused debug stuff from bba/mora
spielwiese
|
|
|
@045cbe
|
8 years |
hannes |
doc: index "factorization" for primefactors
spielwiese
|
|
|
@12655e
|
8 years |
hannes |
fix: clean p.lcm always (also for spoly 0)
spielwiese
|
|
|
@375aba
|
8 years |
hannes |
chg: cleanup lcm before calling strat->s_poly
spielwiese
|
|
|
@6402b5
|
8 years |
adi_popescum |
Faugere RewCrit fixed for sba
spielwiese
|
|
|
@978a8c
|
8 years |
adi_popescum |
experimental. Check Faugere RewCrit and pDivideM, postreducebymon
spielwiese
|
|
|
@f7d1fc
|
8 years |
adi_popescum |
another small redSig fix
spielwiese
|
|
|
@094031
|
8 years |
adi_popescum |
first version that seems to work
trying to optimize it now
spielwiese
|
|
|
@4cc32b2
|
8 years |
hannes |
initBba: removed unused parameter
spielwiese
|
|
|
@7a38e1
|
9 years |
adi_popescum |
canceled: changed posinl11rings (it is worse)
add: debug output
spielwiese
|
|
|
@fc58b5b
|
9 years |
hannes |
avoid copy in posInL11Ring/posInL11Ringls and format stuff
spielwiese
|
|
|
@67e0dc
|
9 years |
hannes |
Merge pull request #718 from adipopescu/STDChanes2
Std over rings
spielwiese
|
|
|
@f6db0d
|
9 years |
adi_popescum |
fix: tests
spielwiese
|
|
|
@19a089f
|
9 years |
adi_popescum |
solved tests bugs.
spielwiese
|
|
|
@033053
|
9 years |
adi_popescum |
fix: product and chain criterion are activated (thank you Christian)
spielwiese
|
|
|
@ede2ad8
|
9 years |
hannes |
fix tr. #712: std(SB,I) does not allow crit3 because of the (wrong) ...
spielwiese
|
|
|
@e9478b
|
9 years |
hannes |
format
spielwiese
|
|
|
@35a23c9
|
9 years |
adi_popescum |
fix: std over Z tests with global ordering.
Still have to check the ...
spielwiese
|
|
|
@d0e703d
|
9 years |
adi_popescum |
fix: misplaced ),} and endifs
spielwiese
|
|
|
@22d119e
|
9 years |
adi_popescum |
fix: redRing
spielwiese
|
|
|
@4d5a3e
|
9 years |
adi_popescum |
add: ADIDEBUG output in bba
fix: kFindDivisibleByInT and ...
spielwiese
|
|
|
@80c072
|
9 years |
hannes |
optim. idLift(I,T): stop red as soon as L(p)>syzComp
spielwiese
|
|
|
@9a871d
|
9 years |
Oleksandr |
Fixing kFindDivisibleByInT (for debuging build)
spielwiese
|
|
|
@a576b0
|
9 years |
hannes |
optim. kFindDivisibleByInT
spielwiese
|
|
|
@29fde9
|
9 years |
hannes |
typo
spielwiese
|
|
|
@5cc43c5
|
9 years |
hannes |
use return value of strat->s_poly
spielwiese
|
|
|
@8204ed
|
9 years |
hannes |
add s_poly_proc for bba/kStd
spielwiese
|
|
|
@32ad2a
|
9 years |
hannes |
chg: signed/unsigned and long/int
spielwiese
|
|
|
@c6ded3
|
9 years |
hannes |
renamed kNF with ring arg to k_NF
spielwiese
|
|
|
@88615db
|
9 years |
quatermaster |
correct some spelling errors:
Correct spelling error as reported by ...
spielwiese
|
|
|
@6a70f3
|
9 years |
hannes |
use standard names: int_number -> mpz_prt, NATNUMBER ->unsigned long
spielwiese
|
|
|
@fea494
|
10 years |
hannes |
format
spielwiese
|
|
|