|
|
@cd4b3f
|
5 years |
levandov |
*levandov: before Sharwan makes changes: info
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
|
|
|
@fa0da5
|
6 years |
Christian Eder |
changes order in which strong and usual spolys are generated
spielwiese
|
|
|
@1170348
|
6 years |
Christian Eder |
adds spoly and strong spoly replacement functions for groebner basis ...
spielwiese
|
|
|
@6a90def
|
6 years |
Christian Eder |
adds gcd poly reduction step for groebner bases over Z
spielwiese
|
|
|
@d2565e
|
6 years |
Christian Eder |
adds tail reducer for the cutting down the coefficients of tail terms ...
spielwiese
|
|
|
@b596cf
|
6 years |
karim23697 |
Fix compile errors
spielwiese
|
|
|
@a509abb
|
6 years |
karim23697 |
Checkout kInline.h from spielwiese
spielwiese
|
|
|
@9ba49a
|
6 years |
karim23697 |
Add missing #define HAVE_SHIFTBBA
spielwiese
|
|
|
@3db016
|
6 years |
karim23697 |
Remove kernel dependency from libpolys and improve perfomance
spielwiese
|
|
|
@b8c732
|
6 years |
karim23697 |
Merge branch 'spielwiese' into new-letterplace-pair-set
spielwiese
|
|
|
@387f6b
|
6 years |
hannes |
Merge branch 'fix-posinT' of https://github.com/kabouzeid/Singular ...
spielwiese
|
|
|
@497eb3
|
6 years |
Christian Eder |
fixes example primdecZM from primdecint.lib
spielwiese
|
|
|
@15a55a5
|
6 years |
karim23697 |
New pairs
spielwiese
|
|
|
@c473b7
|
6 years |
hannes |
removed FLINT_CFLAGS, if unused
spielwiese
|
|
|
@25a7cf
|
6 years |
hannes |
removed NTL_CPPFLAGS, if unused
spielwiese
|
|
|
@cfce45f
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@6cc0f0
|
6 years |
hannes |
fix: allow strat->tail in kTest_L
spielwiese
|
|
|
@724361
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@220277f
|
6 years |
karim23697 |
Support components in letterplace kernel multiplication
spielwiese
|
|
|
@1eabfc
|
6 years |
hannes |
fix: kTest_L requires tailRing
spielwiese
|
|
|
@0b5677
|
6 years |
karim23697 |
Remove unused function
spielwiese
|
|
|
@85d7d3
|
6 years |
karim23697 |
Merge branch 'spielwiese' into letterplace_kernel_multiplication
spielwiese
|
|
|
@7d405ea
|
6 years |
Christian Eder |
optimization when generating new strong spairs can only be done if the ...
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
|
|
|
@96ece66
|
6 years |
Christian Eder |
fixes calls due to new calling conventions
spielwiese
|
|
|