16 #ifndef polybori_groebner_PairE_h_
17 #define polybori_groebner_PairE_h_
43 type(rhs.getType()), wlen(rhs.wlen), sugar(rhs.sugar),
44 data(rhs.data), lm(rhs.lm) {}
48 return data->extract(v);
52 wlen(v[i].weightedLength+v[j].weightedLength-2),
54 lm(v[i].leadExp+v[j].leadExp) {
55 sugar=lm.deg()+std::max(v[i].ecart(),v[j].ecart());
59 wlen(gen[i].weightedLength+gen[i].length),
67 if (gen[i].leadExp==gen[i].usedVariables)
69 if (gen[i].tailVariables.deg()<gen[i].deg)
78 lm(delayed.leadExp()) { }
87 return *
static_cast<const IJPairData*
>(data.get());