Definition at line 511 of file monoid.cpp.
512{
514
519}
exponents::Exponents exponents_t
static void power(int nvars, ConstExponents a, const Exponent n, Exponents result)
void to_expvector(const_monomial m, exponents_t result_exp) const
const int mVariableCount
number of variables
void from_expvector(const_exponents exp, monomial result) const
VALGRIND_MAKE_MEM_DEFINED & result(result)
#define ALLOCATE_EXPONENTS(byte_len)
References ALLOCATE_EXPONENTS, exp_size, from_expvector(), mVariableCount, ExponentVector< int, true >::power(), result(), and to_expvector().