Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Let $\Phi$ be an irreducible root system, with positive roots $\Phi^+$ relative to the base $\Delta$.
If $W$ is the Weyl group, how can I determine if $-I$ belongs to $W$? Equivalently how can I see if the (unique) longest element in $W$ is $-I$?
