17 #ifndef BIG_TERM_RECORDER_GUARD
18 #define BIG_TERM_RECORDER_GUARD
38 virtual void consume(
const vector<mpz_class>& term);
41 virtual void consume(auto_ptr<BigIdeal> ideal);
BigTermRecorder records all the terms it consumes into an ideal.
ElementDeleter< list< BigIdeal * > > _idealsDeleter
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
const VarNames & getRing()
list< BigIdeal * > _ideals
auto_ptr< BigIdeal > releaseIdeal()
virtual void doneConsuming()
Must be called once after each time beginConsuming has been called.
virtual void beginConsuming()
Tell the consumer to begin consuming an ideal.
virtual void consume(const Term &term, const TermTranslator &translator)
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Term represents a product of variables which does not include a coefficient.
Defines the variables of a polynomial ring and facilities IO involving them.