70 bool operator()(TermMap::const_iterator
a, TermMap::const_iterator
b) {
87 TermMap::const_iterator
it =
_terms.begin();
99 TermMap::const_iterator
it =
_terms.begin();
108 vector<TermMap::const_iterator>::const_iterator
refsEnd =
refs.end();
109 vector<TermMap::const_iterator>::const_iterator
refIt =
refs.begin();
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
int lexCompare(const Exponent *a, const Exponent *b, size_t varCount)
Indicates how a relates to b according to the lexicographic term order where .
void add(const mpz_class &coef, const Term &term)
Add coef*term to the polynomial.
size_t getTermCount() const
void clearAndSetVarCount(size_t varCount)
void feedTo(const TermTranslator &translator, CoefBigTermConsumer &consumer, bool inCanonicalOrder) const
HashPolynomial(size_t varCount=0)
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