|
|
@2574a6
|
5 years |
karim23697 |
Remove now unencessary code
spielwiese
|
|
|
@da5240
|
5 years |
karim23697 |
Enable lift() for Letterplace
spielwiese
|
|
|
@695288e
|
5 years |
hannes |
removed */NEWS,ChangeLog,AUTHORS
spielwiese
|
|
|
@9102bb
|
5 years |
hannes |
Merge pull request #944 from kabouzeid/lp_syzygies
Lp syzygies (work ...
spielwiese
|
|
|
@45b4e7
|
5 years |
hannes |
Singular-4.1.2p2: fix "make dist"
spielwiese
|
|
|
@26aa26
|
5 years |
hannes |
Singular-4.1.2p1
spielwiese
|
|
|
@ce45c3
|
5 years |
hannes |
fix: removed wrong assume (nlCopyMap for Q)
spielwiese
|
|
|
@f006a1
|
5 years |
karim23697 |
Syzygies via LPncGenCount ring variable
spielwiese
|
|
|
@dcddf9c
|
5 years |
karim.abou.zeid |
Letterplace syzygies
spielwiese
|
|
|
@cec9624
|
5 years |
hannes |
add: pp_DivideM, pp_Divide
spielwiese
|
|
|
@fbec29
|
5 years |
hannes |
comments
spielwiese
|
|
|
@b81f75
|
5 years |
hannes |
debug: better kTestTS
spielwiese
|
|
|
@1eb3ab
|
5 years |
hannes |
format
spielwiese
|
|
|
@66b71f6
|
5 years |
hannes |
fix: debug version
spielwiese
|
|
|
@f514ffb
|
5 years |
Christian Eder |
slightly optimized version
spielwiese
|
|
|
@beac9c6
|
5 years |
Christian Eder |
name changes and smaller optimizations
spielwiese
|
|
|
@6e28b0f
|
5 years |
Christian Eder |
removes testing macro
spielwiese
|
|
|
@6af701c
|
5 years |
Christian Eder |
adds coefficient reduction to mora normalform over rings
spielwiese
|
|
|
@90a512
|
5 years |
Christian Eder |
adds a first improved version for localized std over Z
spielwiese
|
|
|
@1505bd
|
5 years |
hannes |
change iiCallLibProcM -> ii_CallLibProcM
spielwiese
|
|
|
@6b29f27
|
5 years |
hannes |
add: print module weight in hilbert series
spielwiese
|
|
|
@341943
|
5 years |
hannes |
Revert "syz: handles/sets module weights"
This reverts commit ...
spielwiese
|
|
|
@f57305
|
5 years |
hannes |
syz: handles/sets module weights
spielwiese
|
|
|
@3f34dc
|
5 years |
hannes |
code cleanup: F5C (and tests for sba)
spielwiese
|
|
|
@8f9132
|
5 years |
hannes |
moved system("std_syz") to new module: partialGB(<module>,<int>)
spielwiese
|
|
|
@1edbe2f
|
5 years |
hannes |
format
spielwiese
|
|
|
@a14e9f
|
5 years |
hannes |
version number: 4.1.2
spielwiese
|
|
|
@1878b2a
|
5 years |
hannes |
add: maEvalAt
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
|
|
|
@37cbc2
|
5 years |
hannes |
fix: docu
spielwiese
|
|
|
@ea9bd5
|
5 years |
hannes |
add: p_DivRem
spielwiese
|
|
|
@6f436ce
|
5 years |
hannes |
typo/doc
spielwiese
|
|
|
@54b24c
|
5 years |
behrends |
Finalizing thread support.
spielwiese
|
|
|
@172d852
|
5 years |
hannes |
Merge pull request #906 from rbehrends/prelim-thread-rewrite
Singular ...
spielwiese
|
|
|
@a3f0fea
|
5 years |
behrends |
Modify variable declarions for pSingular.
spielwiese
|
|
|
@06264b
|
5 years |
quatermaster |
correct spelling errors as detected by lintian
Description: source ...
spielwiese
|
|
|
@1e00bf
|
5 years |
hannes |
cleanup
spielwiese
|
|
|
@1f92945
|
5 years |
hannes |
Merge branch 'christmas-release' of ...
spielwiese
|
|
|
@b1b525
|
5 years |
hannes |
4.1.1p4
spielwiese
|
|
|
@b849856
|
5 years |
karim23697 |
Merge branch 'spielwiese' into christmas-release
spielwiese
|
|
|
@db143c
|
5 years |
hannes |
integrate xalloc into omalloc (./configure --disable-omalloc)
spielwiese
|
|
|
@b79a7b
|
5 years |
karim23697 |
Fix assumes and better error messages
spielwiese
|
|
|
@dbee0b5
|
5 years |
karim23697 |
Fix a bug where a wrong shift is set. Also add some assumes so this ...
spielwiese
|
|
|
@552931
|
5 years |
karim23697 |
free fromQ
spielwiese
|
|
|
@0f9a66a
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
spielwiese
|
|
|
@97cdbb
|
5 years |
hannes |
simplifid includes (kernel/oswrapper/timer.cc)
spielwiese
|
|
|
@308e89
|
5 years |
karim23697 |
Pairs for rightGB
spielwiese
|
|
|
@0d8474c
|
5 years |
karim23697 |
Better debugging for pairs
spielwiese
|
|
|
@f4245d
|
5 years |
karim23697 |
More assumes for pairs
spielwiese
|
|
|
@b95359
|
5 years |
karim23697 |
Small fix
spielwiese
|
|
|
@5e2c0b
|
5 years |
karim23697 |
Merge branch 'spielwiese' into rightGB
spielwiese
|
|
|
@51846a
|
5 years |
karim23697 |
Fix possible zero GB in rare cases
spielwiese
|
|
|
@bdcd67
|
5 years |
hannes |
description of pIsConstantComp,pIsConstant, etc.
spielwiese
|
|
|
@bd3109
|
5 years |
karim23697 |
messageSets also shows if poly is from Q
spielwiese
|
|
|
@3673a86
|
5 years |
karim23697 |
Renamed itoInsert to p_mLPmaxPossibleShift. Also better performance ...
spielwiese
|
|
|
@5f9cd3a
|
5 years |
karim23697 |
More efficient way to create pairs for LP rings
before, for each set ...
spielwiese
|
|
|
@843f06
|
5 years |
karim23697 |
Don’t delete fromQ for rightGB
spielwiese
|
|
|
@58316de
|
5 years |
karim23697 |
Add debug output when a criterion is applied
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
|
6 years |
karim23697 |
reduce for lp rings
spielwiese
|
|
|
@38554b
|
5 years |
hannes |
add: poly / const. poly for LP-rings
spielwiese
|
|
|
@486d31
|
6 years |
hannes |
fix: lost LPring changes
spielwiese
|
|
|
@f2ba1e4
|
6 years |
Christian Eder |
fixes entering of strong polys for local monomial orders
spielwiese
|
|
|
@070ab6
|
6 years |
Christian Eder |
adds correct product criterion test for rings
spielwiese
|
|
|
@9017bae
|
6 years |
Christian Eder |
merge with current spielwiese
spielwiese
|
|
|
@e552b7
|
6 years |
hannes |
naMapPoly
spielwiese
|
|
|
@4ab28ee
|
6 years |
karim |
Warn when invalid letterplace polynom is printed
spielwiese
|
|
|
@acb37e6
|
6 years |
Christian Eder |
searches for the smallest possible gcd resp. lc when doing the special ...
spielwiese
|
|
|
@8b518b8
|
6 years |
Christian Eder |
fixes initialization of strong pairs over the integers
spielwiese
|
|
|
@818f44
|
6 years |
Christian Eder |
when replacing elements we still have to adde spairs even if the ...
spielwiese
|
|
|
@ea5feb2
|
6 years |
Christian Eder |
fixes check which and if an element from S needs to be replaced
spielwiese
|
|
|
@ab6ae3
|
6 years |
Christian Eder |
removes useless pairs directly from pairlist before replacing in L, S and T
spielwiese
|
|
|
@6c4143
|
6 years |
Christian Eder |
adds special handling of one-term-reductions over Z
spielwiese
|
|
|
@b2bceb6
|
6 years |
Christian Eder |
redTailbba only applied when the order is not local nor mixed
spielwiese
|
|
|
@755d41
|
6 years |
Christian Eder |
adds special ksReducePoly function for Z: if the reducer consists of ...
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
|
|
|
@a9ff57
|
6 years |
Christian Eder |
fixes replacemets in L, S and T
spielwiese
|
|
|
@73b084
|
6 years |
hannes |
alignment
spielwiese
|
|
|
@cb72d2
|
6 years |
hannes |
fix: missing HAVE_SHIFTBBA and rIsLPRing test
spielwiese
|
|
|
@3e7454
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@6e40759
|
6 years |
hannes |
fix: use r, not currRing in singclap_gcd
spielwiese
|
|
|
@e81563f
|
6 years |
Christian Eder |
fixes kTest_L calls
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
|
|
|
@3b1ebb
|
6 years |
Christian Eder |
adds declarations for new functions introduced in previous commits
spielwiese
|
|
|
@83f82e5
|
6 years |
Christian Eder |
adds replacement function for L, S, and T
spielwiese
|
|
|
@85fb25
|
6 years |
Christian Eder |
adds small comment on strange break command in loop due to coefficient ...
spielwiese
|
|
|
@dc3320
|
6 years |
Christian Eder |
adds a new tail reduction function for Z also cutting down tail ...
spielwiese
|
|
|