55 for (
size_t var = 0; var < term.
getVarCount(); ++var)
56 _tmp[var] = term[var];
64 for (
size_t var = 0; var < term.
getVarCount(); ++var)
void clearAndSetNames(const VarNames &names)
size_t getVarCount() const
vector< mpz_class > & getLastTermRef()
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
IdealConsolidator(auto_ptr< BigTermConsumer > consumer)
virtual void consume(const Term &term)
Consume a term.
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
virtual void beginConsuming()
Tell the consumer to begin consuming an ideal.
const auto_ptr< BigTermConsumer > _consumer
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
virtual void doneConsuming()
Must be called once after each time beginConsuming has been called.
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
const mpz_class & getExponent(size_t variable, Exponent exponent) const
This method translates from IDs to arbitrary precision integers.
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.