Weyl dimension formula (source code)

= Weyl dimension formula
{c}
{wiki}

The dimension obtained by evaluating the <Weyl character formula> at the identity is
$$
\dim L_\lambda=\prod_{\alpha\in R^+}
\frac{\langle\lambda+\rho,\alpha^\vee\rangle}
{\langle\rho,\alpha^\vee\rangle}.
$$