17#ifndef IDEAL_COMPARATOR_GUARD
18#define IDEAL_COMPARATOR_GUARD
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
bool operator()(const BigIdeal &a, const BigIdeal &b) const
bool operator()(const Ideal &a, const Ideal &b) const
Represents a monomial ideal with int exponents.
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
TermTranslator & _translator
bool operator()(const Ideal &a, const Ideal &b) const
bool idealLessThan(const BigIdeal &a, const BigIdeal &b)