In[1012]:=

Out[1012]=

In[1013]:=

Out[1013]=

In[1014]:=

Out[1014]=

In[1015]:=

Out[1015]=

In[1016]:=

Out[1016]=

In[1017]:=

Out[1017]=

In[1018]:=

Out[1018]=

In[1019]:=

Out[1019]=

In[1020]:=

Out[1020]//InputForm=

Graphics3D[GraphicsComplex[{{-1/2, -1/2, -(1/Sqrt[2])}, {-1/2, 1/2, -(1/Sqrt[2])},
   {0, -(1/Sqrt[2]), 1/Sqrt[2]}, {0, 1/Sqrt[2], 1/Sqrt[2]}, {1/2, -1/2, -(1/Sqrt[2])},
   {1/2, 1/2, -(1/Sqrt[2])}, {-(1/Sqrt[2]), 0, 1/Sqrt[2]}, {1/Sqrt[2], 0, 1/Sqrt[2]},
   {1/2, (1 + Sqrt[2])/2, 0}, {-1/2, (1 + Sqrt[2])/2, 0}, {(-1 - Sqrt[2])/2, 1/2, 0},
   {(-1 - Sqrt[2])/2, -1/2, 0}, {-1/2, (-1 - Sqrt[2])/2, 0}, {1/2, (-1 - Sqrt[2])/2, 0},
   {(1 + Sqrt[2])/2, -1/2, 0}, {(1 + Sqrt[2])/2, 1/2, 0}},
  Polygon[{{4, 7, 3, 8}, {7, 4, 10, 11}, {3, 7, 12, 13}, {8, 3, 14, 15}, {4, 8, 16, 9},
    {9, 10, 4}, {11, 12, 7}, {13, 14, 3}, {15, 16, 8}, {5, 1, 2, 6}, {10, 9, 6, 2},
    {12, 11, 2, 1}, {14, 13, 1, 5}, {16, 15, 5, 6}, {6, 9, 16}, {2, 11, 10}, {1, 13, 12},
    {5, 15, 14}}]]]

In[1021]:=

Out[1021]=

In[1022]:=

Out[1022]=

In[1023]:=

Out[1023]=

Johnson Polyhedra

Geometry