17 #ifndef POLYNOMIAL_GUARD 18 #define POLYNOMIAL_GUARD 31 const mpz_class&
getCoef(
size_t index)
const;
36 void add(
const mpz_class& coef,
const Term& term);
46 void print(FILE* out);
47 void print(ostream& out);
void clearAndSetVarCount(size_t varCount)
const Term & getTerm(size_t index) const
void sortTermsReverseLex(bool collect=true)
void add(const mpz_class &coef, const Term &term)
bool operator<(const CoefTerm &coefTerm) const
size_t getTermCount() const
vector< CoefTerm > _terms
const mpz_class & getCoef(size_t index) const
Term represents a product of variables which does not include a coefficient.
size_t getVarCount() const