Home
last modified time | relevance | path

Searched refs:rewCrit1 (Results 1 – 3 of 3) sorted by relevance

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkstd1.cc2629 strat->rewCrit1 = arriRewDummy; in kSba()
2635 strat->rewCrit1 = faugereRewCriterion; in kSba()
2780 strat->rewCrit1 = arriRewDummy; in kSba()
2786 strat->rewCrit1 = faugereRewCriterion; in kSba()
H A Dkutil.h294 …BOOLEAN (*rewCrit1) (poly sig, unsigned long not_sevSig, poly lm, kStrategy strat, int start /*= 0… variable
H A Dkutil.cc2553 || strat->rewCrit1(sSigMult,sSigMultNegSev,Lp.lcm,strat,i+1) in enterOnePairSig()