<

Lithic polychora

The Lithic polychora are the Lithic polytopes of rank 4. They are of the form {p,q,r:a,b}_c, or in more mathematical notation, they can be made by taking a base rank 4 Schläfli type $\rho$ and applying Petrial polygon relations: $\rho =\rho /{⟨{\left({\rho }_1{\rho }_2{\rho }_3\right)}^a,{\left({\rho }_1{\rho }_2{\rho }_3\right)}^b,{\left({\rho }_1{\rho }_2{\rho }_3{\rho }_4\right)}^c⟩}^{\rho }$. Alternatively, they may be derived as the amalgamation of two Lithic polyhedra with a final Petrie polygon relation applied over the whole polychoron.

The full set of Lithic polychora is enormous, and finding all of them by myself would take way too much effort that I'm willing to put into this project. This page will for now only concern itself with the amalgamation of two exceptional Lithic polyhedra.

List

The list might not be complete, seeing as the largest known has a symmetry order in the hundreds of millions, while the code can only reach an order in the few millions before giving up. The GAP code used to make the list can be found here, by running the function RunLithics().