17#ifndef POLYNOMIAL_GUARD
18#define POLYNOMIAL_GUARD
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
void clearAndSetVarCount(size_t varCount)
size_t getTermCount() const
size_t getVarCount() const
const Term & getTerm(size_t index) const
vector< CoefTerm > _terms
void sortTermsReverseLex(bool collect=true)
void add(const mpz_class &coef, const Term &term)
const mpz_class & getCoef(size_t index) const
Term represents a product of variables which does not include a coefficient.
bool operator<(const CoefTerm &coefTerm) const