Weight of a representation (source code)

= Weight of a representation

= Weights of a representation
{synonym}

= Representation weight
{synonym}

A weight of a representation is a functional $\mu$ whose <weight space> is nonzero.