考克斯特群
Longest element of a Coxeter group