| LessCombinedManySizesInStrat(GroebnerStrategy &strat) | polybori::groebner::LessCombinedManySizesInStrat | [inline] |
| operator()(const Monomial &a, const Monomial &b) const | polybori::groebner::LessCombinedManySizesInStrat | [inline] |
| strat | polybori::groebner::LessCombinedManySizesInStrat |
1.5.6