PolyBoRi
|
This class defines HasTRepOrExtendedProductCriterion. More...
#include <HasTRepOrExtendedProductCriterion.h>
Public Member Functions | |
HasTRepOrExtendedProductCriterion (GroebnerStrategy &strat, int j) | |
bool | operator() (const Monomial &m) |
bool | operator() (const Exponent &m) |
Public Attributes | |
GroebnerStrategy * | strat |
int | j |
This class defines HasTRepOrExtendedProductCriterion.
|
inline |
|
inline |
References polybori::groebner::extended_product_criterion(), polybori::groebner::GroebnerStrategy::extendedProductCriterions, polybori::groebner::GroebnerStrategy::generators, polybori::groebner::PairStatusSet::hasTRep(), polybori::groebner::PolyEntryVector::index(), polybori::groebner::PairManagerFacade< StrategyType >::pairs, polybori::groebner::PairStatusSet::setToHasTRep(), and polybori::groebner::PairManager::status.
|
inline |
References polybori::groebner::extended_product_criterion(), polybori::groebner::GroebnerStrategy::extendedProductCriterions, polybori::groebner::GroebnerStrategy::generators, polybori::groebner::PairStatusSet::hasTRep(), polybori::groebner::PolyEntryVector::index(), polybori::groebner::PairManagerFacade< StrategyType >::pairs, polybori::groebner::PairStatusSet::setToHasTRep(), and polybori::groebner::PairManager::status.
int polybori::groebner::HasTRepOrExtendedProductCriterion::j |
GroebnerStrategy* polybori::groebner::HasTRepOrExtendedProductCriterion::strat |