Hecke_algebra_of_a_Coxeter_group loading ...