Definition at line 85 of file res-moninfo-dense.hpp.
Referenced by from_expvector(), from_varpower_monomial(), quotient_as_vp(), and ResMonoidDense().