CRF polychora discovery project (Meta, 13)

From Hi.gher. Space

(Difference between revisions)
m (Non-orbiform monostratics: fix corona -> rotunda)
(13 intermediate revisions not shown)
Line 3: Line 3:
This page documents an ongoing project to discover as many [[Polytope#Convex regular-faced polytope|CRF polychora]] as possible, and perhaps as a long-term goal prove that every CRF polychoron has been found.
This page documents an ongoing project to discover as many [[Polytope#Convex regular-faced polytope|CRF polychora]] as possible, and perhaps as a long-term goal prove that every CRF polychoron has been found.
-
== Summary ==
+
Other than infinite series, the non-Johnson CRF polyhedra are the regular polyhedra and the Archimedean polyhedra. The Johnson solids can be roughly divided into four categories: prismatoids (includes pyramids, cupolae, rotundae, and elongated/bi/gyro forms of the above), augmented polyhedra, diminished polyhedra and [[crown jewel]]s. We will use the same categorizations here.
-
''<span style='color: green;'>Green text</span> indicates classes where all possible polychora have been discovered. <span style='color: #002bb8'>Blue text</span> indicates classes where there may still be more CRF polychora to find.
+
-
{| class='wikitable'
+
-
!Class||Expression||Value||Total
+
-
|-
+
-
|[[#Convex uniform polychora|<span style='color: green;'>Convex uniform polychora</span>]]||9 + 9 + 12 + 15 + 17 + 2||64||64
+
-
|-
+
-
|[[#Prisms of Johnson solids|<span style='color: green;'>Prisms of Johnson solids</span>]]||92||92||156
+
-
|-
+
-
|[[#Prismatoid forms|<span style='color: green;'>Prismatoid forms</span>]]||13×4 - 2||50||206
+
-
|-
+
-
|[[#Cupolae of regular polyhedra|<span style='color: green;'>Cupolae of regular polyhedra</span>]]||30||30||236
+
-
|-
+
-
|[[#Bicupolic rings|<span style='color: green;'>Bicupolic rings</span>]]||3×4 - 2||10||246
+
-
|-
+
-
|[[#Monostratic stacks|Monostratic stacks]]||2||2||248
+
-
|-
+
-
|[[#Ursachora|Ursachora]]||2×3||6||254
+
-
|-
+
-
|[[#Tristratic polychora|Tristratic polychora]]||1||1||255
+
-
|-
+
-
|[[#Quadrastratic polychora|Quadrastratic polychora]]||2||2||257
+
-
|-
+
-
|[[#Convex non-uniform scaliform|Convex non-uniform scaliform]]||3||3||260
+
-
|-
+
-
|[[#Rotundae|Rotundae]]||7×4 - 2||26||286
+
-
|-
+
-
|[[#With pyramids|<span style='color: green;'>Duoprisms augmented with pyramids</span>]]||See below||1633||1919
+
-
|-
+
-
|[[#With other segmentochora|Duoprisms augmented with n-gonal magnabicupolic rings]]||See below||1633||3552
+
-
|-
+
-
|[[#Augmented uniform polychora|Augmented uniform polychora]]||TBD||TBD||
+
-
|-
+
-
|[[#Diminished uniform polychora|Diminished uniform polychora]]||TBD||TBD||
+
-
|}
+
-
== Convex uniform polychora ==
+
Richard Klitzing enumerated a list of 177 [[segmentochora]], which are the orbiform CRF polychora. However, these overlap with several different categories below, so the segmentochora will not be considered a category of their own. <span class='bad'>TODO: find out how many segmentochora are not yet counted below.</span>
-
The first 64 CRF polychora are the [[List of uniform polychora|convex uniform polychora]], which can be divided up into:
+
-
*9 pyromorphs,
+
-
*9 xylomorphs,
+
-
*12 stauromorphs (not 15, because three were already covered as xylomorphs),
+
-
*15 rhodomorphs,
+
-
*17 prisms of convex uniform polyhedra (not 18, because one was already covered as the tesseract, a stauromorph),
+
-
*the [[snub demitesseract]] and the [[grand antiprism]].
+
-
== Monostratic polychora ==
+
==Discovery index (D numbers)==
-
Monostratic polychora are those whose vertices lie in two parallel hyperplanes. These are the simplest cases of CRF polychora to study, and they are also useful for augmenting larger polychora to produce more CRFs.
+
-
=== Prisms of Johnson solids ===
+
As of February 2014, new CRF discoveries are assigned a [[discovery index]] (aka ''D number''), as a way of uniquely identifying the discovery without committing to a specific categorization or naming of it, which may not be feasible due to insufficient information at the time of discovery.
-
There are 92 [[Johnson solids]]. Each one has a prism which is a CRF polychoron, bringing the running total to 156. Some of these prisms are included in Klitzing's list of segmentotopes, but some are not because the corresponding Johnson solid is not orbiform (vertices lie on a glome).
+
-
=== Richard Klitzing's segmentotopes ===
+
The [[discovery index]] page serves as the authoritative list of D number assignments.
-
Dr. Richard Klitzing enumerated the full set of 177 [[segmentochoron|segmentotopes]]: monostratic CRF polychora whose vertices lie on the surface of an inscribing [[glome]]. These can be divided into:
+
-
*3 regular polychora ([[pyrochoron]], [[aerochoron]], [[geochoron]]);
+
== Prismatoids ==
-
*the [[3-pyrotomochoron]], a uniform polychoron;
+
{{selfref|Total in this section (excluding stacks): 264}}
-
*21 members of infinite families;
+
*The first 64 CRF polychora are the [[List of uniform polychora|convex uniform polychora]], which can be divided up into 9 pyromorphs, 9 xylomorphs, 12 stauromorphs (not 15, because three were already covered as xylomorphs), 15 rhodomorphs, the [[snub demitesseract]] and the [[grand antiprism]], and 17 prisms of convex uniform polyhedra (not 18, because one was already covered as the tesseract, a stauromorph).
-
*4 infinite families (Klitzing numbered these 174-177 however they are not individual polychora);
+
*A further 92 CRF prisms are possible, based on each of the 92 [[Johnson solids]]. This brings the running total to 156. Some of these prisms are included in Klitzing's list of [[segmentotope]]s, but some are not due to their corresponding Johnson solids not being [[orbiform]] (having all vertices lie on a [[glome]]).
-
*all 17 prisms of the uniform polyhedra (not 18, because the cube prism is the geochoron, already counted above);
+
*There are 30 [[CRFP4DP/Monostratic cupolic forms|CRF monostratic cupolic forms]] (or just ''cupolae''). These are constructed by placing uniform polyhedra from the same symmetry group (except in one special case, the [[snubdis antiprism]]) in each plane.
-
*12 pyramids of CRF polyhedra;
+
*There are 10 [[bicupolic ring]]s (not 12, because 2 are already counted).
-
*25 prisms of [[orbiform]] Johnson solids;
+
*There are 62 [[CRFP4DP/More prismatoids|more prismatoid forms]] (not 64, because 2 are already counted).
-
*30 cupolic forms;
+
*There are some [[CRFP4DP/Stacks|bistratic polychora formed by stacking monostratic polychora together]], but these have not been counted up yet.
-
*all 9 bicupolic rings;
+
*There are 6 [[ursachora]].
-
*3 fragments of cupolic forms (excluding the bicupolic rings and pyramids);
+
-
*the gyrated octahedral prism;
+
-
*the trigonal tridiminished-icosahedral wedge
+
-
*the diminished 3-gon antiprismatic ring or bidiminished rectified 5 cell
+
-
*49 gyrations and diminishes of the cupolic forms 
+
-
==== Prismatoid forms ====
+
== Diminishings ==
-
We can generate 52 CRF polychora by all possible combinations of {[[tetrahedron]], [[cube]], [[octahedron]], [[icosahedron]], [[square antiprism]], [[pentagonal antiprism]], [[triangular prism]], [[pentagonal prism]], [[square pyramid]], [[pentagonal pyramid]], [[diminished icosahedron]], [[metabidiminished icosahedron]], [[tridiminished icosahedron]]} × {pyramid, bipyramid, elongated pyramid, elongated bipyramid}. However, two of these - the "tetrahedral pyramid" and the "octahedral bipyramid" - are already covered as the [[pyrochoron]] and the [[aerochoron]] respectively, leaving us with 50 new CRF polychora. This brings the running total to 206.
+
{{selfref|Main article: [[CRFP4DP/Diminishings]]}}
 +
*Some diminishings of uniform polychora produce various segmentotopes and CRF polychora.
 +
*There are many [[BT polychora]].
 +
*There are three '''known''' non-uniform convex scaliform (equilateral and vertex transitive) polytopes. All their ridges are regular.
 +
*There are 18 diminishings of the xylochoron (not 19, because one is the tesseract).
 +
*The tesseract augmentations are precisely those that are only ortho or para; all meta-diminishings are not augmented tesseracts; there are 6 of these.
 +
*The 600-cell has a large number of diminishings, two of which are uniform (the snub 24-cell and the grand antiprism). Removing icosahedral pyramids from the 600-cell generates a large number of CRF polychora; removing 24 in 24-cell configuration generates the snub 24-cell. Removing two rings of 10 vertices each from mutually complementary 2-planes generates the grand antiprism; removing subsets of these vertices generates various intermediates (full exploration of the possibilities still in progress).
 +
*There are some modified bisected 600-cells, lunae (wedge-like multiply-bisected 600-cells) and rotundae.
-
The remaining CRF polyhedra cannot generate pyramidal forms for one (or both) of the following reasons:
+
== Augmentations ==
-
*the polyhedron's vertices are further from its center than its edge length, thus any pyramid of it would require base-apex edge lengths longer than base-base edge lengths, and thus not be CRF;
+
{{selfref|Main article: [[CRFP4DP/Augmentations]]}}
-
**note that this reason is implied if the polyhedron contains a [[contour]] with at least six edges, but the converse is not always true, e.g. in the case of the [[dodecahedron]]
+
*The [[pyrochoron]] has a single augmentation, consisting of two pyrochora joined cell-to-cell.
-
*the polyhedron cannot be [[inscribed in a sphere]], thus there is no point equidistant from all base points, thus any pyramid of it would have at least two different base-apex edge lengths, and thus not be CRF.
+
*The [[tesseract]] has 14 augmentations with cubical pyramids, one of which corresponds with the [[xylochoron]]. However, these augmentations are also a subset of the xylochoron's ''diminishings'', so their count should not be included under the present category.
 +
*There are some modified tesseract augmentations and augmentations of truncated tesseracts.
 +
*There are probably many other augmentable uniform polychora, these have yet to be explored.
 +
*The duoprisms are a source of 1633 CRF polychora via augmentation with CRF pyramids, especially because the pentagonal prism pyramid is very shallow. This shallowness permits it to be fitted onto pentagonal prisms of n,5-duoprisms in various combinations up to n=20. The other prism pyramids (triangular and square) are less shallow, but still contribute a good number of CRF polychora.
 +
*Besides CRF pyramids, certain other segmentotopes can augment duoprisms to form CRFs. The full enumeration of such duoprism augmentations is currently in progress. Preliminary calculations indicate that augmentation with n-gonal magnabicupolic rings number in the millions, due to combinatorial explosion.
-
[[wintersolstice]] originally proposed a list containing more polyhedra than those listed above, but this was incorrect due to the above reasons. He acknowledged that there was a mistake with the list some time ago, most likely realizing the same argument that has been written above, but did not give this explanation at the time.
+
== Gyrations ==
 +
*wintersolstice discovered that [[CRFP4DP/Gyrations|some CRFs can be gyrated in various ways]].
-
==== Cupolae of regular polyhedra ====
+
== Partial Stott-expansions ==
-
There are 30 CRF monostratic ''cupolic forms'' (or just ''cupolae''). These are constructed by placing uniform polyhedra from the same symmetry group (except in one special case, the [[snubdis antiprism]]) in each plane.
+
{{selfref|Main article: [[Partial Stott-expansion]]}}
-
 
+
*Klitzing discovered in 2013 that some infinite families can be expanded according to a lower symmetry group, giving new polytopes. In 2014 quickfur discovered a derivation of a bilbiro from an icosahedron. This led to the discovery of various partial expansions of the hydrochoron.  
-
Technically, this section would also include the prisms, but they have already been counted.
+
-
 
+
-
The 30 possibilities are:
+
-
 
+
-
{|class='wikitable' style='text-align: center;'
+
-
!width='16%' rowspan=2|Family
+
-
!width='16%' rowspan=2|Tetrahedral
+
-
!width='33%' colspan=2|Staurohedral
+
-
!width='33%' colspan=2|Rhodohedral
+
-
|-
+
-
!width='16%'|Cubic
+
-
!width='16%'|Octahedral
+
-
!width='16%'|Dodecahedral
+
-
!width='16%'|Icosahedral
+
-
|-
+
-
|style='text-align: left;'|(special)<br/>&nbsp;
+
-
| --
+
-
|colspan=4|snubdis antiprism, K4.21
+
-
|-
+
-
|style='text-align: left;'|''quasi''cupola<br/>xoo‖xxo
+
-
|K4.56
+
-
| --
+
-
| --
+
-
| --
+
-
| --
+
-
|-
+
-
|style='text-align: left;'|''semi''cupola<br/>xoo‖oxo
+
-
| --
+
-
| K4.35
+
-
| K4.29
+
-
| K4.77
+
-
| K4.137
+
-
|-
+
-
|style='text-align: left;'|(''peri'')cupola<br/>xoo‖xox
+
-
| K4.23
+
-
| K4.71
+
-
| K4.107
+
-
| K4.152
+
-
| --
+
-
|-
+
-
|style='text-align: left;'|''semimeso''cupola<br/>oxo‖xxo
+
-
| K4.52
+
-
| K4.129
+
-
| K4.95
+
-
| --
+
-
| K4.158
+
-
|-
+
-
|style='text-align: left;'|''meso''cupola<br/>oxo‖xox
+
-
| --
+
-
|colspan=2|K4.61
+
-
|colspan=2|K4.131
+
-
|-
+
-
|style='text-align: left;'|''semiperi''cupola<br/>xxo‖xox
+
-
| K4.48
+
-
| K4.100
+
-
| K4.75
+
-
| K4.159
+
-
| K4.126
+
-
|-
+
-
|style='text-align: left;'|''canti''cupola<br/>xxo‖xxx
+
-
| K4.76
+
-
| K4.128
+
-
| K4.149
+
-
| K4.173
+
-
| --
+
-
|-
+
-
|style='text-align: left;'|''semiantiprism''<br/>xxo‖oxx
+
-
|K4.55
+
-
|colspan=2|K4.98
+
-
|colspan=2|K4.151
+
-
|-
+
-
|style='text-align: left;'|''antiprism''<br/>xoo‖oox
+
-
| --
+
-
|colspan=2|K4.15
+
-
|colspan=2|K4.78
+
-
|}
+
-
 
+
-
Marek found that there are exactly two ways that two copies of the snubdis antiprism can be glued together at its icosahedral cell, each resulting in a CRF polychoron with 2 cubes, 12 triangular prisms, 24 square pyramids, and 16 tetrahedra.
+
-
 
+
-
It remains to be investigated whether and how the remaining cupolae can be pasted together end-to-end to form bi- or tristratic cupolic forms.
+
-
 
+
-
==== [[Bicupolic rings]] ====
+
-
12 CRF polychora are available from the possible combinations of {digon, triangle, square, pentagon} × {ortho, gyro, magna}. However, the digonal ortho- and magna- forms are duplicates of the [[tetrahedral prism]] and [[square pyramid prism]] respectively, bringing the total to 10. [[Keiji]] discovered the ortho- and gyro- forms, and [[quickfur]] discovered the magna- form. Keiji has dubbed these shapes [[bicupolic ring]]s in general, and the specific naming pattern is ''n''-gonal ''form''bicupolic ring, e.g. ''[[square orthobicupolic ring]]''. [[student91]] noticed that Klitzing's K4.8 could be constructed as the digonal gyrobicupolic ring.
+
-
 
+
-
The ortho- and gyro- forms are constructed as in [http://teamikaria.com/hddb/forum/viewtopic.php?f=25&t=1468&p=16497#p16461 this post]. The magna- forms are constructed as in [http://teamikaria.com/hddb/forum/viewtopic.php?f=25&t=1468&p=16497#p16493 this post] (second-to-last paragraph).
+
-
 
+
-
These CRFs are included as ''wedges'' in Klitzing's list.
+
-
 
+
-
==== Diminishings of uniform polychora ====
+
-
 
+
-
Some diminishings of uniform polychora produce various segmentotopes.
+
-
 
+
-
* The monodiminished rectified 5-cell is trigon||gyrated triangular prism (K4.6.2).
+
-
* The bidiminished rectified 5-cell is line||orthogonal triangular prism (K4.8.2).
+
-
* Deleting the vertices of an octahedron from the cantellated 5-cell produces cuboctahedron||truncated_tetrahedron (K4.48).
+
-
* The rectified tesseract can be cut into three segmentochora: tetrahedron||truncated_tetrahedron, truncated_tetrahedron||truncated_dual_tetrahedron, and dual_truncated_tetrahedron||dual_tetrahedron.
+
-
* The runcinated tesseract can be cut into two cube||rhombicuboctahedron and one rhombicuboctahedron prism. The former in turn can be cut into two square orthobicupolic rings and a square cupola prism, and the latter can be cut into two square cupola prisms and a 4,8-duoprism (octagonal prism prism).
+
-
* The cantellated tesseract can be cut into rhombicuboctahedron||truncated_cube and a truncated cube prism.
+
-
* The bisected 24-cell (see below) is the segmentochoron octahedron||cuboctahedron; it can be further diminished into square_pyramid||cuboctahedron (K4.31) and subsequently square||cuboctahedron (K4.28).
+
-
 
+
-
=== Non-orbiform monostratics ===
+
-
The n-gonal pyramid antiprisms (n-gonal pyramid || inverted gyro n-gonal pyramid) are CRF, and for n=4 and n=5, non-orbiform. (For n=3, it is identical to the 16-cell.)
+
-
 
+
-
On 23 February 2014, [[student91]] discovered that [[Bilunabirotunda pseudopyramid|bilunabirotunda || line]] is CRF, and Klitzing realized that this implied that [[Triangular hebesphenorotunda pseudopyramid|triangular hebesphenorotunda || trigon]] must also be CRF. [[Quickfur]] has verified that both are CRF.
+
-
 
+
-
== Bistratic polychora ==
+
-
 
+
-
Bistratic polychora are those whose vertices lie on 3 parallel hyperplanes.
+
-
 
+
-
=== Monostratic stacks ===
+
-
 
+
-
The simplest cases of bistratic polychora are those formed by stacking two monostratic polychora such that the result is CRF. This requires:
+
-
# The two monostratic polychora have a common cell shape where the join will take place;
+
-
# The stack of two monostratic polychora is convex, that is, the sum of dichoral angles between the joining cell and the lacing cells of the respective monostratics must be ≤ 180°.
+
-
# Where the sum of dichoral angles is exactly 180°, an additional requirement is made that the result merged cell (from the combination of coplanar lacing cells) must be CRF, since there are some cases for which this is not true, such as joining together a square pyramid and a tetrahedron, which produces a sheared triangular prism with rhombus faces.
+
-
 
+
-
For example, two copies of the icosahedron-dodecahedron antiprism (icosahedron||dodecahedron) can be fitted together by their dodecahedral bases; the relative sizes of the icosahedron and dodecahedron of equal edge length ensures that the result is convex, and therefore CRF. It consists of 2 icosahedral cells, 100 tetrahedra, and 24 pentagonal pyramids. An elongated form is obtained by inserting a dodecahedral prism. Both forms have augmented and biaugmented variants. The other polyhedron-dual antiprisms do not produce convex CRFs this way, so this is a unique combination giving 6 new CRF polychora in total.
+
-
 
+
-
In the staurohedral family, there is the transstaurosemicupola[http://teamikaria.com/hddb/forum/viewtopic.php?p=16619#p16619], shown below with vis clipping off in the left image, and on in the right image.
+
-
 
+
-
<[#embed [hash 8478G6NEB3736VBPVN4HTTX0G2] [width 150]]> <[#embed [hash R26FMQ8BGTYGRQFFWS2SMSTSAC] [width 150]]>
+
-
 
+
-
There is also the gyrogeocupola and bigyrogeocupola[http://teamikaria.com/hddb/forum/viewtopic.php?p=17260#p17260] - where one, or two opposite square orthobicupolic rings have been removed from a geocupola and replaced with square gyrobicupolic rings, shown respectively left and right below:
+
-
 
+
-
<[#embed [hash X0QDW4JK8776MCPV5V64W3G9EZ] [width 150]]> <[#embed [hash A390T5GQT9G8PXNAYA1NY9KB52] [width 150]]>
+
-
 
+
-
The cells are:
+
-
;gyrogeocupola: 1 elongated square cupola, 6 cubes, 8 triangular prisms, 4 tetrahedra, 1 square antiprism, 8 square pyramids, and 1 square cupola
+
-
;bigyrogeocupola: 5 cubes, 2 square antiprisms, 16 square pyramids, 4 triangular prisms, 2 square cupolae, and 1 octagonal prism
+
-
 
+
-
=== Ursachora ===
+
-
 
+
-
Wendy Krieger discovered a bistratic polychoron constructed from the convex hull of a unit tetrahedron, a tetrahedron scaled by the golden ratio, and a unit octahedron. It consists of 4 [[tridiminished icosahedra]] surrounding a tetrahedron, with 4 more tetrahedra on the other end connecting the tridiminished icosahedra to an octahedron. This shape is in fact a 4D analog of the tridiminished icosahedron itself, which has been nicknamed "Teddy" [http://teamikaria.com/hddb/forum/viewtopic.php?p=17756#p17756 by Klitzing] (from Jonathan Bowers' acronym for the '''t'''ri'''d'''iminished '''i'''cosahedron: '''t'''e'''d'''d'''i'''), a name which was quickly adopted by quickfur, although there is some confusion about the dimensions.
+
-
 
+
-
Subsequently, a whole class of similar shapes have been discovered, all containing tridiminished icosahedra, which may be referred to as [[ursatope]]s (a pun on "teddy").
+
-
 
+
-
So far, there are 6 known 4D CRF members of this family:
+
-
* [[Tetrahedral ursachoron]]: xfo3oox3ooo&#xf in Wendy's lacing notation, consisting of 1+4=5 tetrahedron, 1 octahedron, 4 tridiminished icosahedra.<br /><[#embed [hash 74P3YPEFWH4BRJB89X8JYWWG30] [height 100]]>
+
-
* [[Octahedral ursachoron]]: xfo3oox4ooo&#xf, consisting of 1 octahedron, 1 cuboctahedron, 8 tridiminished icosahedra, 6 square pyramids.<br /><[#embed [hash BAK68PXBY5W60P2ZG6GKGZ26MK] [height 100]]>
+
-
* [[Icosahedral ursachoron]]: xfo3oox5ooo&#xf, consisting of 1 icosahedron, 20 tridiminished icosahedra, 12 pentagonal pyramids and 1 icosidodecahedron. This shape happens to be a diminishing of the hemi-600-cell.<br /><[#embed [hash 3VTDMXXB597MGYDQ6YG8AGCMJG] [height 100]]>
+
-
* [[Tetrahedral expanded ursachoron]]: xfo3oox3xxx&#xf, consisting of 1 cuboctahedron, 1 truncated octahedron, 4 tridiminished icosahedra, 6 pentagonal prisms, 4 triangular prisms, 4 triangular cupola ''(to be verified)''.
+
-
* [[Octahedral expanded ursachoron]]: xfo3oox4xxx&#xf, consisting of 1 rhombicuboctahedron, 1 truncated cube, 8 tridiminished icosahedra, 12 pentagonal prisms, 6 square cupola, 6 cubes.<br /><[#embed [hash 68NA06PG9JJR4V8JA34GWGVTYW] [height 100]]>
+
-
* [[Icosahedral expanded ursachoron]]: xfo3oox5xxx&#xf, consisting of 1 rhombicosidodecahedron, 1 truncated dodecahedron, 20 tridiminished icosahedra, 30+12 = 42 pentagonal prisms, 12 pentagonal cupola. ''(To be verified)''
+
-
 
+
-
=== Diminishings of uniform polychora ===
+
-
 
+
-
Parabidiminished 3-xylotomochoron (see section below on diminishings of uniform polychora)
+
-
 
+
-
==== Birotundular ring ====
+
-
Diminishing the 600-cell wedge #4 produces an analogue of the bicupolic rings: the pentagonal gyrobirotundular ring (see the section on 600-cell bisections below). This CRF is bistratic, as its vertices can be placed on 3 parallel hyperplanes.
+
-
 
+
-
== Tristratic polychora ==
+
-
On February 13, 2014 a new [[crown jewel]] was discovered by [[student91]].[http://hddb.teamikaria.com/forum/viewtopic.php?p=20323#p20323] It is the 5th 4D crown jewel found, and can be written as oxFx3xfox5xoxx&#xt, making it tristratic. It has 70 tets + 20 J92's + 13 ids + 12 pecues + 60 squippies + 30 trips + 1 grid. The tentative name is ''triacontaspheno-rectified 120-cell rotunda'', or ''triacontasphenorotunda'' for short. It has many analogous characteristics to the [[triangular hebesphenorotunda|J92]] itself, and also has a CRF diminishing.
+
-
 
+
-
== Quadrastratic polychora ==
+
-
On February 4, 2014 the [[castellated rhodoperihedral prism]] was discovered by [[quickfur]] and confirmed by [[Klitzing]].[http://teamikaria.com/hddb/forum/viewtopic.php?p=20029#p20029] This is a [[crown jewel]] CRF polychoron - the third to be found, after the snubdis antiprism and the ursachora. It is quadrastratic because its vertices can be placed on five parallel realms, and it can be written as xFoFx3ooooo5xofox&#xt = [[srid]] || pseudo F-[[ike]] || pseudo f-[[doe]] || pseudo F-ike || srid where F = ff = x+f, i.e. φ<sup>2</sup>≈2.618x.
+
-
 
+
-
It also has a [[Stott-expanded]] variant, the [[castellated rhodopantohedral prism]], which was first suggested by [[student91]] and consists of two parallel [[rhodopantohedra]], 30 bilunabirotundae, 40 [[triangular prism]]s, 24 [[pentagonal cupola]]e, and 72 [[pentagonal prism]]s.
+
-
 
+
-
== Convex non-uniform scaliform ==
+
-
Outside the uniform polychora (uniformed-celled and vertex transitive), there are three '''known''' convex scaliform (equilateral and vertex transitive) polytopes. All their ridges are regular.
+
-
 
+
-
;[[Bixylodiminished hydrochoron]] (aka ''bi-icositetradiminished 600-cell'')
+
-
:The 600-cell can be made as the convex hull of five 24-cells. Removing the vertices of one and taking the convex hull creates the snub 24-cell. Removing another and taking the convex hull creates this shape. It cells are 48 tridimished icosahedra.
+
-
;Prismatorhombato snub 24-cell
+
-
:This is made by shrinking the 24 icosahedral cells of a snub 24-cell (all the tetrahedra are removed). Where icosahedra used to be joined by triangles they are now seperated by triangular prisms (96 in total). The holes in the shape are filled with 24 truncated tetrahedra and 96 triangular cupola.
+
-
;Swirlprismatodiminished rectified 600-cell
+
-
:The Rectified 600-cell can be made as the convex hull of 6 600-cells. Removing the vertices of one and taking the convex hull of the remaining vertices produces this shape. Its cells are 600 square pyramids, 120 pentagonal prisms and 120 pentagonal antiprisms.
+
-
 
+
-
== Diminished polychora ==
+
-
Some regular polychora can be diminished to give CRF polychora.
+
-
 
+
-
=== Pyromorphs ===
+
-
Some of the 5-cell family polychora can be diminished to give various segmentochora (included in Klitzing's list). Some diminishings are not monostratic, however:
+
-
 
+
-
* The cantellated 5-cell can have two triangles deleted from it in such a way that it produces a polychoron with 2 hexagonal prisms, 4 square pyramids, 1 cuboctahedron, 4 triangular cupola, and 4 triangular prisms.<br/><[#embed [hash WBQRMZJVJJRMP6JDQGFDRXGWFS] [height 120]]>
+
-
* The runcitruncated 5-cell can have the vertices of a truncated tetrahedron deleted, producing a polychoron with 4 triangular cupola, 1 cuboctahedron, 6 hexagonal prisms, 4 triangular prisms, and 4 truncated tetrahedra.
+
-
 
+
-
=== Stauromorphs ===
+
-
* The diminished 16-cell coincides with the octahedral pyramid (see Prismatoid forms above).
+
-
* The rectified tesseract can have the vertices of two non-antipodal, non-touching tetrahedra deleted, producing a polychoron with 2 truncated tetrahedra, 6 triangular cupola, 6 tetrahedra, and 1 cubocatahedron. (Metabidiminished rectified tesseract.) (Note that cutting off one tetrahedron or two antipodal tetrahedra produces various stacked segmentochora.)
+
-
* The cantellated tesseract can have square magnabicupolic rings cut off from it to produce CRFs. Each candidate square magnabicupolic ring corresponds with one of the 24 ridges of a tesseract, and two cuttings are only allowed if these ridges do not share an edge. Thus, it corresponds with the number of non-adjacent vertices of the 24-cell; there are 19 such diminishings (see 24-cell diminishings). The octadiminished cantellated tesseract coincides with the 8,8-duoprism; many of the other diminishings correspond with augmentations of the 8,8-duoprism. Five of these diminishings do not correspond with any augmented 8,8-duoprism, because the bicupolic rings are cut off in a 'skewed' way that breaks duoprism symmetry.
+
-
* The runcitruncated 16-cell can be diminished to form a rotunda (see below).
+
-
 
+
-
=== Xylomorphs ===
+
-
 
+
-
==== Xylochoron ====
+
-
The 24-cell can have non-adjacent vertices deleted to form various CRF polychora (this is equivalent to cutting off cubical pyramids). There are 19 such diminishings, one of which is the tesseract. 13 of these coincide with augmentations of the tesseract with cubical pyramids.
+
-
# Diminished 24-cell
+
-
# Orthobidiminished 24-cell (ortho means two deleted vertices lie on antipodes of one octahedral cell)
+
-
# Metabidiminished 24-cell (meta means two deleted vertices are separated by an additional edge past the antipodes of octahedral cells containing one of them)
+
-
# Parabidiminished 24-cell (para means two deleted vertices are 24-cell antipodes)
+
-
# Orthotridiminished 24-cell (all 3 vertices ortho to each other)
+
-
# Paratridiminished 24-cell (two vertices are para to each other, ortho to the third)
+
-
# Metatridiminished 24-cell (two vertices are meta, third is ortho to both)
+
-
# Orthotetradiminished 24-cell (all 4 vertices ortho to each other)
+
-
# Paratetradiminished 24-cell (one pair of vertices para to each other, ortho to other two)
+
-
# Orthometatetradiminished 24-cell (3 vertices ortho to each other, last vertex meta to one of them)
+
-
# Cyclotetradiminished 24-cell (4 vertices lie on a great circle)
+
-
# Metametatetradiminished 24-cell (two pairs of ortho vertices, meta to each other)
+
-
# Orthopentadiminished 24-cell (1 pair of para vertices, ortho to all others)
+
-
# Metapentadiminished 24-cell (4 vertices ortho to each other, 5th vertex meta to all of them)
+
-
# Parapentadiminished 24-cell (2 pairs of para vertices, all ortho to 5th)
+
-
# Orthohexadiminished 24-cell (2 pairs of para vertices, ortho to each other & everything else)
+
-
# Parahexadiminished 24-cell (3 pairs of para vertices)
+
-
# Heptadiminished 24-cell (augmented tesseract)
+
-
# (Octadiminished 24-cell == tesseract)
+
-
 
+
-
The tesseract augmentations are precisely those that are only ortho or para; all meta-diminishings are not augmented tesseracts; there are 6 of these.
+
-
 
+
-
The maximally-diminished 24-cells (those from which no more vertices can be deleted without becoming non-CRF) are the metametatetradiminished 24-cell, the metapentadiminished 24-cell, and the tesseract.
+
-
 
+
-
Furthermore, the 24-cell can be bisected to form a segmentochoron octahedron||cuboctahedron, which can be further diminished by deleting up to two more cubical pyramids. All three are segmentochora in Klitzing's list (see segmentotopes section above). Thus, there are 21 diminishings of the 24-cell altogether (not counting the tesseract). Among these, 18 are new CRFs not included in previous categories.
+
-
 
+
-
The 24-cell diminishings have been independently enumerated by wintersolstice, Marek, and quickfur.
+
-
 
+
-
==== 3-xylotomochoron ====
+
-
 
+
-
* Parabidiminished 3-xylotomochoron: deleting the vertices of two antipodal cuboctahedra from the [[3-xylotomochoron]] (o3x4o3o) produces a CRF polychoron having two truncated octahedra, 6 cuboctahedra, 12 cubes, and 16 triangular cupolae:<br /><[#embed [hash CJR7ABXT68XTT9WCZ15E2Z09AX] [height 100]]>
+
-
* Metabidiminished 3-xylotomochoron: deleting the vertices of two non-antipodal cuboctahedra that are ''meta'' to each other produces a different CRF polychoron with two touching truncated octahedra (TBD: enumerate other cells)
+
-
* Metatridiminished 3-xylotomochoron: deleting the vertices of three cuboctahedra ''meta'' to each other produces a CRF polychoron with 3 truncated octahedra, 6 cubes, and 18 triangular cupolae.<br /><[#embed [hash SS8JRN4ZDCV8TNS03SK9JDMY3N] [height 100]]>
+
-
 
+
-
=== Rhodomorphs ===
+
-
 
+
-
==== Diminished 600-cells ====
+
-
 
+
-
The 600-cell has a large number of diminishings, two of which are uniform (the snub 24-cell and the grand antiprism). Removing icosahedral pyramids from the 600-cell generates a large number of CRF polychora; removing 24 in 24-cell configuration generates the snub 24-cell. Removing two rings of 10 vertices each from mutually complementary 2-planes generates the grand antiprism; removing subsets of these vertices generates various intermediates (full exploration of the possibilities still in progress).
+
-
 
+
-
==== Bisected 600-cells ====
+
-
 
+
-
The 600-cell can be "bisected" by removing all vertices that lie on one side of an inscribed icosidodecahedron. (This is not a true bisection, as 12 edges that are bisected by the cutting hyperplane are completely removed from the result, instead of producing half-length edges, which would make the result non-CRF.) The result is a polychoron with 270 tetrahedra, 12 pentagonal pyramids, and 1 icosidodecahedron. It may be called a "hemi-600-cell". Various other diminishings past this point are possible, including Wendy's tristratic point||icosahedron||dodecahedron||icosidodecahedron, which is obtained by deleting the vertices of an inscribed icosahedron (larger than the edge length) from the bisected 600-cell; and a bistratic CRF having 1 icosahedron, 20 tridiminished icosahedra, 12 pentagonal pyramids, and 1 icosidodecahedron (see bistratics section above).
+
-
 
+
-
The hemi-600-cell can be further bisected by choosing the cutting hyperplane in such a way that it neatly bisects the bottom icosidodecahedron. Bisected edges are discarded and replaced with pentagonal pyramids to keep the result CRF. There are 4 such cuttings known, which result in wedges of various dichoral angles between the two resulting pentagonal rotundae:
+
-
* Wedge #1: 2 pentagonal rotundae, 12 pentagonal pyramids, and 210 tetrahedra. This is the widest wedge, with dichoral angle of 144° between the rotundae:
+
-
*:<div style='display: inline-block; height: 100px;'><[#embed [hash Q71SP67M0R4WT04NNFD0JBZF37] [width 221]]></div>
+
-
* Wedge #2: 2 pentagonal rotundae, 12 pentagonal pyramids, and 150 tetrahedra. A slightly narrower wedge, with dichoral angle of 108° between the rotundae:
+
-
*:<div style='display: inline-block; height: 100px;'><[#embed [hash CP3HRDFVKXTWEHKG0WXAY9GT0N] [width 221]]></div>
+
-
* Wedge #3: 2 pentagonal rotundae, 12 pentagonal pyramids, and 90 tetrahedra. An even narrower wedge, with dichoral angle of 72° between rotundae:
+
-
*:<div style='display: inline-block; height: 100px;'><[#embed [hash G16746CCGDKP2V8CX57FWPB2WA] [width 221]]></div>
+
-
* Wedge #4: 2 pentagonal rotundae, 12 pentagonal pyramids, and 30 tetrahedra. The narrowest wedge, with dichoral angle of 36° between rotundae (top view this time, instead of side view):
+
-
*:<div style='display: inline-block; height: 100px;'><[#embed [hash VEB1P21KA33ZWFJ25GRHY6YHNN] [width 221]]></div>
+
-
 
+
-
 
+
-
All of these wedges can be further diminished by deleting various vertices. Removing the vertex antipodal to the decagonal face in wedge #4 produces a rotunda analogue of the gyrobicupolic rings: the [[pentagonal gyrobirotundular ring]], having 1 pentagonal antiprism flanked by a ring of 20 tetrahedra, which in turn are flanked by a ring of 10 pentagonal pyramids, with two pentagonal rotundae closing up the shape.
+
-
 
+
-
=== Rotundae ===
+
-
So far, seven CRF rotundae have been discovered, all of which can be derived by diminishing uniform polychora. The vertices of these shapes lie in more than 2 parallel hyperplanes, therefore they are not included among Klitzing's segmentochora.
+
-
 
+
-
* [[Icosidodecahedral rotunda]]: Mrrl discovered that a CRF polychoron can be cut from the rectified 120-cell when diminishing the latter. This polychoron consists of 1 icosidodecahedron, 12 pentagonal rotundae, and 40 tetrahedra. It can be considered the 4D analogue of the 3D pentagonal rotunda.<br /><[#embed [hash D5J601BHGN4VGSN1ZJCC8FEM6F] [height 120]]>
+
-
 
+
-
* [[Expanded icosidodecahedral rotunda]]: A similar CRF rotunda can be obtained from the cantellated 600-cell by a similar cutting, producing a polychoron with 1 icosidodecahedron, 1 great rhombicosidodecahedron, 12 pentagonal rotundae, 42 pentagonal prisms, 20 cuboctahedra, and 20 triangular cupolae.<br /><[#embed [hash 90MNRDXE2A5PYQ17FVFQA1K4F7] [height 120]]>
+
-
 
+
-
* [[Truncated icosidodecahedral rotunda]]: Mrrl also found that the top of the second rotunda can be diminished, to obtain another CRF rotunda with 1 truncated icosahedron, 12 pentagonal rotunda, 30 pentagonal prisms, and 40 triangular cupolae.<br /><[#embed [hash AY8MPTPRW48MYGRE2PXNWC12A0] [height 120]]>
+
-
 
+
-
* [[Icosahedral rotunda]]: Marek discovered the icosahedral rotunda (see [http://teamikaria.com/hddb/forum/viewtopic.php?f=25&t=1468&p=16715&hilit=png#p16715 this post]), which can be constructed by cutting off the top of a rectified 600-cell. It has 1 icosahedron, 20 truncated tetrahedra, and 12 pentagonal pyramids.<br /><[#embed [hash M3DKPTAYQ5Q0M8B53WPS6EN2YK] [height 120]]>
+
-
 
+
-
* [[Rhombicosidodecahedral rotunda]]: Klitzing discovered that the runcitruncated 600-cell (x5o3x3x) can have caps cut off, in the shape of rhombicosidodecahedral rotunda. These caps have 1 rhombicosidodecahedron, 20 truncated tetrahedra, 30 hexagonal prisms, 12 pentagonal prisms, 12 pentagonal cupolae, and 1 great rhombicosidodecahedron.
+
-
 
+
-
Two other rotundae can be similarly obtained from the truncated 16-cell and the runcitruncated 16-cell, respectively:
+
-
 
+
-
* [[Octahedral rotunda]]: 1 octahedron, 8 truncated tetrahedra, 6 square pyramids, and a truncated octahedron.<br /><[#embed [hash RPFEPWQ5QCB4M2XMSEVSP3RJV3] [height 120]]>
+
-
 
+
-
* [[Rhombicuboctahedral rotunda]]: 1 (small) rhombicuboctahedron, 8 truncated tetrahedra, 12 hexagonal prisms, 6 square cupola, and 1 great rhombicuboctahedron.<br /><[#embed [hash ZS34WYJ0BGRPA1X3E0Y0RGHE65] [height 120]]>
+
-
 
+
-
These rotundae have birotunda forms as well as their corresponding elongates. Two of these, the octahedral birotunda and the elongated rhombicuboctahedral birotunda, are uniform (truncated 16-cell and runcitruncated 16-cell, respectively), so there are 28-2=26 new CRF polychora in total.
+
-
 
+
-
== Augmented uniform polychora ==
+
-
 
+
-
Some of the uniform polychora can be ''augmented'' (have CRF pyramids erected on one or more of their cells) and still remain CRF. The criteria for such augmentations to be CRF are:
+
-
 
+
-
* There must exist a CRF pyramid whose base is in the shape of the cell being augmented.
+
-
* The sum of each dichoral angle of the pyramid's cells with its base and the dichoral angle of the cell being augmented and the corresponding neighbouring cell must be ≤ 180° in order to remain convex. If two adjacent cells are being augmented, then the sum of dichoral angles of two adjacent pyramid cells with their respective bases and the dichoral angle between the two augmented cells must be ≤ 180°.
+
-
* In the case where the sum of dichoral angles is exactly 180°, adjacent cells in the augments will merge; in such a case, the merged cells must themselves be CRF.
+
-
 
+
-
=== Pyromorphs ===
+
-
The [[pyrochoron]] has a single augmentation, consisting of two pyrochora joined cell-to-cell.
+
-
 
+
-
=== Stauromorphs ===
+
-
The [[tesseract]] has 14 augmentations with cubical pyramids, one of which corresponds with the [[xylochoron]]. However, these augmentations are also a subset of the xylochoron's ''diminishings'', so their count should not be included under the present category.
+
-
 
+
-
<div style="float:right"><[#embed [hash FX95JPZBSR80JNCFFXCRM5GB3K] [height 100]]></div>
+
-
The tesseract (considered as a 4,4-duoprism) can be augmented with 4 square pyramid prisms and 4 square||orthogonal line segmentochora to form a CRF polychoron having 4 cubes, 16 triangular prisms, and 16 tetrahedra. This is somewhat different augmentation from what is considered above, in that the initial augmentation creates a non-convex polychoron, but the gaps can be filled in with CRF segmentochora to form a valid CRF polychoron. This shape can also be generated as the convex hull of a tesseract and an octagon. It was discovered by [[User:Quickfur|quickfur]] on 9 Jan 2012.
+
-
 
+
-
The runcinated tesseract can be augmented with eight cubical pyramids to form a polychoron with 24 elongated square bipyramids, 24 triangular prisms, and 16 tetrahedra.
+
-
 
+
-
The cantellated 16-cell can be augmented with eight octahedron||cuboctahedron ([[K4.29]]) to form a polychoron with 8 octahedra, 24 elongated square bipyramids, 16 truncated tetrahedra, 32 hexagonal prisms, and 160 triangular prisms.<br /><[#embed [hash 7A8NEFQ4WZB5GTFG77S9G8VZNH] [height 120]]>
+
-
 
+
-
The runcitruncated tesseract (x4x3o3x) can be augmented with eight cuboctahedon||truncated_cube to produce the cantellated 24-cell (o3x4o3x), which is uniform.
+
-
 
+
-
=== Xylomorphs ===
+
-
<s>The [[xylochoron]] has 20 augmentations ([http://teamikaria.com/hddb/forum/viewtopic.php?f=25&t=1468&p=16905#p16905 forum post]).</s> <span style="color:red">This has been found to be invalid, due to it being based on a faulty computation of the xylochoron's dichoral angle.</span>
+
-
 
+
-
There are probably many other augmentable uniform polychora, these have yet to be explored.
+
-
 
+
-
=== Augmented duoprisms ===
+
-
==== With pyramids ====
+
-
The duoprisms are a source of 1633 CRF polychora via augmentation with CRF pyramids, especially because the pentagonal prism pyramid is very shallow. This shallowness permits it to be fitted onto pentagonal prisms of n,5-duoprisms in various combinations up to n=20. The other prism pyramids (triangular and square) are less shallow, but still contribute a good number of CRF polychora.
+
-
 
+
-
The following lists the number of CRF polychora generated by augmenting duoprisms:
+
-
 
+
-
<table style="margin-left:auto;margin-right:auto;">
+
-
<tr><th>3,3-duoprism: </th><td>3</td></tr>
+
-
<tr><th>3,4-duoprism: </th><td>5</td></tr>
+
-
<tr><th>3,5-duoprism: </th><td>11</td></tr>
+
-
<tr><th>3,6-duoprism: </th><td>4</td></tr>
+
-
<tr><th>4,5-duoprism: </th><td>17</td></tr>
+
-
<tr><th>4,6-duoprism: </th><td>4</td></tr>
+
-
<tr><th>4,7-duoprism: </th><td>4</td></tr>
+
-
<tr><th>4,8-duoprism: </th><td>7</td></tr>
+
-
<tr><th>5,5-duoprism: </th><td>35</td></tr>
+
-
<tr><th>5,6-duoprism: </th><td>12</td></tr>
+
-
<tr><th>5,7-duoprism: </th><td>17</td></tr>
+
-
<tr><th>5,8-duoprism: </th><td>29</td></tr>
+
-
<tr><th>5,9-duoprism: </th><td>45</td></tr>
+
-
<tr><th>5,10-duoprism: </th><td>77</td></tr>
+
-
<tr><th>5,11-duoprism: </th><td>15</td></tr>
+
-
<tr><th>5,12-duoprism: </th><td>25</td></tr>
+
-
<tr><th>5,13-duoprism: </th><td>30</td></tr>
+
-
<tr><th>5,14-duoprism: </th><td>48</td></tr>
+
-
<tr><th>5,15-duoprism: </th><td>63</td></tr>
+
-
<tr><th>5,16-duoprism: </th><td>98</td></tr>
+
-
<tr><th>5,17-duoprism: </th><td>132</td></tr>
+
-
<tr><th>5,18-duoprism: </th><td>208</td></tr>
+
-
<tr><th>5,19-duoprism: </th><td>290</td></tr>
+
-
<tr><th>5,20-duoprism: </th><td>454</td></tr>
+
-
<tr><th>Total: </th><td>1633 augmentations</td></tr>
+
-
</table>
+
-
 
+
-
The 4,4-duoprism is omitted here, because it coincides with the tesseract, the augmentations of which are covered under another category.
+
-
 
+
-
The sharp drop in the number of augmentations between the 3,5-duoprism and the 3,6-duoprism, between the 4,5-duoprism and the 4,6-duoprism, and between the 5,5-duoprism and the 5,6-duoprism is because pyramids of hexagonal (or higher) prisms cannot be CRF, since equilateral triangles tile the hexagon and so no hexagonal (or higher) pyramid can be formed without breaking the regular-faced requirement. Thus, only one of the duoprism's two rings can be augmented.
+
-
 
+
-
The drop between the 5,10-duoprism and the 5,11-duoprism is caused by the fact that adjacent pentagonal prism pyramids erected on an n-membered duoprism ring are no longer convex after n=10, so from the 5,11-duoprism onwards only non-adjacent augmentations are permitted, thus reducing the number of possible combinations. Adjacent augments on the 5,10-duoprism have pentagonal pyramid cells that are coplanar, thus merging into a pentagonal bipyramid.
+
-
 
+
-
Augments of the 5,20-duoprism have pentagonal pyramids coplanar with the adjacent pentagonal prism, so they merge into elongated pentagonal pyramids. If the next prism in the ring is also augmented, then another pentagonal pyramid is added to the coplanar cell, turning it into an elongated pentagonal bipyramid. Ten non-adjacent pentagonal prisms can be augmented in this way, producing the [[omniaugmented 5,20-duoprism]].
+
-
 
+
-
No other duoprisms can be augmented with CRF pyramids and still remain convex.
+
-
 
+
-
==== With other segmentochora ====
+
-
 
+
-
Besides CRF pyramids, certain other segmentotopes can augment duoprisms to form CRFs. The full enumeration of such duoprism augmentations is currently in progress.
+
-
 
+
-
So far, it has been found that some of the n,6-duoprisms, n,8-duoprisms, and n,10-duoprisms can be augmented by the segmentotopes m-gon||2m-prism for m=3,4,5. These augments induce an ''orientation'' on both duoprism rings, reducing symmetry and increasing the number of distinct augmentations. These augmentations have been enumerated for the following duoprisms:
+
-
 
+
-
* 3,6-duoprism: The first ring can be augmented with triangle||hexagonal_prism and the second ring with triangular prism pyramids, albeit not at the same time. Total: 9 augmentations.
+
-
* 4,6-duoprism: The first ring augmentable with triangle||hexagonal_prism; second ring with cubical pyramid, albeit not at the same time. Total: 7 augmentations.
+
-
* 5,6-duoprism: The first ring augmentable with triangle||hexagonal_prism; second ring with pentagonal prism pyramid. First ring augments reduce the symmetries of the second ring by half, thus increasing the number of distinct combinations. Total: 64 augmentations.
+
-
* 6,6-duoprism: First ring augmentable with triangle||hexagonal_prism; only one ring augmentable at a time. Total: 4 augmentations.
+
-
* 3,8-duoprism: First ring augmentable with square||octagonal_prism; second ring cannot be augmented. Total: 5 augmentations.
+
-
* 4,8-duoprism: First ring augmentable with square||octagonal prism; second ring with cubical pyramid (non-adjacent only). Both rings can be augmented simultaneously, but only when all augments on the first ring are in ''ortho'' orientation. Total: 44 augmentations.
+
-
* 5,8-duoprism: TBD.
+
-
* 8,8-duoprism: augmentable with square magnabicupolic rings; these are included as a subset of the diminishings and gyrations of the cantellated tesseract.
+
-
 
+
-
Since the n-gonal cupola may be constructed by radially expanding the triangular faces of the n-gonal pyramid, so the segmentochoron 2n-prism||n-gon (n-gonal magnabicupolic ring) may be constructed by radially expanding the pyramid cells of the n-prism pyramid. The dihedral angles of the triangles with the base polygon remain the same, implying that for every n-gonal prism pyramid, the n-gonal magnabicupolic ring exhibits the same dichoral angles between the base prism and the cupola and tetrahedral cells above it as the respective pyramids and tetrahedra in the n-gonal prism pyramid do. Therefore, the bicupolic rings may be fitted on m,2n-duoprisms in the corresponding positions as the prism pyramid augments occur on the m,n-duoprism.
+
-
 
+
-
Therefore, every augmentation of an m,n-duoprism by prism pyramids has a corresponding augmentation of the m,2n-duoprism with n-gonal magnabicupolic rings. So there are ''at least'' 1633 augmentations of duoprisms by these bicupolic rings. There are probably more, because these segmentochora may be rotated relative to each other in some of the m,2n-duoprisms, and for m=3,4,5, the other ring of prisms may be augmentable by m-gonal prism pyramids, leading to many more possible combinations.
+
-
 
+
-
== Other modified uniform polychora ==
+
-
 
+
-
wintersolstice discovered that some CRFs can be gyrated in various ways. For example, a cube||rhombicuboctahedron can have a square orthobicupolic ring cut off and replaced with a square gyrobicupolic ring.
+
-
 
+
-
The cantellated tesseract is a rich source of CRFs obtained by cutting off square magnabicupolic rings and gluing them back on with the "wrong" orientation (i.e., with the octagonal prism base rotated 45°). As a result, some octahedral cells are cut into square pyramids, and some rhombicuboctahedral cells are gyrated into pseudo-rhombicuboctahedra (elongated square gyrobicupola). Among the possibilies are:
+
-
* Paratetragyrated cantellated tesseract: 4 antipodal square magnabicupolic rings lying on two orthogonal great circles are gyrated, producing a polychoron with 8 pseudo-rhombicuboctahedra, and a number of square pyramids that meet with triangular prisms in an irregular way.<br /><[#embed [hash QK27WNMWXXS2JY588MM7J0CC6D] [height 120]]>
+
-
* Orthotetragyrated cantellated tesseract: 4 square magnabicupolic rings lying on the same great circle are gyrated. The result is a modified cantellated tesseract where 4 of the rhombicuboctahedral cells are "aligned wrongly" with the other 4.
+
-
* Octagyrated cantellated tesseract: discovered by Dr. Klitzing in January 2013, this polychoron consists of 8 rhombicuboctahedra, 32 square pyramids, and 32 triangular prisms.
+
-
* Two magnabicupolic rings lying on opposite ends of a single rhombicuboctahedron can be removed, and then one of them glued back onto the octagonal prism that remains from the original rhombicuboctahedral cell. This produces a fastigium-like CRF with 5-fold loop around one great circle (4 elongated square cupola + 1 rhombicuboctahedron), an odd deviation from tesseractic symmetry.
+
-
* The full set of possibilities has yet to be enumerated.
+
== Infinite families ==
== Infinite families ==
-
The obvious infinite family is that of the ''m'',''n''-duoprisms (''m'' ≥ ''n'' ≥ 3).
+
{{selfref|Main article: [[CRFP4DP/Infinite families]]}}
-
 
+
*The obvious infinite family is that of the ''m'',''n''-duoprisms (''m'' ≥ ''n'' ≥ 3).
-
There is also an infinite family of prisms of the ''n''-gonal antiprisms.
+
*There is also an infinite family of prisms of the ''n''-gonal antiprisms.
-
 
+
*[[Mrrl]] discovered an infinite family of ringed forms, with a 3-membered ring consisting of two antiprisms and a prism, with various Johnson polyhedra filling in the gaps. The first member contains two [[square antiprism]]s, one [[cube]], four [[tetrahedra]] and four [[square pyramid]]s. Details can be found in [http://teamikaria.com/hddb/forum/viewtopic.php?f=25&t=1468&p=16497#p16496 this post]. In general, members of this family consists of two ''n''-gonal antiprisms and an ''n''-gonal prism, forming a 3-membered ring, with ''n'' tetrahedra and ''n'' square pyramids filling in the lateral gaps, for all ''n'' ≥ 3. Keiji has devised a similar naming scheme to the one he used for the cupolic rings: the collective term is the family of ''biantiprismatic rings'', and the specific term is the ''n''-gonal biantiprismatic ring, e.g. ''[[square biantiprismatic ring]]''. These ringed forms are included as an infinite subfamily in Klitzing's list of segmentotopes where they are numbered among the ''wedges''.
-
[[Mrrl]] discovered an infinite family of ringed forms, with a 3-membered ring consisting of two antiprisms and a prism, with various Johnson polyhedra filling in the gaps. The first member contains two [[square antiprism]]s, one [[cube]], four [[tetrahedra]] and four [[square pyramid]]s. Details can be found in [http://teamikaria.com/hddb/forum/viewtopic.php?f=25&t=1468&p=16497#p16496 this post]. In general, members of this family consists of two ''n''-gonal antiprisms and an ''n''-gonal prism, forming a 3-membered ring, with ''n'' tetrahedra and ''n'' square pyramids filling in the lateral gaps, for all ''n'' ≥ 3. Keiji has devised a similar naming scheme to the one he used for the cupolic rings: the collective term is the family of ''biantiprismatic rings'', and the specific term is the ''n''-gonal biantiprismatic ring, e.g. ''[[square biantiprismatic ring]]''. These ringed forms are included as an infinite subfamily in Klitzing's list of segmentotopes where they are numbered among the ''wedges''.
+
*The n-gonal pyramid antiprisms (n-gonal pyramid || inverted gyro n-gonal pyramid) are CRF, and for n=4 and n=5, non-orbiform. (For n=3, it is identical to the 16-cell.) They are identical to the n-antiprism bipyramid.

Revision as of 15:40, 27 August 2014

See also: List of convex regular-faced polyhedra

This page documents an ongoing project to discover as many CRF polychora as possible, and perhaps as a long-term goal prove that every CRF polychoron has been found.

Other than infinite series, the non-Johnson CRF polyhedra are the regular polyhedra and the Archimedean polyhedra. The Johnson solids can be roughly divided into four categories: prismatoids (includes pyramids, cupolae, rotundae, and elongated/bi/gyro forms of the above), augmented polyhedra, diminished polyhedra and crown jewels. We will use the same categorizations here.

Richard Klitzing enumerated a list of 177 segmentochora, which are the orbiform CRF polychora. However, these overlap with several different categories below, so the segmentochora will not be considered a category of their own. TODO: find out how many segmentochora are not yet counted below.

Discovery index (D numbers)

As of February 2014, new CRF discoveries are assigned a discovery index (aka D number), as a way of uniquely identifying the discovery without committing to a specific categorization or naming of it, which may not be feasible due to insufficient information at the time of discovery.

The discovery index page serves as the authoritative list of D number assignments.

Prismatoids

Total in this section (excluding stacks): 264

Diminishings

Main article: CRFP4DP/Diminishings
  • Some diminishings of uniform polychora produce various segmentotopes and CRF polychora.
  • There are many BT polychora.
  • There are three known non-uniform convex scaliform (equilateral and vertex transitive) polytopes. All their ridges are regular.
  • There are 18 diminishings of the xylochoron (not 19, because one is the tesseract).
  • The tesseract augmentations are precisely those that are only ortho or para; all meta-diminishings are not augmented tesseracts; there are 6 of these.
  • The 600-cell has a large number of diminishings, two of which are uniform (the snub 24-cell and the grand antiprism). Removing icosahedral pyramids from the 600-cell generates a large number of CRF polychora; removing 24 in 24-cell configuration generates the snub 24-cell. Removing two rings of 10 vertices each from mutually complementary 2-planes generates the grand antiprism; removing subsets of these vertices generates various intermediates (full exploration of the possibilities still in progress).
  • There are some modified bisected 600-cells, lunae (wedge-like multiply-bisected 600-cells) and rotundae.

Augmentations

Main article: CRFP4DP/Augmentations
  • The pyrochoron has a single augmentation, consisting of two pyrochora joined cell-to-cell.
  • The tesseract has 14 augmentations with cubical pyramids, one of which corresponds with the xylochoron. However, these augmentations are also a subset of the xylochoron's diminishings, so their count should not be included under the present category.
  • There are some modified tesseract augmentations and augmentations of truncated tesseracts.
  • There are probably many other augmentable uniform polychora, these have yet to be explored.
  • The duoprisms are a source of 1633 CRF polychora via augmentation with CRF pyramids, especially because the pentagonal prism pyramid is very shallow. This shallowness permits it to be fitted onto pentagonal prisms of n,5-duoprisms in various combinations up to n=20. The other prism pyramids (triangular and square) are less shallow, but still contribute a good number of CRF polychora.
  • Besides CRF pyramids, certain other segmentotopes can augment duoprisms to form CRFs. The full enumeration of such duoprism augmentations is currently in progress. Preliminary calculations indicate that augmentation with n-gonal magnabicupolic rings number in the millions, due to combinatorial explosion.

Gyrations

Partial Stott-expansions

Main article: Partial Stott-expansion
  • Klitzing discovered in 2013 that some infinite families can be expanded according to a lower symmetry group, giving new polytopes. In 2014 quickfur discovered a derivation of a bilbiro from an icosahedron. This led to the discovery of various partial expansions of the hydrochoron.

Infinite families

Main article: CRFP4DP/Infinite families
  • The obvious infinite family is that of the m,n-duoprisms (mn ≥ 3).
  • There is also an infinite family of prisms of the n-gonal antiprisms.
  • Mrrl discovered an infinite family of ringed forms, with a 3-membered ring consisting of two antiprisms and a prism, with various Johnson polyhedra filling in the gaps. The first member contains two square antiprisms, one cube, four tetrahedra and four square pyramids. Details can be found in this post. In general, members of this family consists of two n-gonal antiprisms and an n-gonal prism, forming a 3-membered ring, with n tetrahedra and n square pyramids filling in the lateral gaps, for all n ≥ 3. Keiji has devised a similar naming scheme to the one he used for the cupolic rings: the collective term is the family of biantiprismatic rings, and the specific term is the n-gonal biantiprismatic ring, e.g. square biantiprismatic ring. These ringed forms are included as an infinite subfamily in Klitzing's list of segmentotopes where they are numbered among the wedges.
  • The n-gonal pyramid antiprisms (n-gonal pyramid || inverted gyro n-gonal pyramid) are CRF, and for n=4 and n=5, non-orbiform. (For n=3, it is identical to the 16-cell.) They are identical to the n-antiprism bipyramid.

Pages in this category (7)