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