Go to the documentation of this file.
37 (
const mpz_class& coef,
const Term& term) {
40 _polynomial.add(coef, term);
virtual void doneConsuming()
virtual void consume(const mpz_class &coef, const Term &term)
CanonicalCoefTermConsumer(auto_ptr< CoefTermConsumer > consumer)
const Term & getTerm(size_t index) const
size_t getVarCount() const
void sortTermsReverseLex(bool collect=true)
virtual void consumeRing(const VarNames &names)
virtual void beginConsuming()
size_t getVarCount() const
Returns the current number of variables.
Term represents a product of variables which does not include a coefficient.
auto_ptr< CoefTermConsumer > _consumer
void clearAndSetVarCount(size_t varCount)
Defines the variables of a polynomial ring and facilities IO involving them.
const mpz_class & getCoef(size_t index) const
size_t getTermCount() const