#include <IsEcart0Predicate.h>
Public Member Functions | |
| IsEcart0Predicate (const ReductionStrategy &strat) | |
| bool | operator() (const Exponent &e) |
| polybori::groebner::IsEcart0Predicate::IsEcart0Predicate | ( | const ReductionStrategy & | strat | ) | [inline] |
| bool polybori::groebner::IsEcart0Predicate::operator() | ( | const Exponent & | e | ) | [inline] |
1.5.6