29 poly.sortTermsReverseLex();
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
This is the super class of all facades.
void beginAction(const char *message)
Prints message to standard error if printing is turned on, and records the time when the action start...
void endAction()
Prints to standard error the time since the last call to beginAction.
void sortVariables(BigPolynomial &poly)
Sort the variables of poly.
PolynomialFacade(bool printActions)
void sortTerms(BigPolynomial &poly)
Sort the terms of poly.