E7 Coxeter group (source code)

= E7 Coxeter group
{c}
{title2=$E_7$}

The $E_7$ Coxeter graph is the simply-laced seven-vertex tree whose three arms have lengths $1$, $2$, and $3$. Its Coxeter Gram matrix is positive definite and has determinant $2$.