コクセター群
"G" が "S" を生成系とするコクセター群であるとき、("st")"m""s","t" = 1 となる"m""s","t" ("s", "t" ∈ "S") を成分とする |"S"| 次の対称行列