17 #ifndef HILBERT_BASECASE_GUARD
18 #define HILBERT_BASECASE_GUARD
auto_ptr< Ideal > getNewIdeal()
void freeIdeal(auto_ptr< Ideal > ideal)
vector< Ideal * > _idealCache
bool stepComputation(Entry &entry, Entry &newEntry)
ElementDeleter< vector< Ideal * > > _idealCacheDeleter
Represents a monomial ideal with int exponents.
size_t eliminate1Counts(Ideal &ideal, Term &counts, bool &negate)
const mpz_class & getLastCoefficient()
void computeCoefficient(Ideal &ideal)
bool canSimplify(size_t var, const Ideal &ideal, const Term &counts)
Term represents a product of variables which does not include a coefficient.