English
The Coxeter matrix of type E₆ is the 6×6 symmetric matrix with entries given by the E₆ Dynkin diagram:
Русский
Коксетерова матрица типа E₆ — симметричная 6×6 матрица, значения которой соответствуют диаграмме Э₆.
LaTeX
$$$$ M = \\begin{pmatrix} 1 & 2 & 3 & 2 & 2 & 2 \\\\ 2 & 1 & 2 & 3 & 2 & 2 \\\\ 3 & 2 & 1 & 3 & 2 & 2 \\\\ 2 & 3 & 3 & 1 & 3 & 2 \\\\ 2 & 2 & 2 & 3 & 1 & 3 \\\\ 2 & 2 & 2 & 2 & 3 & 1 \\ \\end{pmatrix}. $$$$
Lean4
/-- The Coxeter matrix of type E₆.
The corresponding Coxeter-Dynkin diagram is:
```
o
|
o --- o --- o --- o --- o
```
-/
def E₆ : CoxeterMatrix (Fin 6) where
M := !![1, 2, 3, 2, 2, 2; 2, 1, 2, 3, 2, 2; 3, 2, 1, 3, 2, 2; 2, 3, 3, 1, 3, 2; 2, 2, 2, 3, 1, 3; 2, 2, 2, 2, 3, 1]
