Ladder operator (source code)

= Ladder operator
{wiki}

A ladder operator maps weight vectors to weight vectors whose weights differ by one root. Positive-root vectors raise weights and negative-root vectors lower them.