virtual void doneConsuming()=0
Must be called once after each time beginConsuming has been called.
Represents a monomial ideal with int exponents.
Defines the variables of a polynomial ring and facilities IO involving them.
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
size_t getVarCount() const
virtual void beginConsuming()=0
Tell the consumer to begin consuming an ideal.
virtual void consume(const Term &term)=0
Consume a term.
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
Term represents a product of variables which does not include a coefficient.
size_t getGeneratorCount() const