18 #ifndef VAR_SORTER_GUARD
19 #define VAR_SORTER_GUARD
33 void permute(vector<mpz_class>& term);
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
VarSorter(const VarNames &names)
vector< size_t > _permutation
void getOrderedNames(VarNames &names)
void permute(vector< mpz_class > &term)