size of an encoded monomial
Definition at line 123 of file monoid.hpp.
Referenced by compare(), divide(), monomial_size(), mult(), and set_overflow_flags().