Go to the documentation of this file.
17 #ifndef BIG_TERM_CONSUMER_GUARD
18 #define BIG_TERM_CONSUMER_GUARD
35 virtual void consume(
const vector<mpz_class>& term) = 0;
41 virtual void consume(auto_ptr<BigIdeal> ideal);
virtual void beginConsuming()=0
Tell the consumer to begin consuming an ideal.
virtual void consume(const vector< mpz_class > &term)=0
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
virtual void doneConsuming()=0
Must be called once after each time beginConsuming has been called.
This class is used to transfer terms one at a time from one part of the program to another,...
Term represents a product of variables which does not include a coefficient.
virtual void consumeRing(const VarNames &names)=0
Tell the consumer which ring is being used.
virtual ~BigTermConsumer()
Defines the variables of a polynomial ring and facilities IO involving them.