In[626]:=

Out[626]=

In[627]:=

Out[627]=

In[628]:=

Out[628]=

In[629]:=

Out[629]=

In[630]:=

Out[630]=

In[631]:=

Out[631]=

In[632]:=

Out[632]=

In[633]:=

Out[633]=

In[634]:=

Out[634]//InputForm=

Graphics3D[GraphicsComplex[{{-1/2, -1/2, -Sqrt[4 - Sec[Pi/8]^2]/4}, {-1/2, 1/2, -Sqrt[4 - Sec[Pi/8]^2]/4},
   {0, 0, -(1/Sqrt[2]) - Sqrt[4 - Sec[Pi/8]^2]/4}, {0, 0, 1/Sqrt[2] + Sqrt[4 - Sec[Pi/8]^2]/4},
   {0, -(1/Sqrt[2]), Sqrt[4 - Sec[Pi/8]^2]/4}, {0, 1/Sqrt[2], Sqrt[4 - Sec[Pi/8]^2]/4},
   {1/2, -1/2, -Sqrt[4 - Sec[Pi/8]^2]/4}, {1/2, 1/2, -Sqrt[4 - Sec[Pi/8]^2]/4},
   {-(1/Sqrt[2]), 0, Sqrt[4 - Sec[Pi/8]^2]/4}, {1/Sqrt[2], 0, Sqrt[4 - Sec[Pi/8]^2]/4}},
  Polygon[{{8, 6, 10}, {2, 9, 6}, {1, 5, 9}, {7, 10, 5}, {8, 2, 6}, {2, 1, 9}, {1, 7, 5}, {7, 8, 10},
    {6, 9, 4}, {9, 5, 4}, {5, 10, 4}, {10, 6, 4}, {3, 2, 8}, {3, 1, 2}, {3, 7, 1}, {3, 8, 7}}]]]

In[635]:=

Out[635]=

In[636]:=

Out[636]=

In[637]:=

Out[637]=

Johnson Polyhedra

Geometry