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