CircumscribedRadius[polygon] gives the radius of a circumscribed circle of polygon polygon, when the edges of polygon have unit length.

Decagon is a regular polygon with ten edges, for use with polytope functions.

Digon is a regular polygon with two edges, for use with polytope functions.

Dodecagon is a regular polygon with twelve edges, for use with polytope functions.

Faces[polytope] gives a list of the faces of polytope.

Heptagon is a regular polygon with seven edges, for use with polytope functions.

Hexagon is a regular polygon with six edges, for use with polytope functions.

InscribedRadius[polygon] gives the radius of an inscribed circle of polygon polygon, when the edges of polygon have unit length.

Nonagon is a regular polygon with nine edges, for use with polytope functions.

NumberOfEdges[polytope] gives the number of edges of polytope.