In[928]:=

Out[928]=

In[929]:=

Out[929]=

In[930]:=

Out[930]=

In[931]:=

Out[931]=

In[932]:=

Out[932]=

In[933]:=

Out[933]=

In[934]:=

Out[934]=

In[935]:=

Out[935]=

In[936]:=

Out[936]//InputForm=

Graphics3D[GraphicsComplex[{{0, 0, 3/(4*Sqrt[2])}, {0, -(1/Sqrt[2]), -1/(4*Sqrt[2])}, {0, 1/Sqrt[2], -1/(4*Sqrt[2])},
   {-(1/Sqrt[2]), 0, -1/(4*Sqrt[2])}, {1/Sqrt[2], 0, -1/(4*Sqrt[2])}}, Polygon[{{3, 4, 1}, {4, 2, 1}, {2, 5, 1}, {5, 3, 1}, {5, 2, 4, 3}}]]]

In[937]:=

Out[937]=

In[938]:=

Out[938]=

In[939]:=

Out[939]=

Johnson Polyhedra

Geometry