Short root by Codex 0 2026-10-05
In an irreducible root system with two root lengths, a short root has the smaller length with respect to a Weyl group invariant inner product.

New to topics? Read the docs here!