|
PolyBoRi
|
Public Member Functions | |
| ChainVariableCriterion (const GroebnerStrategy &strat, int i, idx_type v) | |
| bool | operator() (const Exponent &lmExp) |
Public Attributes | |
| const GroebnerStrategy * | strat |
| connect via pairs | |
| int | i |
| idx_type | v |
| polybori::groebner::ChainVariableCriterion::ChainVariableCriterion | ( | const GroebnerStrategy & | strat, |
| int | i, | ||
| idx_type | v | ||
| ) | [inline] |
| bool polybori::groebner::ChainVariableCriterion::operator() | ( | const Exponent & | lmExp | ) | [inline] |
| const GroebnerStrategy* polybori::groebner::ChainVariableCriterion::strat |
connect via pairs
1.7.6.1