17 #ifndef IRREDUCIBLE_IDEAL_SPLITTER_GUARD
18 #define IRREDUCIBLE_IDEAL_SPLITTER_GUARD
35 virtual void consume(
const vector<mpz_class>& term);
IrreducibleIdealSplitter(BigTermConsumer &consumer)
virtual void beginConsuming()
Tell the consumer to begin consuming an ideal.
virtual void consume(const Term &term)
Consume a term.
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
auto_ptr< BigTermConsumer > _consumerDeleter
vector< mpz_class > _bigTmp
virtual void doneConsuming()
Must be called once after each time beginConsuming has been called.
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
BigTermConsumer & _consumer
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
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.