Definition at line 108 of file res-moninfo-dense.hpp.
Referenced by is_equal(), monomial_part_is_equal(), ResMonoidDense(), and show().