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