# 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