Positive root (source code)

= Positive root

A choice of positive roots selects exactly one of $\alpha$ and $-\alpha$ and is closed under addition whenever the sum is a root.