retour

#  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