#	Espace dodécaédrique de Poincaré
#
#	Le quotient de la 3-sphère par le groupe icosaédrique binaire
#	est le fameux espace dodécaédrique de Poincaré.
#	Les éléments de matrices appartiennent au corps Q[φ], où
#	φ est le nombre d'or. Le nombre d'or est une racine du
#	polynôme irréductible φ² - φ - 1 et est donné par
#	φ = (1 + √5)/2 ≈ 1.6180339887...

  0.80901699437494742410 -0.50000000000000000000  0.00000000000000000000 -0.30901699437494742410
  0.50000000000000000000  0.80901699437494742410  0.30901699437494742410  0.00000000000000000000
  0.00000000000000000000 -0.30901699437494742410  0.80901699437494742410  0.50000000000000000000
  0.30901699437494742410  0.00000000000000000000 -0.50000000000000000000  0.80901699437494742410

  0.80901699437494742410 -0.30901699437494742410  0.50000000000000000000  0.00000000000000000000
  0.30901699437494742410  0.80901699437494742410  0.00000000000000000000  0.50000000000000000000
 -0.50000000000000000000  0.00000000000000000000  0.80901699437494742410  0.30901699437494742410
  0.00000000000000000000 -0.50000000000000000000 -0.30901699437494742410  0.80901699437494742410