mDegreeOfVar

gc_vector<const_monomial> Monoid::mDegreeOfVar

private

The following two Should be constant after construction [0]..[mVariableCount-1] are the multi-degrees of the variables, and [mVariableCount] = zero element in the degree monoid.

Definition at line 113 of file monoid.hpp.

Referenced by degree_of_expvector(), degree_of_var(), degree_of_varpower(), multi_degree(), and set_degrees().