58 bool operator()(TermMap::const_iterator
a, TermMap::const_iterator
b) {
59 return a->first >
b->first;
68 vector<mpz_class> term(1);
75 TermMap::const_iterator
it =
_terms.begin();
90 for (TermMap::const_iterator
it =
_terms.begin();
97 vector<TermMap::const_iterator>::const_iterator
refsEnd =
refs.end();
98 vector<TermMap::const_iterator>::const_iterator
refIt =
refs.begin();
100 TermMap::const_iterator
it = *
refIt;
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
size_t getTermCount() const
void feedTo(CoefBigTermConsumer &consumer, bool inCanonicalOrder=false) const
void add(bool plus, const mpz_class &exponent)
Add +t^exponent or -t^exponent to the polynomial depending on whether plus is true or false,...
Defines the variables of a polynomial ring and facilities IO involving them.
bool addVar(const string &name)
Adds the variable and returns true if name is not already a variable.