|
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
| polybori::groebner::ChainCriterion::ChainCriterion | ( | const GroebnerStrategy & | strat, |
| const int & | i, | ||
| const int & | j | ||
| ) | [inline] |
| bool polybori::groebner::ChainCriterion::operator() | ( | const Exponent & | lmExp | ) | [inline] |
| const GroebnerStrategy* polybori::groebner::ChainCriterion::strat |
1.7.6.1