Positive system of a root system (source code)

= Positive system of a root system
{title2=$\Pi$}

The positive system associated with a <fundamental system of a root system> $\Delta$ consists of the roots whose coordinates in the basis $\Delta$ are nonnegative.