NumberOfFaces[polytope] gives the number of faces of polytope.
NumberOfVertices[polytope] gives the number of vertices of polytope.
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.
This package contains functions that give geometrical characteristics of regular polygons. Polygons are identified by name (Digon, Decagon, etc.) in function arguments and in ...
PrimeQCertificateCheck[cert, n] gives True if cert is a valid certificate for the primality or compositeness of n, and False otherwise.
PrimeQCertificate[n] gives a certificate that n is prime or that n is composite.