Searched refs:sSigMultNegSev (Results 1 – 1 of 1) sorted by relevance
| /dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/ |
| H A D | kutil.cc | 2480 unsigned long pSigMultNegSev,sSigMultNegSev; in enterOnePairSig() local
2517 sSigMultNegSev = ~p_GetShortExpVector(sSigMult,currRing); in enterOnePairSig()
2552 strat->syzCrit(sSigMult,sSigMultNegSev,strat) in enterOnePairSig()
2553 || strat->rewCrit1(sSigMult,sSigMultNegSev,Lp.lcm,strat,i+1) in enterOnePairSig()
2637 Lp.sevSig = ~sSigMultNegSev; in enterOnePairSig()
2755 unsigned long pSigMultNegSev,sSigMultNegSev; in enterOnePairSigRing() local
2806 sSigMultNegSev = ~p_GetShortExpVector(sSigMult,currRing); in enterOnePairSigRing()
2915 strat->syzCrit(sSigMult,sSigMultNegSev,strat) in enterOnePairSigRing()
3015 Lp.sevSig = ~sSigMultNegSev; in enterOnePairSigRing()
|