|
|
@c57af60
|
17 months |
chapoton |
again fixing typos in kernel/
spielwiese
|
|
|
@c858487
|
17 months |
chapoton |
fix many typos in kernel/
spielwiese
|
|
|
@b97cce6
|
19 months |
hannes |
fix: redNF and related
spielwiese
|
|
|
@831548
|
19 months |
hannes |
fix: ksCheckCoeff, reduce for ring-cf
spielwiese
|
|
|
@658a2a
|
20 months |
hannes |
simplify kTestDivisibleByT0_Z (only called for eucledian rings)
spielwiese
|
|
|
@d0731c9
|
20 months |
hannes |
fix: stdZ for euclidean rings: allow QuotRem
spielwiese
|
|
|
@c7c2d4b88
|
20 months |
hannes |
fix: typo
spielwiese
|
|
|
@622e02
|
20 months |
hannes |
fix: kTestDivisibleByT0_Z: use nDivBy instead of n_QuotRem
spielwiese
|
|
|
@e12a8a
|
2 years |
hannes |
opt: no need for OPT_IDLIFT if red!=redLiftstd
spielwiese
|
|
|
@5ec9be
|
2 years |
hannes |
fix: memory leak in NF in LP case
spielwiese
|
|
|
@a795108
|
2 years |
hannes |
fix: memory leak for LP (enter*Pair*Shift)
spielwiese
|
|
|
@95b713
|
2 years |
hannes |
fix: memory leak for LP (kFindInL1, is_shifted_p1)
spielwiese
|
|
|
@ab2d99
|
2 years |
Christian Eder |
fix redRing_Z
spielwiese
|
|
|
@1adb76
|
3 years |
hannes |
use n_..(,cf) instead of n_..(,R)
spielwiese
|
|
|
@ec8bf0
|
3 years |
hannes |
ring-cf: OPT_INTSTRATEGY, pNorm, pCleardenom
spielwiese
|
|
|
@0d7851
|
3 years |
hannes |
ring-cf: do not use content/ cleardenom
spielwiese
|
|
|
@df10e6
|
3 years |
hannes |
fix: move sev comp. near enterT
spielwiese
|
|
|
@b0fe18
|
3 years |
hannes |
fix: set sev after spoly computation
spielwiese
|
|
|
@2e41b6d
|
3 years |
hannes |
use strat in kTest_L, kTest_T
spielwiese
|
|
|
@a73939
|
3 years |
hannes |
opt: redLazy, redHomog, redEcart
spielwiese
|
|
|
@cee170
|
3 years |
hannes |
opt: canonicalize buckets
spielwiese
|
|
|
@45cfb82
|
3 years |
hannes |
opt: canonicalize buckets
spielwiese
|
|
|
@502859
|
3 years |
hannes |
opt: CanonicalizeP
spielwiese
|
|
|
@182ac7
|
3 years |
hannes |
moved kutil.cc -> kstd2.cc: ind2, ind_fact_2, removed VANIDEAL RING2TOM
spielwiese
|
|
|
@18d3e9
|
3 years |
hannes |
opt: compute length only for OPT_LENGTH
spielwiese
|
|
|
@76f3202
|
3 years |
hannes |
redHoney, redHomog, redLazy
spielwiese
|
|
|
@385385f
|
3 years |
hannes |
opt: redHoney
spielwiese
|
|
|
@600ab7b
|
3 years |
hannes |
opt: red* routines
spielwiese
|
|
|
@4c0fd3
|
3 years |
hannes |
fix: reduce for ring-cf != Z, Z/n
spielwiese
|
|
|
@fe846e
|
3 years |
hannes |
P.pContent() -> P.pCleardenom()
spielwiese
|
|
|
@805315e
|
3 years |
hannes |
opt: idElimination, intro. V_IDELIM
spielwiese
|
|
|
@b5a454
|
3 years |
hannes |
Revert "GB stuff: removed strat->R, S_2_R, etc"
This reverts commit ...
spielwiese
|
|
|
@4ecc6fa
|
3 years |
hannes |
GB stuff: removed strat->R, S_2_R, etc
spielwiese
|
|
|
@7a985f
|
54 years |
(none) |
|
|
|
@036a5e
|
3 years |
hannes |
new ksReducePoly
spielwiese
|
|
|
@f6d848
|
3 years |
hannes |
redHomg/redLazy: buckets
spielwiese
|
|
|
@b94a72
|
4 years |
hannes |
fix: Tst/Long/primdecint.tst, Tst/New/stdZtests.tst
spielwiese
|
|
|
@b45eec
|
4 years |
karim23697 |
Merge branch 'stable' into lp_Z
spielwiese
|
|
|
@ef6df2
|
4 years |
hannes |
prepare for REDTAIL_SYZ in red* routines
spielwiese
|
|
|
@578c24
|
4 years |
hannes |
format
spielwiese
|
|
|
@23cf68
|
4 years |
hannes |
minor opt: TEST_REDTAIL_SYZ in redHoney
spielwiese
|
|
|
@dd56a1
|
4 years |
karim23697 |
Merge branch 'stable' into lp_Z
spielwiese
|
|
|
@0bb2274
|
4 years |
hannes |
improve liftstd, and tests
need to disable this for modulo, syz and ...
spielwiese
|
|
|
@8ae6241
|
4 years |
hannes |
Merge branch 'liftstd_optimization' of ...
spielwiese
|
|
|
@0bb946
|
4 years |
f.zickgraf |
Improve performance of liftstd
spielwiese
|
|
|
@94b41d
|
4 years |
karim23697 |
LP Z V1
spielwiese
|
|
|
@dcddf9c
|
5 years |
karim.abou.zeid |
Letterplace syzygies
spielwiese
|
|
|
@66b71f6
|
5 years |
hannes |
fix: debug version
spielwiese
|
|
|
@beac9c6
|
5 years |
Christian Eder |
name changes and smaller optimizations
spielwiese
|
|
|
@90a512
|
5 years |
Christian Eder |
adds a first improved version for localized std over Z
spielwiese
|
|
|
@5b3fec
|
5 years |
karim23697 |
Add rightstd(), and make std(), rightstd() and reduce() compatible ...
spielwiese
|
|
|
@a3f0fea
|
5 years |
behrends |
Modify variable declarions for pSingular.
spielwiese
|
|
|
@308e89
|
5 years |
karim23697 |
Pairs for rightGB
spielwiese
|
|
|
@b95a5f
|
5 years |
karim23697 |
Create entry points for rightGB
spielwiese
|
|
|
@15fbfe0
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
spielwiese
|
|
|
@48ef591
|
5 years |
hannes |
opt: Shdl is here always !=NULL (initSL)
spielwiese
|
|
|
@a1ffca6
|
5 years |
karim23697 |
Changes from Hans
spielwiese
|
|
|
@6b0b413
|
5 years |
karim23697 |
Fix probably unused case where enterT was missing
spielwiese
|
|
|
@5c51ab
|
5 years |
karim23697 |
Remove updateSShift
spielwiese
|
|
|
@462eb9
|
5 years |
karim23697 |
Merge initBuchMoraShift into initBuchMora
spielwiese
|
|
|
@52bcb9
|
5 years |
karim23697 |
reduce for lp rings
spielwiese
|
|
|
@486d31
|
5 years |
hannes |
fix: lost LPring changes
spielwiese
|
|
|
@9017bae
|
5 years |
Christian Eder |
merge with current spielwiese
spielwiese
|
|
|
@4ab28ee
|
5 years |
karim |
Warn when invalid letterplace polynom is printed
spielwiese
|
|
|
@acb37e6
|
5 years |
Christian Eder |
searches for the smallest possible gcd resp. lc when doing the special ...
spielwiese
|
|
|
@ab6ae3
|
6 years |
Christian Eder |
removes useless pairs directly from pairlist before replacing in L, S and T
spielwiese
|
|
|
@b2bceb6
|
6 years |
Christian Eder |
redTailbba only applied when the order is not local nor mixed
spielwiese
|
|
|
@194f799
|
6 years |
Christian Eder |
adds check for local or mixed ordering when applying special redtail ...
spielwiese
|
|
|
@6a0ad75
|
6 years |
hannes |
std now also for LP rings
spielwiese
|
|
|
@ac4ff44
|
6 years |
Christian Eder |
removes more useless code, fixes parameter handling of replacement function
spielwiese
|
|
|
@11b36d7
|
6 years |
Christian Eder |
removes debugging variable not defined any longer
spielwiese
|
|
|
@e34d7f
|
6 years |
Christian Eder |
adds new tail reduction function when computing over Z
spielwiese
|
|
|
@a75fc3
|
6 years |
Christian Eder |
adds new redring_Z implementation:
1. try to reduce the lead term of a ...
spielwiese
|
|
|
@98f4749
|
6 years |
Christian Eder |
uses locally defined ring r instead of currRing when searching for ...
spielwiese
|
|
|
@28ac7f
|
6 years |
Christian Eder |
adds function searching in T for element of the same leading monomial
spielwiese
|
|
|
@52076b
|
6 years |
hannes |
Merge branch 'letterplace_kernel_multiplication' of ...
spielwiese
|
|
|
@497eb3
|
6 years |
Christian Eder |
fixes example primdecZM from primdecint.lib
spielwiese
|
|
|
@724361
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@1eabfc
|
6 years |
hannes |
fix: kTest_L requires tailRing
spielwiese
|
|
|
@85d7d3
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@2c1877
|
6 years |
Christian Eder |
fixes calling convention for finding divisor in T set
spielwiese
|
|
|
@ff4c0c1
|
6 years |
Christian Eder |
renaming of function for reduction over Z to fit to new naming convention
spielwiese
|
|
|
@064683
|
6 years |
Christian Eder |
integer division test is now using newly implemented
quotient with ...
spielwiese
|
|
|
@eece62
|
6 years |
Christian Eder |
adds correct product criterion check for usual s-pairs over rings
spielwiese
|
|
|
@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
|
|
|
@cee69a
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@eb1f43
|
6 years |
hannes |
compiler warnings
spielwiese
|
|
|
@3e5610
|
6 years |
hannes |
simplify delete lcm to kDeleteLcm (GBEngine)
spielwiese
|
|
|
@216e12
|
6 years |
karim23697 |
Only add LM of shifts in T
spielwiese
|
|
|
@f42e9e
|
6 years |
karim23697 |
Break when error reported (copied from bba())
spielwiese
|
|
|
@abfdab
|
6 years |
karim23697 |
For now add initEcart again because we get a segfault otherwise. Need ...
spielwiese
|
|
|
@8fdfee7
|
6 years |
karim23697 |
Fix a bug where S might not be completely reduced. Also make shiftBba ...
spielwiese
|
|
|
@b00f8a
|
6 years |
karim23697 |
Remove all shrink calls. Remove uptodeg/lV parameters from almost all ...
spielwiese
|
|
|
@aa7c1c2
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|