Definition at line 114 of file res-moninfo-sparse.hpp.
Referenced by is_equal(), monomial_part_is_equal(), ResMonoidSparse(), and show().