Objective
Given a vertex figure consisting of regular convex polygons, determine whether it represents a convex uniform polyhedron.
What is a uniform polyhedron?
A uniform polyhedron is a polyhedron whose faces are regular polygons, while having the same vertex figure for each vertices. Generally a uniform polyhedron can be nonconvex, but only convex polyhedra will be considered in this challenge. (More precisely, the polyhedron is required to be vertex-transitive, but that's just another detail.)
What is a vertex figure?
In the context of a convex uniform polyhedron, a vertex figure is a list of the number of edges of polygons (in order) around a vertex. For example, a cube has vertex figure of (4.4.4).
Truthy inputs
(3.3.3) – Tetrahedron
(4.4.4) – Cube
(3.3.3.3) – Octahedron
(5.5.5) – Dodecahedron
(3.3.3.3.3) – Icosahedron
(4.4.N) for every N≥3 – N-gonal prism (It is a cube for N=4)
(3.3.3.N) for every N≥4 – N-gonal antiprism (It is an octahedron for N=3)
(3.6.6) – Truncated tetrahedron
(3.4.3.4) – Cuboctahedron
(3.8.8) – Truncated cube
(4.6.6) – Truncated octahedron
(3.4.4.4) – Rhombicuboctahedron
(4.6.8) – Truncated cuboctahedron
(3.3.3.3.4) – Snub cube
(3.5.3.5) – Icosidodecahedron
(3.10.10) – Truncated dodecahedron
(5.6.6) – Truncated icosahedron
(3.4.5.4) – Rhombicosidodecahedron
(4.6.10) – Truncated icosidodecahedron
(3.3.3.3.5) – Snub dodecahedron
Rotations and reversions (generally, all dihedral permutations) of these lists are also truthy. For example, (4.6.8), (4.8.6), (6.4.8), (6.8.4), (8.4.6), (8.6.4) are all truthy.
Falsy examples
(3.3.3.3.3.3) – Triangular tiling; not a polyhedron.
(5.5.5.5) – Order-4 pentagonal (hyperbolic) tiling; not a polyhedron.
(3.3.4.4) – Cannot be uniform. Note that this is different from (3.4.3.4).
Don't care situations
An input is expected to have at least 3 entries, and to consist of integers that are at least 3. Otherwise, the challenge falls in don't care situation.
(5/2.5/2.5/2) – Great stellated dodecahedron; not convex.
(3.3) – Triangular dihedron; not Euclidean.
(2.2.2) – Triangular hosohedron; not Euclidean.
(3/2.3/2.3/2) – Retrograde tetrahedron.
(1)
(-3)
()