User:Harry Princeton/Catalan Solid and Stereohedron

Summary of Catalan Solid and Stereohedron results.

Dual Solids and Faces
Remaining dual Platonic solids, and dual Johnson solids allowing a midradius, are drawn below to scale with original solid edges superimposed. Solids in each group are sorted by midradius in descending order. Below each solid is its non-Catalan face:

General Dual Faces
Furthermore, we have for 3.4.5.6 that 60+90+108+120=378>360 degrees (hyperbolic face), so no face can have regular polygons of four or more different covertex types. Hence every dihedral angle, therefore midradius, thus dual face, can be explicitly computed using the above equations. Some other dual faces are drawn below with determined side lengths, angles, and incircles (even the spherical area of such faces can be computed); although they cannot form convex dual solids:

Surface Area, Volume, Sphericity
The surface areas, volumes, and sphericities of all Archimedean solids and Catalan solids with unit edge length (plus for some general dual faces):

Stereohedra
All possible tangential stereohedra which have inspheres of radius 1/2 are shown below. They are dual to vertex figures of honeycombs by Platonic solids, Archimedean solids, and Johnson solids.

Nondegenerate Duals

 * The barn pentagonal prism is dual to two honeycombs, the gyroelongated triangular prismatic honeycomb, and the elongated triangular prismatic honeycomb.
 * The pentagonal bifastigaum is the dual of the gyrated triangular prismatic honeycomb, and is topologically identical to the elongated gyrobifastigaum. In fact, the gyrobifastigaum honeycomb is degenerately self-dual.
 * The prismatic decahedron is half a hexagonal prism and half a trapezo-rhombic dodecahedron and is dual to the gyroelongated-alternated-cubic and elongated-alternated-cubic honeycombs.
 * Both bifastigaums in the prism category are formed by the vertex figures when rotating one prismatic slab of a k-uniform tiling with respect to the other in 3-D space.
 * The skew quadrilateral and tie kite prisms are analogous in the planigon case.
 * The quarter cubic honeycomb can be split into 4 sets of parallel planes with trihexagonal tiling cross-section. Such slabs can be gyrated 60 degrees with respect to one another (vertex figure is trapezo), or they can be elongated with trihexagonal prism slabs (vertex figure is elongated).

Degenerate Duals
The remaining stereohedra are degenerate duals because some vertices extend to the base of the corresponding Johnson solids (square pyramid and triangular cupola).

Strict Combinations

 * Octahedron√2+Oblate is the degenerate dual of the elongated square bipyramid honeycomb, and is mentioned at the last line here. When superimposed, the edges of the dual regular octahedra meet the base edges of the triangular faces of the elongated square bipyramids. The regular octahedra have inspheres of radius 1/√6 and the oblate octahedra don't have inspheres.
 * Tetrahedron·2+Antiprism is the degenerate dual of the triakis truncated tetrahedral honeycomb, and is mentioned at the last line here. It replaces each degree-4 vertex of the rhombohedral honeycomb with a regular tetrahedron. When superimposed, the edges of the dual regular tetrahedra lay outside the triangular faces of the triakis truncated tetrahedra. The regular tetrahedra also have inspheres of radius 1/√6 and the antiprisms don't have inspheres.

Oblate Pyramidille

 * Twelve oblate pyramids can be inset into twelve rhombic frustums plus one rhombic dodecahedron replacing the cuboctahedral co-vertex (e.g. the oblate pyramid is truncated into the rhombic frustum).
 * The slant elongated [OP] is half an oblate pyramid and half an equilateral triangular prism. This is because that the cantic cubic honeycomb can be split in into 4 sets of parallel planes whose projection is the regular hexagonal tiling, inducing wallpaper group p3m1. The cuboctahedra are split into two triangular cupolae, and we add hexagonal prism slabs between the layers.
 * This is similar for the slant elongated truncated [OP], where the triangular cupolae are dissected and between layers we add sets of six triangular prisms.
 * The trapezoidal pyramid is not degenerate, and it has a triangular orthobicupola at its apex. This is the result of gyrating one cantic cubic slab 60 degrees with respect to another across such a plane and gyrating the cuboctahedra into triangular orthobicupolae. This pyramid can be truncated to the trapezoidal frustum.

Augmentations

 * All cuboctahedra can be degenerately dissected into eight tetrahedra and four square pyramids, and hence the rhombic dodecahedron can be augmented at non-adjacent rhombic faces. In fact, all such augmentations are either truncations of the square bipyramid or its slanted gyro version at cuboctahedral co-vertices (gyrated 90 degrees with respect to a height plane containing a square diagonal).
 * The prismatic decahedron can also be augmented (detruncated) at the non-adjacent right trapezoidal faces, in the same manner from the slant elongated truncated [OP] to the slant elongated [OP]. A special case, upper+2*side' (rightmost augmentation) is the dual of the s3{2,6,3} scaliform honeycomb.
 * The triangular orthobicupola has a similar dissection, and hence the trapezo-rhombic dodecahedron can have augmentations at non-adjacent trapezoidal faces.

Miscellaneous

 * The [ESB] is half a cube and half a square bipyramid.
 * The prismatic nonahedron is the degenerate dual of the prismatic stacks 3s4{4,4,2,∞} honeycomb, and it and the [ESB] have a half-variation.
 * The symmetric-skew square bipyramid corresponds to the dissection of the cuboctahedra in the cantellated cubic honeycomb.
 * The elongated square pyramid is half a pyramid and half a kisquadrille prism.



Architectonic and Catoptric Tessellations
The image below shows the convex uniform honeycomb corresponding to the dual cell that subdivides the cube or rhombic dodecahedron, with Tomruen's version on the right. Moreover, the left image shows the Conway operations and side lengths of the cubes when the uniform honeycombs have unit edge length.



The image below shows the superposition of the architectonic cells over the catoptric cell (3D vertex figure) along with its translation cell. The vertex figures are also included for reference.