16 #ifndef polybori_groebner_PairLS_h_
17 #define polybori_groebner_PairLS_h_
21 #include <boost/shared_ptr.hpp>
53 return data->extract(v);
56 wlen(v[i].weightedLength+v[j].weightedLength-2),
58 lm(v[i].lead*v[j].lead)
61 sugar=lm.deg()+std::max(v[i].ecart(),v[j].ecart());
65 wlen(gen[i].weightedLength+gen[i].length),
76 lm(delayed.lead()) { }