16 #ifndef polybori_groebner_PolyEntryBase_h_
17 #define polybori_groebner_PolyEntryBase_h_
32 literal_factors(poly),
33 p(poly), lead(poly.ring()), weightedLength(),
34 length(poly.length()), deg(poly.deg()),
36 leadDeg(), leadExp(), gcdOfTerms(poly.ring()),
37 usedVariables(poly.usedVariablesExp()),
38 tailVariables(), tail(poly.ring()), minimal(true), vPairCalculated() {
40 lead = p.boundedLead(deg);
42 leadDeg = leadExp.deg();
45 weightedLength = length;