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