Represents a saturated binomial ideal.
SatBinomRecorder(SatBinomIdeal &ideal)
Defines the variables of a polynomial ring and facilities IO involving them.
virtual void doneConsuming()
virtual void consume(const vector< mpz_class > &term)
virtual void consumeRing(const VarNames &names)
void clearAndSetNames(const VarNames &names)
virtual void beginConsuming()
void insert(const vector< mpz_class > &binom)