Computing the real Weyl group