12 #include <boost/shared_ptr.hpp>
44 void recomputeInformation();
61 return spoly(v[i].p,v[j].p);
112 return data->extract(v);
117 wlen(v[i].weightedLength+v[j].weightedLength-2)
120 sugar=lm.deg()+std::max(v[i].ecart(),v[j].ecart());
126 wlen(gen[i].weightedLength+gen[i].length),
137 sugar(delayed.deg()), wlen(delayed.eliminationLength()){
157 return data->extract(v);
161 lm(v[i].lmExp+v[j].lmExp),
162 wlen(v[i].weightedLength+v[j].weightedLength-2)
165 sugar=lm.deg()+std::max(v[i].ecart(),v[j].ecart());
171 wlen(gen[i].weightedLength+gen[i].length),
177 if (gen[i].lmExp==gen[i].usedVariables)
179 if (gen[i].tailVariables.deg()<gen[i].deg)
186 lm(delayed.leadExp()),
187 sugar(delayed.deg()), wlen(delayed.eliminationLength()){