Searched refs:redSi (Results 1 – 1 of 1) sorted by relevance
8792 poly redSi=NULL; in updateS() local8815 redSi = pHead(strat->S[i]); in updateS()8819 if (pCmp(redSi,strat->S[i])!=0) in updateS()8827 wrp(redSi);PrintS(" to ");p_wrp(strat->S[i], currRing, strat->tailRing);PrintLn(); in updateS()8839 pLmDelete(&redSi); in updateS()8924 redSi=pHead((strat->S)[i]); in updateS()8931 else if (pCmp((strat->S)[i],redSi)!=0) in updateS()8964 pLmDelete(&redSi); in updateS()