Home
last modified time | relevance | path

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

/dports/math/singular/Singular-Release-4-2-1/kernel/GBEngine/
H A Dkutil.cc2480 unsigned long pSigMultNegSev,sSigMultNegSev; in enterOnePairSig() local
2515 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() local
2803 pSigMultNegSev = ~p_GetShortExpVector(pSigMult,currRing); in enterOnePairSigRing()
2914 if ( strat->syzCrit(pSigMult,pSigMultNegSev,strat) || in enterOnePairSigRing()
3008 Lp.sevSig = ~pSigMultNegSev; in enterOnePairSigRing()