Using the Polytopes Package on the Wolfram Programming Cloud

Needs[“Polytopes`”];
faces = First /@ First@Normal@PolyhedronData[“Dodecahedron”, “Faces”];
radius = InscribedRadius[Polygon[First[faces]]]

I’m trying to run this short program but it doesn’t work. Maybe I’m doing something wrong.

The Polytopes package does not support general polygons, only the ones listed in

In this case, radius should be just

In[4]:= InscribedRadius[Pentagon]

Out[4]= 1/(2 Sqrt[5 - 2 Sqrt[5]])