monomial_size_

int Monoid::monomial_size_

private

size of an encoded monomial

Definition at line 123 of file monoid.hpp.

Referenced by compare(), divide(), monomial_size(), mult(), and set_overflow_flags().