HasTRepOrExtendedProductCriterion(GroebnerStrategy &strat, int j) | polybori::groebner::HasTRepOrExtendedProductCriterion | [inline] |
j | polybori::groebner::HasTRepOrExtendedProductCriterion | |
operator()(const Monomial &m) | polybori::groebner::HasTRepOrExtendedProductCriterion | [inline] |
operator()(const Exponent &m) | polybori::groebner::HasTRepOrExtendedProductCriterion | [inline] |
strat | polybori::groebner::HasTRepOrExtendedProductCriterion |