|
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.
| polybori::groebner::HasTRepOrExtendedProductCriterion::HasTRepOrExtendedProductCriterion | ( | GroebnerStrategy & | strat, |
| int | j | ||
| ) | [inline] |
| bool polybori::groebner::HasTRepOrExtendedProductCriterion::operator() | ( | const Monomial & | m | ) | [inline] |
| bool polybori::groebner::HasTRepOrExtendedProductCriterion::operator() | ( | const Exponent & | m | ) | [inline] |
References polybori::groebner::extended_product_criterion().
1.8.0