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.

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.

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

Octagon is a regular polygon with eight edges, for use with polytope functions.

Pentagon is a regular polygon with five edges, for use with polytope functions.

Undecagon is a regular polygon with eleven edges, for use with polytope functions.

Vertices[polytope] gives a list of the vertex coordinates of polytope.

ProvablePrimeQ[n] gives True if n is provably prime, and False otherwise.