42 _bigTmpTerm(
names.getVarCount()),
43 _tmpTerm(
names.getVarCount()) {
45 for (
size_t i = 0;
i <
names.getVarCount(); ++
i)
74 for (
size_t var = 0; var <
varCount; ++var) {
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 ...
Defines the variables of a polynomial ring and facilities IO involving them.
const string & getName(size_t index) const
The returned reference can become invalid next time addVar is called.
void operator=(const VarSorterCompare &)
bool operator()(size_t a, size_t b) const
VarSorterCompare(const VarNames &names)
vector< mpz_class > _bigTmpTerm
VarSorter(const VarNames &names)
vector< size_t > _permutation
void getOrderedNames(VarNames &names)
void permute(vector< mpz_class > &term)