コクセター群
Three Coxeter group constructions.