Weight basis (source code)

= Weight basis

A weight basis of a <Lie algebra representation> is a <basis> consisting of <weight vectors> for a chosen <Cartan subalgebra>. When the Cartan action is diagonalizable, choose a basis separately in every <weight space> and combine them. This makes <weight multiplicities> directly visible and gives diagonal matrices for Cartan elements.