Reduced root system (source code)

= Reduced root system
{wiki=Root_system#Reduced_root_systems}

A root system is reduced when the only scalar multiples of any root $\alpha$ that are also roots are $\alpha$ and $-\alpha$.