PolyBoRi
|
Public Member Functions | |
HasTRepOrExtendedProductCriterion (GroebnerStrategy &strat, int j) | |
bool | operator() (const Monomial &m) |
bool | operator() (const Exponent &m) |
Public Attributes | |
GroebnerStrategy * | strat |
int | j |
polybori::groebner::HasTRepOrExtendedProductCriterion::HasTRepOrExtendedProductCriterion | ( | GroebnerStrategy & | strat, |
int | j | ||
) | [inline] |
bool polybori::groebner::HasTRepOrExtendedProductCriterion::operator() | ( | const Monomial & | m | ) | [inline] |
References strat, polybori::groebner::GroebnerStrategy::generators, polybori::groebner::ReductionStrategy::lm2Index, polybori::groebner::GroebnerStrategy::pairs, polybori::groebner::PairManager::status, polybori::groebner::PairStatusSet::hasTRep(), j, polybori::groebner::PairStatusSet::setToHasTRep(), and polybori::groebner::GroebnerStrategy::extendedProductCriterions.
bool polybori::groebner::HasTRepOrExtendedProductCriterion::operator() | ( | const Exponent & | m | ) | [inline] |
References strat, polybori::groebner::GroebnerStrategy::generators, polybori::groebner::ReductionStrategy::exp2Index, polybori::groebner::GroebnerStrategy::pairs, polybori::groebner::PairManager::status, polybori::groebner::PairStatusSet::hasTRep(), j, polybori::groebner::PairStatusSet::setToHasTRep(), and polybori::groebner::GroebnerStrategy::extendedProductCriterions.
Referenced by HasTRepOrExtendedProductCriterion(), and operator()().
Referenced by HasTRepOrExtendedProductCriterion(), and operator()().