50{
51}
bool component_up_
indicates whether free module components are ordered lexicographically
const std::vector< int > mDegrees
length mVariableCount * (length of a single degree vector)
const Monoid * mDegreeMonoid
const PolynomialRing * mDegreeRing
int n_invertible_vars_
number of invertible variables
const int mVariableCount
number of variables
const MonomialOrdering * mo_
the monomial ordering of the variables
std::vector< int > mHeftDegrees
length mVariableCount
enum Monoid::overflow_type * overflow
std::vector< int > local_vars
These are the variables which are < 1 in the monomial order.
int n_before_component_
indicates where the free module components are in the monomial order
const std::vector< int > mHeftVector
length of a single degree vector
const std::vector< std::string > mVariableNames
names of variables
int monomial_size_
size of an encoded monomial
MonomialOrder * monorder_