Tensor-product weight diagram (source code)

= Tensor-product weight diagram
{title2=$m_{V\otimes W}(\mu)=\sum_\nu m_V(\mu-\nu)m_W(\nu)$}

For a <tensor product of Lie algebra representations> with <weight-space decompositions>, the <weights> add and their <weight multiplicities> convolve. A diagram must sum contributions landing at the same weight, rather than treating coincident points as distinct positions.