Go to the documentation of this file.
17 #ifndef BIG_POLYNOMIAL_GUARD
18 #define BIG_POLYNOMIAL_GUARD
43 const mpz_class&
getCoef(
size_t index)
const;
44 const vector<mpz_class>&
getTerm(
size_t index)
const;
52 void add(
const mpz_class& coef,
const vector<mpz_class> term);
53 void add(
const mpz_class& coef,
const Term& term,
58 void print(FILE* file)
const;
59 void print(ostream& out)
const;
68 typedef vector<BigCoefTerm>::iterator
iterator;
vector< BigCoefTerm >::iterator iterator
size_t getTermCount() const
mpz_class & getLastCoef()
vector< BigCoefTerm > _coefTerms
bool operator==(const BigCoefTerm &coefTerm) const
static bool compareCoefTermsReverseLex(const BigCoefTerm &a, const BigCoefTerm &b)
const mpz_class & getCoef(size_t index) const
void renameVars(const VarNames &names)
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
void add(const mpz_class &coef, const vector< mpz_class > term)
vector< BigCoefTerm >::const_iterator const_iterator
Term represents a product of variables which does not include a coefficient.
size_t getVarCount() const
vector< mpz_class > & getLastTerm()
const VarNames & getNames() const
ostream & operator<<(ostream &out, const BigPolynomial &ideal)
bool operator==(const BigPolynomial &poly) const
void clearAndSetNames(const VarNames &names)
void sortTermsReverseLex()
const vector< mpz_class > & getTerm(size_t index) const
Defines the variables of a polynomial ring and facilities IO involving them.
void print(FILE *file) const