mHeftVector

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

private

length of a single degree vector

Definition at line 105 of file monoid.hpp.

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