#include <groebner_alg.h>
Public Member Functions | |
LessWeightedLengthInStrat (const GroebnerStrategy &strat) | |
bool | operator() (const Monomial &a, const Monomial &b) |
bool | operator() (const Exponent &a, const Exponent &b) |
Public Attributes | |
const GroebnerStrategy * | strat |
LessWeightedLengthInStrat::LessWeightedLengthInStrat | ( | const GroebnerStrategy & | strat | ) | [inline] |
bool LessWeightedLengthInStrat::operator() | ( | const Exponent & | a, | |
const Exponent & | b | |||
) | [inline] |
References GroebnerStrategy::exp2Index, GroebnerStrategy::generators, and strat.
bool LessWeightedLengthInStrat::operator() | ( | const Monomial & | a, | |
const Monomial & | b | |||
) | [inline] |
References GroebnerStrategy::generators, GroebnerStrategy::lm2Index, and strat.
Referenced by operator()().