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().