Reduced root system

ID: reduced-root-system

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

New to topics? Read the docs here!