46 inline void setDel(
bool d);
structure of RuleOlds(i.e.
void setTestedRuleOld(RuleOld *r)
class of labeled polynomials
RuleOld(int i, poly term)
LPolyOld(poly t, int i, poly p, RuleOld *r=NULL)
void setRuleOld(RuleOld *r)
CPairOld(long degree, poly term1, LPolyOld *LPolyOld1, poly term2, LPolyOld *LPolyOld2, bool useless, RuleOld *r=NULL)
void set(poly t, int i, poly p, RuleOld *r)
RuleOld * getTestedRuleOld()
structure of labeled critical pairs