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