Convex regular-faced polytope

A CRF polytope, short for convex regular-faced polytope, is any strictly convex polytope whose faces are all regular.

The 92 non-uniform CRF polyhedra are known as the Johnson solids, and the list has been proven to be complete. Research to discover CRF polytopes in higher dimensions is ongoing; there are likely to be at least several billion CRF polychora, if not more, many of which are diminishings of uniform polychora of the H4 family.

They encompass the set of Blind polytopes, which are the set of non-regular convex polytopes with regular facets. Those had been enlisted up to the various diminishings of the hexacosichoron already in the 1990s by the couple Gerd and Roswitha Blind. - Both, the CRFs and the Blind polytopes are direct extrapolations of the Johnson solids to higher dimensions. Needless to say that the CRFs define a much broader class.