Searched refs:newelim (Results 1 – 1 of 1) sorted by relevance
7579 vecteur newelim; in _eliminate() local7582 newelim.push_back(elim[i]); in _eliminate()7585 if (newelim.empty()) in _eliminate()7587 gen res=_eliminate(makesequence(neweq,newelim,at_resultant),contextptr); in _eliminate()