18 #ifndef BIGATTI_PIVOT_STRATEGY_GUARD
19 #define BIGATTI_PIVOT_STRATEGY_GUARD
50 static auto_ptr<BigattiPivotStrategy> createStrategy
51 (
const string& prefix,
bool widen);
bool operator==(const BigIntVector &a, const BigIntVector &b)
A BigattiPivotStrategy is an implementation of a pivot selection strategy for the Hilbert series algo...
virtual const Term & getPivot(BigattiState &state)=0
Returns the pivot of a pivot split of state.
virtual ~BigattiPivotStrategy()
virtual const char * getName() const =0
Returns the name of the strategy.
Term represents a product of variables which does not include a coefficient.