PolyBoRi
|
assumes that divisibility condition is fullfilled More...
Public Member Functions | |
ChainCriterion (const GroebnerStrategy &strat, const int &i, const int &j) | |
bool | operator() (const Exponent &lmExp) |
Public Attributes | |
const GroebnerStrategy * | strat |
int | i |
int | j |
assumes that divisibility condition is fullfilled
|
inline |
|
inline |
int polybori::groebner::ChainCriterion::i |
Referenced by ChainCriterion(), and operator()().
int polybori::groebner::ChainCriterion::j |
Referenced by ChainCriterion(), and operator()().
const GroebnerStrategy* polybori::groebner::ChainCriterion::strat |
Referenced by ChainCriterion(), and operator()().