Weyl denominator formula (source code)

= Weyl denominator formula
{c}
{wiki}

For a positive root system $\Phi^+$,
$$
\sum_{w\in W}(-1)^{\ell(w)}e^{w\rho}
=e^\rho\prod_{\alpha\in\Phi^+}(1-e^{-\alpha}).
$$