Searched refs:pSigMultNegSev (Results 1 – 1 of 1) sorted by relevance
2480 unsigned long pSigMultNegSev,sSigMultNegSev; in enterOnePairSig() local2515 pSigMultNegSev = ~p_GetShortExpVector(pSigMult,currRing); in enterOnePairSig()2551 if ( strat->syzCrit(pSigMult,pSigMultNegSev,strat) || in enterOnePairSig()2630 Lp.sevSig = ~pSigMultNegSev; in enterOnePairSig()2755 unsigned long pSigMultNegSev,sSigMultNegSev; in enterOnePairSigRing() local2803 pSigMultNegSev = ~p_GetShortExpVector(pSigMult,currRing); in enterOnePairSigRing()2914 if ( strat->syzCrit(pSigMult,pSigMultNegSev,strat) || in enterOnePairSigRing()3008 Lp.sevSig = ~pSigMultNegSev; in enterOnePairSigRing()