mDegrees

const std::vector<int> Monoid::mDegrees

private

length mVariableCount * (length of a single degree vector)

Definition at line 103 of file monoid.hpp.

Referenced by Monoid(), set_degrees(), and text_out().