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