mHeftDegrees

std::vector<int> Monoid::mHeftDegrees

private

length mVariableCount

Definition at line 108 of file monoid.hpp.

Referenced by Monoid(), primary_degree_of_var(), primary_degree_of_vars(), primary_degrees_of_vars_positive(), and set_degrees().