18 #ifndef HASH_POLYNOMIAL_GUARD 19 #define HASH_POLYNOMIAL_GUARD 46 void clearAndSetVarCount(
size_t varCount);
49 void add(
const mpz_class& coef,
const Term& term);
53 void add(
bool plus,
const Term& term);
57 bool inCanonicalOrder)
const;
59 size_t getTermCount()
const;
HashMap< Term, mpz_class > TermMap
size_t operator()(const Term &t) const
The purpose of this file is to provide a definition of a hash map whenever possible.
static size_t getHashCode(const Exponent *a, size_t varCount)
A sparse multivariate polynomial represented by a hash table mapping terms to coefficients.
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Term represents a product of variables which does not include a coefficient.