35 for (
size_t var = 0; var < term.
getVarCount(); ++var)
44 for (
size_t var = 0; var < term.
getVarCount(); ++var)
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
const vector< mpz_class > & getTerm(size_t term) const
const VarNames & getNames() const
size_t getGeneratorCount() const
virtual void consume(const vector< mpz_class > &term)=0
virtual void consumeRing(const VarNames &names)=0
Tell the consumer which ring is being used.
virtual void doneConsuming()=0
Must be called once after each time beginConsuming has been called.
virtual void beginConsuming()=0
Tell the consumer to begin consuming an ideal.
virtual ~BigTermConsumer()
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Term represents a product of variables which does not include a coefficient.
size_t getVarCount() const
Defines the variables of a polynomial ring and facilities IO involving them.