|
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 |
|
inline |
|
inline |
References polybori::groebner::GroebnerStrategy::extendedProductCriterions, polybori::groebner::GroebnerStrategy::generators, polybori::groebner::PairStatusSet::hasTRep(), j, polybori::groebner::GroebnerStrategy::lm2Index, polybori::groebner::GroebnerStrategy::pairs, polybori::groebner::PairStatusSet::setToHasTRep(), polybori::groebner::PairManager::status, and strat.
|
inline |
References polybori::groebner::GroebnerStrategy::exp2Index, polybori::groebner::GroebnerStrategy::extendedProductCriterions, polybori::groebner::GroebnerStrategy::generators, polybori::groebner::PairStatusSet::hasTRep(), j, polybori::groebner::GroebnerStrategy::pairs, polybori::groebner::PairStatusSet::setToHasTRep(), polybori::groebner::PairManager::status, and strat.
| int polybori::groebner::HasTRepOrExtendedProductCriterion::j |
Referenced by HasTRepOrExtendedProductCriterion(), and operator()().
| GroebnerStrategy* polybori::groebner::HasTRepOrExtendedProductCriterion::strat |
Referenced by HasTRepOrExtendedProductCriterion(), and operator()().
1.8.1.2