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