Positive-root data for Cn
ID: positive-root-data-for-cn
Choose positive roots of a root system , for , and . The simple roots are for and . Their coroots are and . Therefore the fundamental weights and Weyl vector areThe highest root is . These formulas include rank one.
New to topics? Read the docs here!