Machine calculations in Weyl groups