18#ifndef VAR_SORTER_GUARD
19#define VAR_SORTER_GUARD
33 void permute(vector<mpz_class>& term);
void nameFactoryRegister(NameFactory< AbstractProduct > &factory)
Registers the string returned by ConcreteProduct::getStaticName() to a function that default-construc...
TermTranslator handles translation between terms whose exponents are infinite precision integers and ...
Term represents a product of variables which does not include a coefficient.
Defines the variables of a polynomial ring and facilities IO involving them.
vector< mpz_class > _bigTmpTerm
vector< size_t > _permutation
void getOrderedNames(VarNames &names)
void permute(vector< mpz_class > &term)