37 (
const mpz_class& coef,
const Term& term) {
auto_ptr< CoefTermConsumer > _consumer
CanonicalCoefTermConsumer(auto_ptr< CoefTermConsumer > consumer)
virtual void consumeRing(const VarNames &names)
virtual void doneConsuming()
virtual void consume(const mpz_class &coef, const Term &term)
virtual void beginConsuming()
void clearAndSetVarCount(size_t varCount)
size_t getTermCount() const
size_t getVarCount() const
const Term & getTerm(size_t index) const
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.
size_t getVarCount() const
Defines the variables of a polynomial ring and facilities IO involving them.
size_t getVarCount() const
Returns the current number of variables.