|
|
@d34308
|
6 years |
hannes |
fix: bug in syz (and std) over ZZ
fieker-DuValspielwiese
|
|
|
@84fbee
|
6 years |
levandov |
levandov: visual check for LP criterion in kutil and allowing module ...
fieker-DuValspielwiese
|
|
|
@a754194
|
6 years |
hannes |
fix: enterSBba
fieker-DuValspielwiese
|
|
|
@0ac548
|
6 years |
hannes |
opt: simplified enterSBba
fieker-DuValspielwiese
|
|
|
@86ff333
|
6 years |
hannes |
add: allow interrupt with partial results in std(bba+mora), removed ...
fieker-DuValspielwiese
|
|
|
@b866080
|
6 years |
hannes |
fix: free /shift algebra: use T.p instead of T.t_p
fieker-DuValspielwiese
|
|
|
@70d31a
|
6 years |
hannes |
fix: allow currRing==tailRing in cleanT
fieker-DuValspielwiese
|
|
|
@fdb4ba
|
6 years |
hannes |
format: make ctag happy
fieker-DuValspielwiese
|
|
|
@24bc73
|
6 years |
hannes |
remove pContent/p_Content from GBEmgine and related p1
fieker-DuValspielwiese
|
|
|
@0dcc85c
|
6 years |
hannes |
fix: poly/ring member in bbaShift, p1
fieker-DuValspielwiese
|
|
|
@470125b
|
7 years |
hannes |
fix: TObject::pLength
fieker-DuValspielwiese
|
|
|
@15d75cd
|
7 years |
hannes |
opt: handling on kNoether, kHEdge, short spoly (Lp.p) in strat
...
fieker-DuValspielwiese
|
|
|
@3d1222a
|
7 years |
hannes |
(p)p_Mult_nn: test args for 0,1, __(p)p_Mult_nn: no tests
fieker-DuValspielwiese
|
|
|
@ad53a8
|
7 years |
hannes |
chg: kFindDivisibleByInS -> kFindDivisibleByInS, kFindDivisibleByInS_T
fieker-DuValspielwiese
|
|
|
@eeb59b7
|
7 years |
hannes |
code cleanup: redtail and related
fieker-DuValspielwiese
|
|
|
@453679
|
7 years |
hannes |
fix: redefine
fieker-DuValspielwiese
|
|
|
@dcddf66
|
7 years |
hannes |
minor opt: p_GetComp -> __p_GetComp if there is a component
fieker-DuValspielwiese
|
|
|
@89f4843
|
7 years |
hannes |
use include ".." for singular related .h, p10, register ->REGISTER
fieker-DuValspielwiese
|
|
|
@b2ca85
|
7 years |
hannes |
use include ".." for singular related .h, p10
fieker-DuValspielwiese
|
|
|
@9de60a
|
7 years |
hannes |
chg: allocation in kutil.cc, p2
fieker-DuValspielwiese
|
|
|
@f4d581
|
7 years |
hannes |
chg: allocation in kutil.cc
fieker-DuValspielwiese
|
|
|
@17c315
|
7 years |
hannes |
p_Lcm -> p_polys.cc
fieker-DuValspielwiese
|
|
|
@c3ea367
|
7 years |
hannes |
code cleanup: enterOnePair*
fieker-DuValspielwiese
|
|
|
@54c80c
|
7 years |
hannes |
fix: bbaShift does not follwo all conventions, disable some Debug-Tests
fieker-DuValspielwiese
|
|
|
@b18ea6
|
7 years |
hannes |
more static in kutil.cc
fieker-DuValspielwiese
|
|
|
@1603fb
|
7 years |
hannes |
made enterOne... static in kutil.cc
fieker-DuValspielwiese
|
|
|
@112f6ef
|
7 years |
hannes |
minor opt: cancelunit
fieker-DuValspielwiese
|
|
|
@0091f5
|
7 years |
hannes |
fix: finalReduceByMon: in n_IntMod(A,B,C) B should be positive
fieker-DuValspielwiese
|
|
|
@90f715
|
7 years |
hannes |
change: use rRingOrder_t instead of int
fieker-DuValspielwiese
|
|
|
@9d19c1
|
8 years |
hannes |
compiler warings: unused variables, parameters, functions
fieker-DuValspielwiese
|
|
|
@dd940b
|
8 years |
hannes |
lcm: delete as monomial
fieker-DuValspielwiese
|
|
|
@4763e2
|
8 years |
hannes |
rename TObject_max to TObjec->max_exp
fieker-DuValspielwiese
|
|
|
@7bb1ac
|
8 years |
hannes |
chg: remove trailing spaces
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
|
|
|
@e11176
|
8 years |
adi_popescum |
forgot some debug output
fieker-DuValspielwiese
|
|
|
@c2ef83
|
8 years |
adi_popescum |
add: reduce_bound in experimental in extra.cc
works like reduce ...
fieker-DuValspielwiese
|
|
|
@c6a876
|
8 years |
hannes |
chg: format, minor opt.
fieker-DuValspielwiese
|
|
|
@9aab97
|
8 years |
adi_popescum |
memory leaks solved.
fieker-DuValspielwiese
|
|
|
@9005c8
|
8 years |
adi_popescum |
trying to solve memory leak
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
|
|
|
@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
|
|
|
@1798a0
|
8 years |
adi_popescum |
add: extended spolys for Zm with SBA
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
|
|
|
@f7bea2
|
8 years |
adi_popescum |
...
fieker-DuValspielwiese
|
|
|
@e07fa9
|
8 years |
adi_popescum |
add: posInIdealMonFirst
fieker-DuValspielwiese
|
|
|
@2f028d
|
8 years |
adi_popescum |
add: posInSMonFirst
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
|
|
|
@d3963a
|
8 years |
adi_popescum |
fix and activated: preIntegerCheck
fieker-DuValspielwiese
|
|
|
@e6f1e6
|
8 years |
hannes |
code cleanup: HAVE_RINGS is mostly not needed
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
|
|
|
@ae57df0
|
8 years |
adi_popescum |
redSig fix
fieker-DuValspielwiese
|
|
|
@094031
|
8 years |
adi_popescum |
first version that seems to work
trying to optimize it now
fieker-DuValspielwiese
|
|
|
@b8541d
|
8 years |
hannes |
format
fieker-DuValspielwiese
|
|
|
@86f1dc
|
8 years |
hannes |
fix: some assume violations in debug mode
fieker-DuValspielwiese
|
|
|
@ca0d3b5
|
9 years |
hannes |
simplified debug for facstd: now always via option(teach)
fieker-DuValspielwiese
|
|
|
@dd60cee
|
9 years |
hannes |
Merge pull request #729 from adipopescu/StdBugs
Fix: singular trac 747
fieker-DuValspielwiese
|
|
|
@d49439
|
9 years |
adi_popescum |
fix: singular trac 747
add: tests
danke Hans
fieker-DuValspielwiese
|
|
|
@2d223b
|
9 years |
adi_popescum |
funny stuff
fieker-DuValspielwiese
|
|
|
@42a81e
|
9 years |
hannes |
fix for version without HAVE_RINGS
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
|
|
|
@5d4fa4
|
9 years |
adi_popescum |
found problem: in posInL11Ring (and ls) i tested coeff not in abs value!!!
fieker-DuValspielwiese
|
|
|
@d5a149
|
9 years |
adi_popescum |
tests and timings fixed.
add: in case of lex ordering and rings use ...
fieker-DuValspielwiese
|
|
|
@f6db0d
|
9 years |
adi_popescum |
fix: tests
fieker-DuValspielwiese
|
|
|
@fb87b82
|
9 years |
adi_popescum |
partially fixed chainCrit over Rings
fieker-DuValspielwiese
|
|
|
@a07db8
|
9 years |
adi_popescum |
fixed Short/equi.._s.tst
fieker-DuValspielwiese
|
|
|
@2d265b
|
9 years |
adi_popescum |
Memory leak solved
fieker-DuValspielwiese
|
|
|
@879e4c
|
9 years |
adi_popescum |
memory still leaks
fieker-DuValspielwiese
|
|
|
@5fd2b1e
|
9 years |
adi_popescum |
add tests
fieker-DuValspielwiese
|
|
|
@2a4bc6e
|
9 years |
adi_popescum |
Add tests
fieker-DuValspielwiese
|
|
|
@19a089f
|
9 years |
adi_popescum |
solved tests bugs.
fieker-DuValspielwiese
|
|
|
@212806
|
9 years |
adi_popescum |
Yue's bug solved
fieker-DuValspielwiese
|
|
|
@c8523f
|
9 years |
adi_popescum |
Merge branch 'Anne' into STDChanges
fieker-DuValspielwiese
|
|
|
@5d9204
|
9 years |
adi_popescum |
update
fieker-DuValspielwiese
|
|
|
@8a14df
|
9 years |
adi_popescum |
add: enterT_strong, used ine enteronestrongpair
fieker-DuValspielwiese
|
|
|
@b4fbb8
|
9 years |
adi_popescum |
Anne's idea solved - now trying Yue's Bug
fieker-DuValspielwiese
|
|
|
@033053
|
9 years |
adi_popescum |
fix: product and chain criterion are activated (thank you Christian)
fieker-DuValspielwiese
|
|
|
@c1c2ccd
|
9 years |
adi_popescum |
Work with Anne
fieker-DuValspielwiese
|
|
|
@859d786
|
9 years |
hannes |
lost some debug messages for test(55)
fieker-DuValspielwiese
|
|
|
@ede2ad8
|
9 years |
hannes |
fix tr. #712: std(SB,I) does not allow crit3 because of the (wrong) ...
fieker-DuValspielwiese
|
|
|
@add269
|
9 years |
adi_popescum |
fix all tests
fieker-DuValspielwiese
|
|
|
@cfb769
|
9 years |
adi_popescum |
fix: kutil.cc
fieker-DuValspielwiese
|
|
|