Computing the real Weyl group. (May 2021)