LessEcartThenLessWeightedLengthInStrat(const GroebnerStrategy &strat) | LessEcartThenLessWeightedLengthInStrat | [inline] |
operator()(const Monomial &a, const Monomial &b) | LessEcartThenLessWeightedLengthInStrat | [inline] |
operator()(const Exponent &a, const Exponent &b) | LessEcartThenLessWeightedLengthInStrat | [inline] |
strat | LessEcartThenLessWeightedLengthInStrat |