Definition at line 100 of file res-moninfo-dense.hpp.
Referenced by compare_schreyer(), ResMonoidDense(), and show().