|
|
@c858487
|
17 months |
chapoton |
fix many typos in kernel/
spielwiese
|
|
|
@ac5926
|
20 months |
hannes |
ksCheckCoeff: ring case: reduce(a,b): do not multiply a
spielwiese
|
|
|
@e12a8a
|
2 years |
hannes |
opt: no need for OPT_IDLIFT if red!=redLiftstd
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
|
|
|
@2e41b6d
|
3 years |
hannes |
use strat in kTest_L, kTest_T
spielwiese
|
|
|
@fc0fbf7
|
3 years |
hannes |
mora: use redEcart, posInT with ecart also, if noether!=NULL
spielwiese
|
|
|
@2398d9
|
3 years |
hannes |
mora: removed strta->HCord, always call HEckeTest
spielwiese
|
|
|
@a33602
|
3 years |
hannes |
renamed strat->kHEdgeFound -> strat->KAllAxis
spielwiese
|
|
|
@572022
|
3 years |
hannes |
opt: unify kHEdge and kNoether
spielwiese
|
|
|
@a79e40
|
3 years |
hannes |
HCpoly test
spielwiese
|
|
|
@cee170
|
3 years |
hannes |
opt: canonicalize buckets
spielwiese
|
|
|
@45cfb82
|
3 years |
hannes |
opt: canonicalize buckets
spielwiese
|
|
|
@182ac7
|
3 years |
hannes |
moved kutil.cc -> kstd2.cc: ind2, ind_fact_2, removed VANIDEAL RING2TOM
spielwiese
|
|
|
@d56a028
|
3 years |
hannes |
opt: GetpLength, static
spielwiese
|
|
|
@4c0fd3
|
3 years |
hannes |
fix: reduce for ring-cf != Z, Z/n
spielwiese
|
|
|
@9f5bec
|
3 years |
hannes |
add redLiftstd (liftstd with 2 args), idea by zickgraf
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
|
|
|
@897be4
|
3 years |
hannes |
fix: ksReducePOly, pContent
spielwiese
|
|
|
@a647f6c
|
4 years |
hannes |
introduce kverify.*
spielwiese
|
|
|
@94b41d
|
4 years |
karim23697 |
LP Z V1
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
|
|
|
@c82ac11
|
5 years |
hannes |
move freegb/rightgb to kstd1.h
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
|
|
|
@b849856
|
5 years |
karim23697 |
Merge branch 'spielwiese' into christmas-release
spielwiese
|
|
|
@db143c
|
5 years |
hannes |
integrate xalloc into omalloc (./configure --disable-omalloc)
spielwiese
|
|
|
@5f9cd3a
|
5 years |
karim23697 |
More efficient way to create pairs for LP rings
before, for each set ...
spielwiese
|
|
|
@b95a5f
|
5 years |
karim23697 |
Create entry points for rightGB
spielwiese
|
|
|
@15fbfe0
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
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
|
|
|
@9017bae
|
5 years |
Christian Eder |
merge with current spielwiese
spielwiese
|
|
|
@ab6ae3
|
6 years |
Christian Eder |
removes useless pairs directly from pairlist before replacing in L, S and T
spielwiese
|
|
|
@755d41
|
6 years |
Christian Eder |
adds special ksReducePoly function for Z: if the reducer consists of ...
spielwiese
|
|
|
@ac4ff44
|
6 years |
Christian Eder |
removes more useless code, fixes parameter handling of replacement function
spielwiese
|
|
|
@73b084
|
6 years |
hannes |
alignment
spielwiese
|
|
|
@3b1ebb
|
6 years |
Christian Eder |
adds declarations for new functions introduced in previous commits
spielwiese
|
|
|
@9ba49a
|
6 years |
karim23697 |
Add missing #define HAVE_SHIFTBBA
spielwiese
|
|
|
@21001b
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
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
|
|
|
@5116b54
|
6 years |
Christian Eder |
adds a pair lcm check in bba() if we are working over rings
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
|
|
|
@cee69a
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@7ddfab
|
6 years |
hannes |
LObject::CanonicalizeP/Normalize
spielwiese
|
|
|
@3e5610
|
6 years |
hannes |
simplify delete lcm to kDeleteLcm (GBEngine)
spielwiese
|
|
|
@c0632a4
|
6 years |
karim23697 |
the tail of shifted polys in T is now the tail of the unshifted poly
spielwiese
|
|
|
@216e12
|
6 years |
karim23697 |
Only add LM of shifts in T
spielwiese
|
|
|
@b00f8a
|
6 years |
karim23697 |
Remove all shrink calls. Remove uptodeg/lV parameters from almost all ...
spielwiese
|
|
|
@dc0f002
|
6 years |
karim23697 |
Clean ups
spielwiese
|
|
|
@f5850b
|
6 years |
karim23697 |
Adjusted bba to work with the new letterplace multiplication
spielwiese
|
|
|
@474f55c
|
6 years |
hannes |
xalloc: removed omallocClass: no need to wrap new/delete/..
spielwiese
|
|
|
@721195
|
7 years |
hannes |
opt: less memory in std
spielwiese
|
|
|
@39932b
|
7 years |
dimpase |
cast NULL to unsigned long explicitly
clang 5 gives ...
spielwiese
|
|
|
@ad53a8
|
7 years |
hannes |
chg: kFindDivisibleByInS -> kFindDivisibleByInS, kFindDivisibleByInS_T
spielwiese
|
|
|
@eeb59b7
|
7 years |
hannes |
code cleanup: redtail and related
spielwiese
|
|
|
@89f4843
|
7 years |
hannes |
use include ".." for singular related .h, p10, register ->REGISTER
spielwiese
|
|
|
@f4d581
|
7 years |
hannes |
chg: allocation in kutil.cc
spielwiese
|
|
|
@61145cc
|
7 years |
hannes |
constants: for sets T, L
spielwiese
|
|
|
@0d1a36
|
7 years |
hannes |
Revert "chg: unsigned for buckets and consequences"
This reverts ...
spielwiese
|
|
|
@a5db0e
|
7 years |
hannes |
chg: unsigned for buckets and consequences
spielwiese
|
|
|
@b18ea6
|
7 years |
hannes |
more static in kutil.cc
spielwiese
|
|
|
@1603fb
|
7 years |
hannes |
made enterOne... static in kutil.cc
spielwiese
|
|
|
@9d19c1
|
7 years |
hannes |
compiler warings: unused variables, parameters, functions
spielwiese
|
|
|
@4763e2
|
8 years |
hannes |
rename TObject_max to TObjec->max_exp
spielwiese
|
|
|
@7bb1ac
|
8 years |
hannes |
chg: remove trailing spaces
spielwiese
|
|
|
@c2ef83
|
8 years |
adi_popescum |
add: reduce_bound in experimental in extra.cc
works like reduce ...
spielwiese
|
|
|
@e1ccd67
|
8 years |
hannes |
removed LObject::CopyGetP
spielwiese
|
|
|
@780c1b
|
8 years |
hannes |
format
spielwiese
|
|
|
@e40da9f
|
8 years |
adi_popescum |
trying to fix Christian sba algorithm
spielwiese
|
|
|
@1798a0
|
8 years |
adi_popescum |
add: extended spolys for Zm with SBA
spielwiese
|
|
|
@a63783
|
8 years |
adi_popescum |
fix: F5C over Rings
spielwiese
|
|
|
@7d2b89
|
8 years |
adi_popescum |
SBA looks good
spielwiese
|
|
|
@459ec94
|
8 years |
adi_popescum |
add: sba gcd-pair replacement while reduction
spielwiese
|
|
|
@e07fa9
|
8 years |
adi_popescum |
add: posInIdealMonFirst
spielwiese
|
|
|
@2f028d
|
8 years |
adi_popescum |
add: posInSMonFirst
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
|
|
|
@e21795
|
8 years |
hannes |
moved rField_is_Ring out of loops
spielwiese
|
|
|
@a35d3d7
|
8 years |
hannes |
code cleanup: avoid local definition, use header
spielwiese
|
|
|
@5efbf9
|
8 years |
adi_popescum |
add: posInL and T orderings for Ring case
added tests
Q: Is there a ...
spielwiese
|
|
|
@978a8c
|
8 years |
adi_popescum |
experimental. Check Faugere RewCrit and pDivideM, postreducebymon
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
|
|
|
@ca0d3b5
|
8 years |
hannes |
simplified debug for facstd: now always via option(teach)
spielwiese
|
|
|
@67e0dc
|
8 years |
hannes |
Merge pull request #718 from adipopescu/STDChanes2
Std over rings
spielwiese
|
|
|
@d5a149
|
9 years |
adi_popescum |
tests and timings fixed.
add: in case of lex ordering and rings use ...
spielwiese
|
|
|
@2a4bc6e
|
9 years |
adi_popescum |
Add tests
spielwiese
|
|
|
@8a14df
|
9 years |
adi_popescum |
add: enterT_strong, used ine enteronestrongpair
spielwiese
|
|
|
@c1c2ccd
|
9 years |
adi_popescum |
Work with Anne
spielwiese
|
|
|