17#ifndef HILBERT_BASECASE_GUARD
18#define HILBERT_BASECASE_GUARD
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
bool canSimplify(size_t var, const Ideal &ideal, const Term &counts)
vector< Ideal * > _idealCache
void computeCoefficient(Ideal &ideal)
void freeIdeal(auto_ptr< Ideal > ideal)
bool stepComputation(Entry &entry, Entry &newEntry)
size_t eliminate1Counts(Ideal &ideal, Term &counts, bool &negate)
auto_ptr< Ideal > getNewIdeal()
const mpz_class & getLastCoefficient()
ElementDeleter< vector< Ideal * > > _idealCacheDeleter
Represents a monomial ideal with int exponents.
Term represents a product of variables which does not include a coefficient.