ChainVariableCriterion(const GroebnerStrategy &strat, int i, idx_type v) | polybori::groebner::ChainVariableCriterion | [inline] |
i | polybori::groebner::ChainVariableCriterion | |
operator()(const Exponent &lmExp) | polybori::groebner::ChainVariableCriterion | [inline] |
strat | polybori::groebner::ChainVariableCriterion | |
v | polybori::groebner::ChainVariableCriterion |