Raising operator (source code)

= Raising operator

A raising operator is a positive-root vector. Acting on a weight vector of weight $\mu$ either gives zero or a weight vector of weight $\mu+\alpha$.