Changeset 4f8fd1d in git for kernel/GBEngine/kutil.cc
- Timestamp:
- Nov 14, 2022, 10:53:35 AM (17 months ago)
- Branches:
- (u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
- Children:
- 569754d2a9ccf1842ac61e82c0dfb411f5bb9a97
- Parents:
- 317c1453d644836d66288dc2a633068067f64ab7
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
kernel/GBEngine/kutil.cc
r317c14 r4f8fd1d 2248 2248 *(this canceling should be done here because 2249 2249 *the case lcm(s,p) == lcm(s,r) is not covered in chainCrit) 2250 *the first case is hand eled in chainCrit2250 *the first case is handled in chainCrit 2251 2251 */ 2252 2252 if (Lp.lcm!=NULL) pLmFree(Lp.lcm); … … 2479 2479 *(this canceling should be done here because 2480 2480 *the case lcm(s,p) == lcm(s,r) is not covered in chainCrit) 2481 *the first case is hand eled in chainCrit2481 *the first case is handled in chainCrit 2482 2482 */ 2483 2483 if (Lp.lcm!=NULL) pLmFree(Lp.lcm); … … 2933 2933 if(pSigMult != NULL && sSigMult != NULL && p_LmCmp(pSigMult,sSigMult,currRing) == 0) 2934 2934 { 2935 //Same lm, have to sub stract2935 //Same lm, have to subtract 2936 2936 Lp.sig = p_Sub(pCopy(pSigMult),pCopy(sSigMult),currRing); 2937 2937 } … … 4692 4692 else 4693 4693 */ 4694 // #endif // ??? Why was the following cancel ation disabled for non-commutative rings?4694 // #endif // ??? Why was the following cancellation disabled for non-commutative rings? 4695 4695 { 4696 4696 j=pos; … … 6100 6100 * to the ordering-procedure pLmCmp,totaldegree,coefficient 6101 6101 * For the same totaldegree, original pairs (from F) will 6102 * be put at the end and smalles coefficents6102 * be put at the end and smallest coefficients 6103 6103 */ 6104 6104 int posInL11Ring (const LSet set, const int length, … … 9741 9741 9742 9742 //if the ordering is local, then hilb criterion 9743 //can be used also if the ideal is not homogen ous9743 //can be used also if the ideal is not homogeneous 9744 9744 if((rHasLocalOrMixedOrdering(currRing)) && (rHasMixedOrdering(currRing)==FALSE)) 9745 9745 { … … 9785 9785 if (TEST_OPT_NOT_SUGAR) strat->honey = FALSE; 9786 9786 strat->pairtest = NULL; 9787 /* alway use tailreduction, except:9787 /* always use tailreduction, except: 9788 9788 * - in local rings, - in lex order case, -in ring over extensions */ 9789 9789 strat->noTailReduction = !TEST_OPT_REDTAIL; … … 9859 9859 if (TEST_OPT_NOT_SUGAR) strat->honey = FALSE; 9860 9860 strat->pairtest = NULL; 9861 /* alway use tailreduction, except:9861 /* always use tailreduction, except: 9862 9862 * - in local rings, - in lex order case, -in ring over extensions */ 9863 9863 strat->noTailReduction = !TEST_OPT_REDTAIL; … … 12918 12918 *(this canceling should be done here because 12919 12919 *the case lcm(s,p) == lcm(s,r) is not covered in chainCrit) 12920 *the first case is hand eled in chainCrit12920 *the first case is handled in chainCrit 12921 12921 */ 12922 12922 if (Lp.lcm!=NULL) pLmFree(Lp.lcm); … … 13368 13368 || (pGetComp(strat->S[j])==0)) 13369 13369 { 13370 assume(isFromQ == 0); // this case is not hand eled here and should also never happen13370 assume(isFromQ == 0); // this case is not handled here and should also never happen 13371 13371 poly s = strat->S[j]; 13372 13372 if (strat->fromQ != NULL && strat->fromQ[j])
Note: See TracChangeset
for help on using the changeset viewer.