|
|
@2c951e5
|
7 years |
hannes |
opt: canonicalize bucket in redNF
fieker-DuValspielwiese
|
|
|
@0091f5
|
7 years |
hannes |
fix: finalReduceByMon: in n_IntMod(A,B,C) B should be positive
fieker-DuValspielwiese
|
|
|
@0ee0b4
|
7 years |
hannes |
better option(teach) messages for redHoney
fieker-DuValspielwiese
|
|
|
@9d19c1
|
8 years |
hannes |
compiler warings: unused variables, parameters, functions
fieker-DuValspielwiese
|
|
|
@349e5e8
|
8 years |
hannes |
fix: overflow check in std, p2: kInterRed (and similiar): fix tr.#774
fieker-DuValspielwiese
|
|
|
@f26b42
|
8 years |
hannes |
fix: overflow check in std, p1: completeReduce
fieker-DuValspielwiese
|
|
|
@750069
|
8 years |
hannes |
Merge pull request #789 from adipopescu/Reduce_Bound
Reduce bound
fieker-DuValspielwiese
|
|
|
@06abb07
|
8 years |
hannes |
chg: n_...(...,ring) -> n_....(...,coeff) for better debugging
fieker-DuValspielwiese
|
|
|
@6c086a4
|
8 years |
adi_popescum |
fix: knfbound for ideal/modules, bound was put on the correct argument
fieker-DuValspielwiese
|
|
|
@674e1f
|
8 years |
adi_popescum |
fix: after pJet h war 0
fieker-DuValspielwiese
|
|
|
@70e6d91
|
8 years |
adi_popescum |
small bug
fieker-DuValspielwiese
|
|
|
@c2ef83
|
8 years |
adi_popescum |
add: reduce_bound in experimental in extra.cc
works like reduce ...
fieker-DuValspielwiese
|
|
|
@780c1b
|
8 years |
hannes |
format
fieker-DuValspielwiese
|
|
|
@7d1e80
|
8 years |
adi_popescum |
Christians sba fixed
fieker-DuValspielwiese
|
|
|
@d5d857
|
8 years |
adi_popescum |
add debug output to solve sba_s
fieker-DuValspielwiese
|
|
|
@cc94f7e
|
8 years |
adi_popescum |
Merge branch 'spielwiese' of github.com:Singular/Sources into SigDrop
...
fieker-DuValspielwiese
|
|
|
@e40da9f
|
8 years |
adi_popescum |
trying to fix Christian sba algorithm
fieker-DuValspielwiese
|
|
|
@f9b0bd
|
8 years |
hannes |
chg: Print -> PrintS, PrintLn if possible
fieker-DuValspielwiese
|
|
|
@7b9b8e5
|
8 years |
hannes |
fix: Werror -> WerrorS if possible
fieker-DuValspielwiese
|
|
|
@ef2729
|
8 years |
adi_popescum |
rep: #if ADIDEBUG with #ifdef ADIDEBUG
rem: wait in extra.cc
fieker-DuValspielwiese
|
|
|
@d249822
|
8 years |
adi_popescum |
rem: HAVE_RINGS in several places
fix: sba over Z_m
fieker-DuValspielwiese
|
|
|
@a63783
|
8 years |
adi_popescum |
fix: F5C over Rings
fieker-DuValspielwiese
|
|
|
@2268ed
|
8 years |
adi_popescum |
fix: segfault in postreducebymon/sig
fieker-DuValspielwiese
|
|
|
@7d2b89
|
8 years |
adi_popescum |
SBA looks good
fieker-DuValspielwiese
|
|
|
@459ec94
|
8 years |
adi_popescum |
add: sba gcd-pair replacement while reduction
fieker-DuValspielwiese
|
|
|
@042a24
|
8 years |
adi_popescum |
add: kSba, after some loops kStd
fieker-DuValspielwiese
|
|
|
@4c7632
|
8 years |
adi_popescum |
monoms first + cleanup
fieker-DuValspielwiese
|
|
|
@f7bea2
|
8 years |
adi_popescum |
...
fieker-DuValspielwiese
|
|
|
@11416e
|
8 years |
adi_popescum |
add: posInLSigRing
add: messageSba
fieker-DuValspielwiese
|
|
|
@d6e0c0
|
8 years |
adi_popescum |
Merge branch 'spielwiese' of github.com:Singular/Sources into SigDrop
...
fieker-DuValspielwiese
|
|
|
@b61d858
|
8 years |
adi_popescum |
Merge remote-tracking branch 'origin/spielwiese' into SigDrop
...
fieker-DuValspielwiese
|
|
|
@530cc55
|
8 years |
adi_popescum |
added All vs Just Strategies
fieker-DuValspielwiese
|
|
|
@e21795
|
8 years |
hannes |
moved rField_is_Ring out of loops
fieker-DuValspielwiese
|
|
|
@db0c2bd
|
8 years |
adi_popescum |
cleaned some code
fieker-DuValspielwiese
|
|
|
@bdebb8
|
8 years |
hannes |
fixes for GB over rings
- added needed HAVE_RINGS (to compile for ...
fieker-DuValspielwiese
|
|
|
@5efbf9
|
8 years |
adi_popescum |
add: posInL and T orderings for Ring case
added tests
Q: Is there a ...
fieker-DuValspielwiese
|
|
|
@6f203b
|
8 years |
hannes |
chg: clean strat-P before calling strat->s_poly (in bba)
fieker-DuValspielwiese
|
|
|
@e6f1e6
|
8 years |
hannes |
code cleanup: HAVE_RINGS is mostly not needed
fieker-DuValspielwiese
|
|
|
@f8fb93d
|
8 years |
hannes |
removed unused debug stuff from bba/mora
fieker-DuValspielwiese
|
|
|
@045cbe
|
8 years |
hannes |
doc: index "factorization" for primefactors
fieker-DuValspielwiese
|
|
|
@12655e
|
8 years |
hannes |
fix: clean p.lcm always (also for spoly 0)
fieker-DuValspielwiese
|
|
|
@375aba
|
8 years |
hannes |
chg: cleanup lcm before calling strat->s_poly
fieker-DuValspielwiese
|
|
|
@6402b5
|
8 years |
adi_popescum |
Faugere RewCrit fixed for sba
fieker-DuValspielwiese
|
|
|
@978a8c
|
8 years |
adi_popescum |
experimental. Check Faugere RewCrit and pDivideM, postreducebymon
fieker-DuValspielwiese
|
|
|
@f7d1fc
|
8 years |
adi_popescum |
another small redSig fix
fieker-DuValspielwiese
|
|
|
@094031
|
8 years |
adi_popescum |
first version that seems to work
trying to optimize it now
fieker-DuValspielwiese
|
|
|
@4cc32b2
|
8 years |
hannes |
initBba: removed unused parameter
fieker-DuValspielwiese
|
|
|
@7a38e1
|
9 years |
adi_popescum |
canceled: changed posinl11rings (it is worse)
add: debug output
fieker-DuValspielwiese
|
|
|
@fc58b5b
|
9 years |
hannes |
avoid copy in posInL11Ring/posInL11Ringls and format stuff
fieker-DuValspielwiese
|
|
|
@67e0dc
|
9 years |
hannes |
Merge pull request #718 from adipopescu/STDChanes2
Std over rings
fieker-DuValspielwiese
|
|
|
@f6db0d
|
9 years |
adi_popescum |
fix: tests
fieker-DuValspielwiese
|
|
|
@19a089f
|
9 years |
adi_popescum |
solved tests bugs.
fieker-DuValspielwiese
|
|
|
@033053
|
9 years |
adi_popescum |
fix: product and chain criterion are activated (thank you Christian)
fieker-DuValspielwiese
|
|
|
@ede2ad8
|
9 years |
hannes |
fix tr. #712: std(SB,I) does not allow crit3 because of the (wrong) ...
fieker-DuValspielwiese
|
|
|
@e9478b
|
9 years |
hannes |
format
fieker-DuValspielwiese
|
|
|
@35a23c9
|
9 years |
adi_popescum |
fix: std over Z tests with global ordering.
Still have to check the ...
fieker-DuValspielwiese
|
|
|
@d0e703d
|
9 years |
adi_popescum |
fix: misplaced ),} and endifs
fieker-DuValspielwiese
|
|
|
@22d119e
|
9 years |
adi_popescum |
fix: redRing
fieker-DuValspielwiese
|
|
|
@4d5a3e
|
9 years |
adi_popescum |
add: ADIDEBUG output in bba
fix: kFindDivisibleByInT and ...
fieker-DuValspielwiese
|
|
|
@80c072
|
9 years |
hannes |
optim. idLift(I,T): stop red as soon as L(p)>syzComp
fieker-DuValspielwiese
|
|
|
@9a871d
|
9 years |
Oleksandr |
Fixing kFindDivisibleByInT (for debuging build)
fieker-DuValspielwiese
|
|
|
@a576b0
|
9 years |
hannes |
optim. kFindDivisibleByInT
fieker-DuValspielwiese
|
|
|
@29fde9
|
9 years |
hannes |
typo
fieker-DuValspielwiese
|
|
|
@5cc43c5
|
9 years |
hannes |
use return value of strat->s_poly
fieker-DuValspielwiese
|
|
|
@8204ed
|
9 years |
hannes |
add s_poly_proc for bba/kStd
fieker-DuValspielwiese
|
|
|
@32ad2a
|
9 years |
hannes |
chg: signed/unsigned and long/int
fieker-DuValspielwiese
|
|
|
@c6ded3
|
9 years |
hannes |
renamed kNF with ring arg to k_NF
fieker-DuValspielwiese
|
|
|
@88615db
|
9 years |
quatermaster |
correct some spelling errors:
Correct spelling error as reported by ...
fieker-DuValspielwiese
|
|
|
@6a70f3
|
9 years |
hannes |
use standard names: int_number -> mpz_prt, NATNUMBER ->unsigned long
fieker-DuValspielwiese
|
|
|
@fea494
|
10 years |
hannes |
format
fieker-DuValspielwiese
|
|
|
@eb55f8a
|
10 years |
Oleksandr |
There should be no *Test in assume call (and no assume in *Test definition)
fieker-DuValspielwiese
|
|
|
@ab8e53d
|
10 years |
adi_popescum |
Qrings: - BugFix #559
- Added feature: constant in qring ...
fieker-DuValspielwiese
|
|
|
@4676d5
|
10 years |
Oleksandr |
Moved timer.*, feread.cc and febase.* from /kernel/ to /Singular/ ...
fieker-DuValspielwiese
|
|
|
@9f7665
|
10 years |
Oleksandr |
Removed HAVE_CONFIG guards
fix: fixed the inclusion of ...
fieker-DuValspielwiese
|
|
|
@57fa2c4
|
10 years |
adi_popescum |
Separating Headers kernel/GBEngine
fieker-DuValspielwiese
|
|
|
@4e8926
|
10 years |
adi_popescum |
Separating Sources kernel/GBEngine
fieker-DuValspielwiese
|