Closed dominant Weyl chamber (source code)

= Closed dominant Weyl chamber
{c}

For a root basis $\Delta$, the closed dominant chamber is
$$
\overline{C(\Delta)}=\{\lambda:\langle\lambda,\alpha^\vee\rangle\geq0
\text{ for every }\alpha\in\Delta\}.
$$
Every Weyl-group orbit meets it in exactly one point.