source: git/kernel/GBEngine/kutil.cc

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @66805e   3 years hannes fix: assume for idLift spielwiese
(edit) @8ac0592   3 years hannes fix: not always in tailRing spielwiese
(edit) @a647f6c   3 years hannes introduce kverify.* spielwiese
(edit) @79b554   3 years hannes fix: do not call startNmz without writeNmzPaths() before spielwiese
(edit) @15c03f   3 years hannes opt: memory usage for freeAlgebra spielwiese
(edit) @4bde6b   4 years hannes spelling p1 spielwiese
(edit) @124970   4 years karim23697 Fix prod crit for modules in LP spielwiese
(edit) @b94a72   4 years hannes fix: Tst/Long/primdecint.tst, Tst/New/stdZtests.tst spielwiese
(edit) @f3be8e6   4 years hannes format, debug stuff spielwiese
(edit) @b45eec   4 years karim23697 Merge branch 'stable' into lp_Z spielwiese
(edit) @f3f526   4 years hannes compiler warning (undef lc) spielwiese
(edit) @9e03f3   4 years hannes Merge branch 'reduce_fix' of https://github.com/kabouzeid/Singular ... spielwiese
(edit) @bbc8837   4 years karim23697 Merge branch 'stable' into lp_Z spielwiese
(edit) @ed01f11   4 years karim23697 Fix letterplace reduce sometimes not working correctly spielwiese
(edit) @a17747   4 years hannes update kDebugPrint spielwiese
(edit) @bcb9176   4 years karim23697 More chain crit for Letterplace spielwiese
(edit) @b1bc24   4 years karim23697 Fix chain crit for Letterplace spielwiese
(edit) @08b6c4   4 years karim23697 Fix lpZ for qring spielwiese
(edit) @096b8ab   4 years karim23697 simplify initenterpairsShift for rings spielwiese
(edit) @c54406   4 years karim23697 Add assume warning for superenterpairs spielwiese
(edit) @05179c   4 years karim23697 Fix index in R incorrect spielwiese
(edit) @9a49dc   4 years karim23697 Fix crash because of k_SplitFrame spielwiese
(edit) @94b41d   4 years karim23697 LP Z V1 spielwiese
(edit) @fbec29   4 years hannes comments spielwiese
(edit) @b81f75   4 years hannes debug: better kTestTS spielwiese
(edit) @1edbe2f   5 years hannes format spielwiese
(edit) @a3f0fea   5 years behrends Modify variable declarions for pSingular. spielwiese
(edit) @552931   5 years karim23697 free fromQ spielwiese
(edit) @308e89   5 years karim23697 Pairs for rightGB spielwiese
(edit) @0d8474c   5 years karim23697 Better debugging for pairs spielwiese
(edit) @f4245d   5 years karim23697 More assumes for pairs spielwiese
(edit) @bd3109   5 years karim23697 messageSets also shows if poly is from Q spielwiese
(edit) @3673a86   5 years karim23697 Renamed itoInsert to p_mLPmaxPossibleShift. Also better performance ... spielwiese
(edit) @5f9cd3a   5 years karim23697 More efficient way to create pairs for LP rings before, for each set ... spielwiese
(edit) @843f06   5 years karim23697 Don’t delete fromQ for rightGB spielwiese
(edit) @58316de   5 years karim23697 Add debug output when a criterion is applied spielwiese
(edit) @15fbfe0   5 years karim23697 Merge branch 'spielwiese' into rightGB spielwiese
(edit) @5c51ab   5 years karim23697 Remove updateSShift spielwiese
(edit) @462eb9   5 years karim23697 Merge initBuchMoraShift into initBuchMora spielwiese
(edit) @52bcb9   5 years karim23697 reduce for lp rings spielwiese
(edit) @486d31   5 years hannes fix: lost LPring changes spielwiese
(edit) @f2ba1e4   5 years Christian Eder fixes entering of strong polys for local monomial orders spielwiese
(edit) @070ab6   5 years Christian Eder adds correct product criterion test for rings spielwiese
(edit) @9017bae   5 years Christian Eder merge with current spielwiese spielwiese
(edit) @4ab28ee   5 years karim Warn when invalid letterplace polynom is printed spielwiese
(edit) @8b518b8   5 years Christian Eder fixes initialization of strong pairs over the integers spielwiese
(edit) @818f44   5 years Christian Eder when replacing elements we still have to adde spairs even if the ... spielwiese
(edit) @ea5feb2   5 years Christian Eder fixes check which and if an element from S needs to be replaced spielwiese
(edit) @ab6ae3   5 years Christian Eder removes useless pairs directly from pairlist before replacing in L, S and T spielwiese
(edit) @ac4ff44   5 years Christian Eder removes more useless code, fixes parameter handling of replacement function spielwiese
(edit) @a9ff57   5 years Christian Eder fixes replacemets in L, S and T spielwiese
(edit) @cb72d2   5 years hannes fix: missing HAVE_SHIFTBBA and rIsLPRing test spielwiese
(edit) @e81563f   5 years Christian Eder fixes kTest_L calls spielwiese
(edit) @83f82e5   5 years Christian Eder adds replacement function for L, S, and T spielwiese
(edit) @85fb25   5 years Christian Eder adds small comment on strange break command in loop due to coefficient ... spielwiese
(edit) @dc3320   5 years Christian Eder adds a new tail reduction function for Z also cutting down tail ... spielwiese
(edit) @fa0da5   5 years Christian Eder changes order in which strong and usual spolys are generated spielwiese
(edit) @1170348   5 years Christian Eder adds spoly and strong spoly replacement functions for groebner basis ... spielwiese
(edit) @9ba49a   5 years karim23697 Add missing #define HAVE_SHIFTBBA spielwiese
(edit) @b8c732   5 years karim23697 Merge branch 'spielwiese' into new-letterplace-pair-set spielwiese
(edit) @387f6b   5 years hannes Merge branch 'fix-posinT' of https://github.com/kabouzeid/Singular ... spielwiese
(edit) @497eb3   5 years Christian Eder fixes example primdecZM from primdecint.lib spielwiese
(edit) @15a55a5   5 years karim23697 New pairs spielwiese
(edit) @cfce45f   5 years karim23697 Merge branch 'spielwiese' into letterplace_kernel_multiplication spielwiese
(edit) @6cc0f0   5 years hannes fix: allow strat->tail in kTest_L spielwiese
(edit) @724361   5 years karim23697 Merge branch 'spielwiese' into letterplace_kernel_multiplication spielwiese
(edit) @1eabfc   5 years hannes fix: kTest_L requires tailRing spielwiese
(edit) @85d7d3   5 years karim23697 Merge branch 'spielwiese' into letterplace_kernel_multiplication spielwiese
(edit) @7d405ea   5 years Christian Eder optimization when generating new strong spairs can only be done if the ... spielwiese
(edit) @ff4c0c1   5 years Christian Eder renaming of function for reduction over Z to fit to new naming convention spielwiese
(edit) @eece62   6 years Christian Eder adds correct product criterion check for usual s-pairs over rings spielwiese
(edit) @d3b5daa   6 years Christian Eder removes debug printout spielwiese
(edit) @5116b54   6 years Christian Eder adds a pair lcm check in bba() if we are working over rings spielwiese
(edit) @77acb8   6 years Christian Eder adds criteria for removing useless strong critical pairs when working ... spielwiese
(edit) @e6cdad   5 years hannes use xalloc if omalloc is disabled spielwiese
(edit) @5676fd   5 years karim23697 Add kMergeBintoL to initenterpairsShift as in initenterpairs spielwiese
(edit) @f7851f   5 years karim23697 Revert new tests spielwiese
(edit) @353a42   5 years hannes chg: nCoeff_si_Ring_Z/rField_is_Ring_Z -> nCoeff_is_Z/rField_is_Z spielwiese
(edit) @59b7cd   5 years karim23697 Apply changes from Hans spielwiese
(edit) @3d752a   5 years hannes debug helper: kTst_T, kTest_L, _nlDelete_NoImm spielwiese
(edit) @cee69a   5 years karim23697 Merge branch 'spielwiese' into letterplace_kernel_multiplication spielwiese
(edit) @73ca8f3   5 years hannes fix: possible out-of-bound in kCheckSpolyCreation spielwiese
(edit) @d9cbec2   5 years hannes opt: redSB/redTail for sba(id,p) spielwiese
(edit) @cebb98   5 years hannes opt: std(id,p) spielwiese
(edit) @3e5610   5 years hannes simplify delete lcm to kDeleteLcm (GBEngine) spielwiese
(edit) @7c8188b   5 years hannes fix: memory leak in std(x+y,x-y) in Z[x,y] spielwiese
(edit) @c0632a4   5 years karim23697 the tail of shifted polys in T is now the tail of the unshifted poly spielwiese
(edit) @fec0e69   5 years karim23697 Minimal performance improvement, also comes in handy for letterplace spielwiese
(edit) @216e12   5 years karim23697 Only add LM of shifts in T spielwiese
(edit) @8fdfee7   5 years karim23697 Fix a bug where S might not be completely reduced. Also make shiftBba ... spielwiese
(edit) @b00f8a   5 years karim23697 Remove all shrink calls. Remove uptodeg/lV parameters from almost all ... spielwiese
(edit) @d16f9c   6 years hannes fix: primdecint.lib::primdecZM spielwiese
(edit) @f066cc   6 years hannes typo in comment spielwiese
(edit) @d34308   6 years hannes fix: bug in syz (and std) over ZZ spielwiese
(edit) @84fbee   6 years levandov levandov: visual check for LP criterion in kutil and allowing module ... spielwiese
(edit) @a754194   6 years hannes fix: enterSBba spielwiese
(edit) @0ac548   6 years hannes opt: simplified enterSBba spielwiese
(edit) @86ff333   6 years hannes add: allow interrupt with partial results in std(bba+mora), removed ... spielwiese
(edit) @b866080   6 years hannes fix: free /shift algebra: use T.p instead of T.t_p spielwiese
(edit) @70d31a   6 years hannes fix: allow currRing==tailRing in cleanT spielwiese
Note: See TracRevisionLog for help on using the revision log.