Go to the documentation of this file.
30 (auto_ptr<BigTermConsumer> consumer):
32 _consumerDeleter(consumer),
61 for (
size_t var = 0; var < term.
getVarCount(); ++var) {
63 _tmp[var] = term[var];
78 _consumer.beginConsuming();
79 for (
size_t var = 0; var < term.
getVarCount(); ++var) {
81 _tmp[var] = term[var];
82 _consumer.consume(_tmp, translator);
86 _consumer.doneConsuming();
96 for (
size_t var = 0; var < term.size(); ++var) {
static bool isIdentity(const Exponent *a, size_t varCount)
Returns whether a is 1, i.e. whether all entries of a are 0.
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
void reset(size_t newVarCount)
virtual void doneConsumingList()
Must be called once after each time beginConsumingList has been called.
vector< mpz_class > _bigTmp
size_t getVarCount() const
virtual void beginConsuming()=0
Tell the consumer to begin consuming an ideal.
virtual void beginConsumingList()
Tell the consumer that the ideals that are consumed until the next call to doneConsumingList are to b...
virtual void consume(const vector< mpz_class > &term)=0
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
virtual void consume(const Term &term)
Consume a term.
const mpz_class & getExponent(size_t variable, Exponent exponent) const
This method translates from IDs to arbitrary precision integers.
virtual void doneConsuming()
Must be called once after each time beginConsuming has been called.
size_t getVarCount() const
Returns the current number of variables.
virtual void doneConsuming()=0
Must be called once after each time beginConsuming has been called.
Term represents a product of variables which does not include a coefficient.
virtual void consumeRing(const VarNames &names)=0
Tell the consumer which ring is being used.
IrreducibleIdealSplitter(BigTermConsumer &consumer)
virtual void consumeRing(const VarNames &names)
Tell the consumer which ring is being used.
BigTermConsumer & _consumer
Defines the variables of a polynomial ring and facilities IO involving them.
virtual void beginConsuming()
Tell the consumer to begin consuming an ideal.