In[614]:=

Out[614]=

In[615]:=

Out[615]=

In[616]:=

Out[616]=

In[617]:=

Out[617]=

In[618]:=

Out[618]=

In[619]:=

Out[619]=

In[620]:=

Out[620]=

In[621]:=

Out[621]=

In[622]:=

Out[622]//InputForm=

Graphics3D[GraphicsComplex[
  {{0, -(1/Sqrt[2]), 1/Sqrt[2] - Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}, {0, 1/Sqrt[2], 1/Sqrt[2] - Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 -
        59997409280*#1^3 - 79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 +
        56891539456*#1^8 & , 3, 0]}, {0, Root[1 - 4*#1^2 + 2*#1^4 & , 1, 0],
    Root[-1 + 8*#1^2 - 16*#1^4 + 8*#1^6 + 2*#1^8 & , 1, 0] -
     Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {0, Root[1 - 4*#1^2 + 2*#1^4 & , 4, 0], Root[-1 + 8*#1^2 - 16*#1^4 + 8*#1^6 + 2*#1^8 & , 1, 0] -
     Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {-(1/Sqrt[2]), 0, 1/Sqrt[2] - Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}, {1/Sqrt[2], 0, 1/Sqrt[2] - Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 -
        59997409280*#1^3 - 79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 +
        56891539456*#1^8 & , 3, 0]}, {(-1 - Sqrt[2])/2, -1/2,
    -Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {Root[1 - 4*#1^2 + 2*#1^4 & , 1, 0], 0, Root[-1 + 8*#1^2 - 16*#1^4 + 8*#1^6 + 2*#1^8 & , 1, 0] -
     Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {Root[1 - 4*#1^2 + 2*#1^4 & , 4, 0], 0, Root[-1 + 8*#1^2 - 16*#1^4 + 8*#1^6 + 2*#1^8 & , 1, 0] -
     Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {Root[1 - 8*#1^2 + 8*#1^4 & , 1, 0], Root[1 - 8*#1^2 + 8*#1^4 & , 1, 0],
    Root[-1 + 8*#1^2 - 16*#1^4 + 8*#1^6 + 2*#1^8 & , 1, 0] -
     Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {Root[1 - 8*#1^2 + 8*#1^4 & , 1, 0], Root[1 - 8*#1^2 + 8*#1^4 & , 4, 0],
    Root[-1 + 8*#1^2 - 16*#1^4 + 8*#1^6 + 2*#1^8 & , 1, 0] -
     Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {Root[1 - 8*#1^2 + 8*#1^4 & , 4, 0], Root[1 - 8*#1^2 + 8*#1^4 & , 1, 0],
    Root[-1 + 8*#1^2 - 16*#1^4 + 8*#1^6 + 2*#1^8 & , 1, 0] -
     Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {Root[1 - 8*#1^2 + 8*#1^4 & , 4, 0], Root[1 - 8*#1^2 + 8*#1^4 & , 4, 0],
    Root[-1 + 8*#1^2 - 16*#1^4 + 8*#1^6 + 2*#1^8 & , 1, 0] -
     Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 - 79510659072*#1^4 +
        223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3, 0]},
   {-1/2, (-1 - Sqrt[2])/2, -Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}, {1/2, (1 + Sqrt[2])/2, -Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}, {1/2, (-1 - Sqrt[2])/2, -Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}, {-1/2, (1 + Sqrt[2])/2, -Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}, {(1 + Sqrt[2])/2, -1/2, -Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}, {(-1 - Sqrt[2])/2, 1/2, -Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}, {(1 + Sqrt[2])/2, 1/2, -Root[-1380196801 + 1357646144*#1 + 30792952064*#1^2 - 59997409280*#1^3 -
        79510659072*#1^4 + 223146147840*#1^5 - 135651131392*#1^6 + 37664849920*#1^7 + 56891539456*#1^8 & , 3,
      0]}}, Polygon[{{11, 4, 13, 9, 12, 3, 10, 8}, {8, 10, 7}, {10, 3, 14}, {3, 12, 16}, {12, 9, 18},
    {9, 13, 20}, {13, 4, 15}, {4, 11, 17}, {11, 8, 19}, {10, 14, 7}, {3, 16, 14}, {12, 18, 16}, {9, 20, 18},
    {13, 15, 20}, {4, 17, 15}, {11, 19, 17}, {8, 7, 19}, {2, 5, 1, 6}, {5, 2, 17, 19}, {1, 5, 7, 14},
    {6, 1, 16, 18}, {2, 6, 20, 15}, {15, 17, 2}, {19, 7, 5}, {14, 16, 1}, {18, 20, 6}}]]]

In[623]:=

Out[623]=

In[624]:=

Out[624]=

In[625]:=

Out[625]=

Johnson Polyhedra

Geometry