Bass diffusion model: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older edit
Improved structure. Model popularity / adoption comments in new section.
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
{{Confusing|date=September 2008}}
Hi there, I am Sophia. I am presently a travel agent. Her family life in Alaska but her husband desires them to move. What me and my family adore is performing ballet but I've been using on new things recently.<br><br>Feel free to visit my blog - best psychic - [https://www.machlitim.org.il/subdomain/megila/end/node/12300 https://www.machlitim.org.il/subdomain/megila/end/node/12300],
{| class=wikitable width=320 align=right
|+ Convex uniform polytopes
|-
!2D
!3D
|- valign=top
|[[File:Truncated triangle.png|160px]]<BR>Truncated triangle is a uniform hexagon, with [[Coxeter diagram]] {{CDD|node_1|3|node_1}}.
|[[File:Truncated octahedron.png|160px]]<BR>[[Truncated octahedron]], {{CDD|node_1|3|node_1|4|node}}
|- valign=top
!4D
!5D
|- valign=top
|[[File:Schlegel half-solid truncated 16-cell.png|160px]]<BR>[[Truncated 16-cell]], {{CDD|node_1|3|node_1|3|node|4|node}}
|[[File:5-cube t34 B4.svg|160px]]<BR>[[Truncated 5-orthoplex]], {{CDD|node_1|3|node_1|3|node|3|node|4|node}}
|}
 
A '''uniform polytope''' of dimension three or higher is a [[vertex-transitive]] [[polytope]] bounded by uniform [[Facet (mathematics)|facets]]. The uniform polytopes in two dimensions are the [[regular polygon]]s, although even-sided polygons can be seen as uniform by alternating two colors of edges, represented by a 2-ring [[Coxeter diagram]] {{CDD|node_1|p|node_1}}.
 
This is a generalization of the older category of [[semiregular polytope|'''semiregular''' polytopes]], but also includes the [[regular polytope]]s. Further, [[Star polygon|nonconvex regular]] faces and [[vertex figure]]s ([[star polygon]]s) are allowed, which greatly expand the possible solutions.  A strict definition requires uniform polytopes to be finite, while a more expansive definition allows [[uniform tessellation]]s (tilings and [[Honeycomb (geometry)|honeycombs]]) of Euclidean and hyperbolic space to be considered polytopes as well.
 
== Operations ==
 
Nearly every uniform polytope can be generated by a [[Wythoff construction]], and represented by a [[Coxeter-Dynkin diagram]]. Notable exceptions include the [[grand antiprism]] in four dimensions. The terminology for the convex uniform polytopes used in [[uniform polyhedron]], [[uniform polychoron]], [[uniform polyteron]], [[uniform polypeton]], [[uniform tiling]], and [[convex uniform honeycomb]] articles were coined by [[Norman Johnson (mathematician)|Norman Johnson]].
 
Equivalently, the Wythoffian polytopes can be generated by applying basic operations to the regular polytopes in that dimension. This approach was first used by [[Johannes Kepler]], and is the basis of the [[Conway polyhedron notation]].
 
=== Rectification operators ===
 
Regular n-polytopes have ''n'' orders of [[Rectification (geometry)|rectification]]. The zeroth rectification is the original form. The (''n''&minus;1)th rectification is the [[dual polytope|dual]]. The first rectification reduces edges to vertices. The second rectification reduces faces to vertices. The third rectification reduces cells to vertices, etc.
 
An extended [[Schläfli symbol]] can be used for representing rectified forms, with a single subscript:
* ''k''-th rectification = '''t<sub>k</sub>'''{p<sub>1</sub>, p<sub>2</sub>, ..., p<sub>n-1</sub>} = ''k'''''r'''.
 
=== Truncation operators ===
 
Truncation operations that can be applied to regular ''n''-polytopes in any combination.  The resulting Coxeter-Dynkin diagram has two ringed nodes, and the operation is named for the distance between them.  '''Truncation''' cuts vertices, '''cantellation''' cut edges, '''runcination''' cuts faces, '''sterication''' cut cells. Each higher operation also cuts lower ones too, so a cantellation also truncates vertices.
 
# '''t<sub>0,1</sub>''' or '''t''': [[Truncation (geometry)|'''Truncation''']] - applied to [[polygon]]s and higher. A truncation removes vertices, and inserts a new facet in place of each former vertex. Faces are truncated, doubling their edges. (The term, coined by [[Kepler]], comes from Latin ''truncare'' 'to cut off'.)
#: [[File:Cube truncation sequence.svg|480px]]
#* There are higher truncations also: '''[[bitruncation]]''' '''t<sub>1,2</sub>''' or '''2t''', '''tritruncation''' '''t<sub>2,3</sub>''' or '''3t''', '''quadritruncation''' '''t<sub>3,4</sub>''' or '''4t''', '''quintitruncation''' '''t<sub>4,5</sub>''' or '''5t''', etc.
# '''t<sub>0,2</sub>''' or '''rr''': [[Cantellation (geometry)|'''Cantellation''']] - applied to [[Uniform polyhedron|polyhedra]] and higher. It can be seen as rectifying its [[rectification (geometry)|rectification]]. A cantellation truncates both vertices and edges and replaces them with new facets. Cells are replaced by topologically [[Expansion (geometry)|expanded]] copies of themselves. (The term, coined by Johnson, is derived from the verb ''cant'', like ''[[bevel]]'', meaning to cut with a slanted face.)
#: [[File:Cube cantellation sequence.svg|480px]]
#* There are higher cantellations also: '''bicantellation''' '''t<sub>1,3</sub>''' or '''r2r''', '''tricantellation''' '''t<sub>2,4</sub>''' or '''r3r''', '''quadricantellation''' '''t<sub>3,5</sub>''' or '''r4r''', etc.
#* '''t<sub>0,1,2</sub>''' or '''tr''': '''Cantitruncation''' - applied to [[Uniform polyhedron|polyhedra]] and higher. It can be seen as a truncation of its [[rectification (geometry)|rectification]]. A cantitruncation truncates both vertices and edges and replaces them with new facets. Cells are replaced by topologically [[Expansion (geometry)|expanded]] copies of themselves. (The composite term combines cantellation and truncation)
#** There are higher cantellations also: '''bicantitruncation''' '''t<sub>1,2,3</sub>''' or '''t2r''', '''tricantitruncation''' '''t<sub>2,3,4</sub>''' or '''t3r''', '''quadricantitruncation''' '''t<sub>3,4,5</sub>''' or '''t4r''', etc.
# '''t<sub>0,3</sub>''': '''[[Runcination]]''' - applied to [[Uniform polychoron|polychora]] and higher. Runcination truncates vertices, edges, and faces, replacing them each with new facets. 4-faces are replaced by topologically expanded copies of themselves. (The term, coined by Johnson, is derived from Latin ''runcina'' 'carpenter's [[Plane (tool)|plane]]'.)
#* There are higher runcinations also: '''biruncination''' '''t<sub>1,4</sub>''', '''triruncination''' '''t<sub>2,5</sub>''', etc.
# '''t<sub>0,4</sub>''' or '''2r2r''': '''Sterication''' - applied to [[Uniform polyteron|5-polytopes]] and higher. It can be seen as birectifying its birectification. Sterication truncates vertices, edges, faces, and cells, replacing each with new facets. 5-faces are replaced by topologically expanded copies of themselves. (The term, coined by Johnson, is derived from Greek ''stereos'' 'solid'.)
#* There are higher sterications also: '''bisterication''' '''t<sub>1,5</sub>''' or '''2r3r''', '''tristerication''' '''t<sub>2,6</sub>''' or '''2r4r''', etc.
#* '''t<sub>0,2,4</sub>''' or '''2t2r''': '''Stericantellation''' - applied to [[Uniform polyteron|5-polytopes]] and higher. It can be seen as bitruncation its birectification.
#** There are higher sterications also: '''bistericantellation''' '''t<sub>1,3,5</sub>''' or '''2t3r''', '''tristericantellation''' '''t<sub>2,4,6</sub>''' or '''2t4r''', etc.
# '''t<sub>0,5</sub>''': '''Pentellation''' - applied to [[Uniform polypeton|6-polytopes]] and higher. Pentellation truncates vertices, edges, faces, cells, and 4-faces, replacing each with new facets. 6-faces are replaced by topologically expanded copies of themselves. (Pentellation is derived from Greek ''[[penta-|pente]]'' 'five'.)
#* There are higher pentellations also: '''bipentellation''' '''t<sub>1,6</sub>''', '''tripentellation''' '''t<sub>2,7</sub>''', etc.
# '''t<sub>0,6</sub>''' or '''3r3r''': '''Hexication''' - applied to [[Uniform polyexon|7-polytopes]] and higher.  It can be seen as trirectifying its trirectification. Hexication truncates vertices, edges, faces, cells, 4-faces, and 5-faces, replacing each with new facets. 7-faces are replaced by topologically expanded copies of themselves. (Hexication is derived from Greek ''[[hexa-|hex]]'' 'six'.)
#* There are higher hexications also: '''bihexication''': '''t<sub>1,7</sub>''' or '''3r4r''', '''trihexication''': '''t<sub>2,8</sub>''' or '''3r5r''', etc.
#* '''t<sub>0,3,6</sub>''' or '''3t3r''': '''Hexiruncinated''' - applied to [[Uniform polyexon|7-polytopes]] and higher.  It can be seen as tritruncation its trirectification.
#** There are higher hexiruncinated also: '''bihexiruncinated''': '''t<sub>1,4,7</sub>''' or '''3t4r''', '''trihexiruncinated''': '''t<sub>2,5,8</sub>''' or '''3t5r''', etc.
# '''t<sub>0,7</sub>''': '''Heptellation''' - applied to [[Uniform polyzetton|8-polytopes]] and higher. Heptellation truncates vertices, edges, faces, cells, 4-faces, 5-faces, and 6-faces, replacing each with new facets. 8-faces are replaced by topologically expanded copies of themselves. (Heptellation is derived from Greek ''[[hepta-|hepta]]'' 'seven'.)
#* There are higher heptellations also: '''biheptellation''' '''t<sub>1,8</sub>''', '''triheptellation''' '''t<sub>2,9</sub>''', etc.
 
In addition combinations of truncations can be performed which also generate new uniform polytopes. For example a ''runcitruncation'' is a ''runcination'' and ''truncation'' applied together.
 
If all truncations are applied at once the operation can be more generally called an [[omnitruncation]].
 
=== Alternation ===
 
One special operation, called [[Alternation (geometry)|alternation]], removes alternate vertices from a polytope with only even-sided faces.  An alternated omnitruncated polytope is called a ''snub''.
 
The resulting polytopes always can be constructed, and are not generally reflective, and also do not in general have ''uniform'' polytope solutions.
 
[[File:Snubcubes in grCO.svg|480px]]<BR>An alternation of a [[truncated cuboctahedron]] produces a [[snub cube]].
 
The set of polytopes formed by alternating the [[hypercube]]s are known as [[demicube]]s. In three dimensions, this produces a [[tetrahedron]]; in four dimensions, this produces a [[16-cell]], or ''demitesseract''.
 
== Vertex figure ==
 
Uniform polytopes can be constructed from their [[vertex figure]], the arrangement of edges, faces, cells, etc. around each vertex. Uniform polytopes represented by a [[Coxeter-Dynkin diagram]], marking active mirrors by rings, have reflectional symmetry, and can be simply constructed by recursive reflections of the vertex figure.
 
A smaller number of nonreflectional uniform polytopes have a single vertex figure but are not repeated by simple reflections.  Most of these can be represented with operations like [[Alternation (geometry)|alternation]] of other uniform polytopes.
 
Vertex figures for single-ringed [[Coxeter-Dynkin diagram]]s can be constructed from the diagram by removing the ringed node, and ringing neighboring nodes. Such vertex figures are themselves vertex-transitive.
 
Multiringed polytopes can be constructed by a slightly more complicated construction process, and their topology is not a uniform polytope. For example, the vertex figure of a [[truncation (geometry)|truncated]] regular polytope (with 2 rings) is a pyramid. An [[omnitruncation|omnitruncated]] polytope (all nodes ringed) will always have an irregular [[simplex]] as its vertex figure.
 
== Circumradius ==
 
Uniform polytopes have equal edge-lengths, and all vertices are an equal distance from the center, called the '''circumradius'''.
 
Uniform polytopes whose circumradius is equal to the edge length can be used as [[vertex figure]]s for [[uniform tessellation]]s. For example, the regular [[hexagon]] divides into 6 equilateral triangles and is the vertex figure for the regular [[triangular tiling]]. Also the [[cuboctahedron]] divides into 8 regular tetrahedra and 6 square pyramids (half [[octahedron]]), and it is the vertex figure for the [[alternated cubic honeycomb]].
 
== Uniform polytopes by dimension ==
 
It is useful to classify the uniform polytopes by dimension. This is equivalent to the number of nodes on the Coxeter-Dynkin diagram, or the number of hyperplanes in the Wythoffian construction. Because (''n''+1)-dimensional polytopes are tilings of ''n''-dimensional spherical space, tilings of ''n''-dimensional [[Euclidean space|Euclidean]] and [[hyperbolic space]] are also considered to be (''n''+1)-dimensional.  Hence, the tilings of two-dimensional space are grouped with the three-dimensional solids.
 
=== One dimension ===
 
The only one-dimensional polytope is the line segment. It corresponds to the Coxeter family A<sub>1</sub>.
 
=== Two dimensions ===
 
In two dimensions, there is an infinite family of convex uniform polytopes, the [[regular polygon]]s, the simplest being the equilateral [[triangle]]. Truncated regular polygons become bicolored geometrically regular polygons of twice as many sides. The first few regular polygons are displayed below:
 
{| class="wikitable" style="text-align:center;"
|- bgcolor="#e0e0e0" valign="top"
!Name
![[Equilateral triangle|Triangle]]<br />([[Simplex|2-simplex]])
![[Square (geometry)|Square]]<br />([[Cross-polytope|2-orthoplex]])<br />([[Hypercube|2-cube]])
![[Pentagon]]
![[Hexagon]]
![[Heptagon]]
![[Octagon]]
![[Enneagon]]
![[Decagon]]
![[Hendecagon]]
![[Dodecagon]]
|- bgcolor="#ffe0e0"
![[Schläfli symbol|Schläfli]]
|{3}
|{4}
|{5}
|{6}
|{7}
|{8}
|{9}
|{10}
|{11}
|{12}
|- valign=top
![[Coxeter diagram|Coxeter<BR>diagram]]
|{{CDD|node_1|3|node}}
|{{CDD|node_1|4|node}}<br>{{CDD|node_1|2|node_1}}
|{{CDD|node_1|5|node}}
|{{CDD|node_1|6|node}}<br>{{CDD|node_1|3|node_1}}
|{{CDD|node_1|7|node}}
|{{CDD|node_1|8|node}}<br>{{CDD|node_1|4|node_1}}
|{{CDD|node_1|9|node}}
|{{CDD|node_1|10|node}}<br>{{CDD|node_1|5|node_1}}
|{{CDD|node_1|11|node}}
|{{CDD|node_1|12|node}}<br>{{CDD|node_1|6|node_1}}
|- valign=top
!Image
|[[Image:Regular triangle.svg|75px]]
|[[Image:Regular quadrilateral.svg|75px]]<BR>[[File:Truncated digon.png|75px]]
|[[Image:Regular pentagon.svg|75px]]
|[[Image:Regular hexagon.svg|75px]]<BR>[[File:Truncated triangle.png|75px]]
|[[Image:Regular heptagon.svg|75px]]
|[[Image:Regular octagon.svg|75px]]<BR>[[File:Truncated square.png|75px]]
|[[Image:Regular nonagon.svg|75px]]
|[[Image:Regular decagon.svg|75px]]<BR>[[File:Truncated pentagon.png|75px]]
|[[Image:Regular hendecagon.svg|75px]]
|[[Image:Regular dodecagon.svg|75px]]<BR>[[File:Truncated hexagon.png|75px]]
|}
 
There is also an infinite set of [[star polygon]]s (one for each [[rational number]] greater than 2), but these are non-convex. The simplest example is the [[pentagram]], which corresponds to the rational number 5/2.
 
{| class="wikitable" style="text-align:center;"
|- bgcolor="#e0e0e0"
!Name
|[[Pentagram]]
| colspan="2" | [[Heptagram]]s
|[[Octagram]]
| colspan="2" | [[Enneagram (geometry)|Enneagrams]]
|[[Decagram (geometry)|Decagram]]
|...[[star polygon|n-agrams]]
|- bgcolor="#ffe0e0"
![[Schläfli symbol|Schläfli]]
|{5/2}
|{7/2}
|{7/3}
|{8/3}
|{9/2}
|{9/4}
|{10/3}
|{''p/q''}
|-
![[Coxeter diagram|Coxeter<BR>diagram]]
|{{CDD|node_1|5|rat|d2|node}}
|{{CDD|node_1|7|rat|d2|node}}
|{{CDD|node_1|7|rat|d3|node}}
|{{CDD|node_1|8|rat|d3|node}}<br>{{CDD|node_1|4|rat|d3|node_1}}
|{{CDD|node_1|9|rat|d2|node}}
|{{CDD|node_1|9|rat|d4|node}}
|{{CDD|node_1|10|rat|d3|node}}<br>{{CDD|node_1|5|rat|d3|node_1}}
|{{CDD|node_1|p|rat|dq|node}}
|-
!Image
|[[Image:Star polygon 5-2.svg|75px]]
|[[Image:Star polygon 7-2.svg|75px]]
|[[Image:Star polygon 7-3.svg|75px]]
|[[Image:Star polygon 8-3.svg|75px]]
|[[Image:Star polygon 9-2.svg|75px]]
|[[Image:Star polygon 9-4.svg|75px]]
|[[Image:Star polygon 10-3.svg|75px]]
|&nbsp;
|}
 
Regular polygons, represented by [[Schläfli symbol]] {p} for a p-gon. Regular polygons are self-dual, so the rectification produces the same polygon. The uniform truncation operation doubles the sides to {2p}. The snub operation, alternating the truncation, restores the original polygon {p}. Thus all uniform polygons are also regular. The following operations can be performed on regular polygons to derive the uniform polygons, which are also regular polygons:
 
{| class="wikitable" valign=center
!rowspan=2|Operation
!rowspan=2 colspan=2|Extended<BR>Schläfli<BR>Symbols
!rowspan=2|Regular<BR>result
!rowspan=2|[[Coxeter diagram|Coxeter<BR>diagram]]
!colspan=2|Position
!rowspan=2|[[Coxeter notation|Symmetry]]
|- BGCOLOR="#f0e0e0" align=center
! (1)
! (0)
|- BGCOLOR="#f0e0e0" align=center
| '''Parent'''
| {p}|| t<sub>0</sub>{p}
| {p}
|{{CDD|node_1|p|node}}
| {}
| --
| [p]<BR>(order 2p)
|- BGCOLOR="#e0e0f0" align=center
| '''Rectified'''<BR>(Dual)
| r{p}||t<sub>1</sub>{p}
| {p}
|{{CDD|node|p|node_1}}
| --
| {}
| [p]<BR>(order 2p)
|- BGCOLOR="#e0f0e0" align=center
| '''Truncated'''
| t{p}||t<sub>0,1</sub>{p}
| {2p}
| {{CDD|node_1|p|node_1}}
| {}
| {}
| [</span>[p]]=[2p]<BR>(order 4p)
|- BGCOLOR="#e0f0e0" align=center
| Half
| colspan=2|h{2p}
| {p}
|{{CDD|node_h|2x|p|node}}
| --
| --
| [1<sup>+</sup>,2p]=[p]<BR>(order 2p)
|- BGCOLOR="#e0f0e0" align=center
| '''Snub'''
|colspan=2| s{p}
| {p}
|{{CDD|node_h|p|node_h}}
| --
| --
| [</span>[p]]<sup>+</sup>=[p]<BR>(order 2p)
|}
 
=== Three dimensions ===
 
{{Main|Uniform polyhedron}}
 
In three dimensions, the situation gets more interesting. There are five regular polyhedra, known as the [[Platonic solid]]s:
 
{| class="wikitable" style="text-align:center;"
|- valign="top"
!Name
![[Schläfli symbol|Schläfli]]<br />{p,q}
![[Coxeter-Dynkin diagram|Dynkin]]<br />{{CDD|node_1|p|node|q|node}}
!Image<BR>(transparent)
!Image<BR>(solid)
!Image<BR>(sphere)
![[Face (geometry)|Faces]]<br />{p}
![[Edge (geometry)|Edges]]
![[Vertex (geometry)|Vertices]]<br />{q}
![[Symmetry group|Symmetry]]
![[Dual polyhedron|Dual]]
|- bgcolor="#e0e0e0"
|[[Tetrahedron]]<br />([[Simplex|3-simplex]])<br />(Pyramid)
|{3,3}
|{{CDD|node_1|3|node|3|node}}
|[[Image:Tetrahedron.svg|75px]]
|[[Image:Tetrahedron.png|75px]]
|[[File:Uniform tiling 332-t0-1-.png|75px]]
|4<br />{3}
|6
|4<br />{3}
|T<sub>d</sub>
|(self)
|- bgcolor="#ffe0e0"
|[[Cube]] <br />([[hypercube|3-cube]])<br />(Hexahedron)
|{4,3}
|{{CDD|node_1|4|node|3|node}}
|[[Image:Hexahedron.svg|75px]]
|[[Image:Hexahedron.png|75px]]
|[[File:Uniform tiling 432-t0.png|75px]]
|6<br />{4}
|12
|8<br />{3}
|O<sub>h</sub>
|Octahedron
|- bgcolor="#e0e0ff"
|[[Octahedron]]<br />([[Cross-polytope|3-orthoplex]])
|{3,4}
|{{CDD|node_1|3|node|4|node}}
|[[Image:Octahedron.svg|75px]]
|[[Image:Octahedron.png|75px]]
|[[File:Uniform tiling 432-t2.png|75px]]
|8<br />{3}
|12
|6<br />{4}
|O<sub>h</sub>
|Cube
|- bgcolor="#ffe0e0"
|[[Dodecahedron]]
|{5,3}
|{{CDD|node_1|5|node|3|node}}
|[[Image:POV-Ray-Dodecahedron.svg|75px]]
|[[Image:Dodecahedron.png|75px]]
|[[File:Uniform tiling 532-t0.png|75px]]
|12<br />{5}
|30
|20<br />{3}2
|I<sub>h</sub>
|Icosahedron
|- bgcolor="#e0e0ff"
|[[Icosahedron]]
|{3,5}
|{{CDD|node_1|3|node|5|node}}
|[[Image:Icosahedron.svg|75px]]
|[[Image:Icosahedron.png|75px]]
|[[File:Uniform tiling 532-t2.png|75px]]
|20<br />{3}
|30
|12<br />{5}
|I<sub>h</sub>
|Dodecahedron
|}
 
In addition to these, there are also 13 semiregular polyhedra, or [[Archimedean solid]]s, which can be obtained via [[Wythoff construction]]s, or by performing operations such as [[truncation (geometry)|truncation]] on the Platonic solids, as demonstrated in the following table:
 
{| class="wikitable"
|-
!
!Parent
!Truncated
!Rectified
!Bitruncated<BR>(tr. dual)
!Birectified<BR>(dual)
!Cantellated
!Omnitruncated<BR>(<small>Cantitruncated</small>)
!Snub
|-
|[[Tetrahedral symmetry|Tetrahedral]]<BR>3-3-2
|[[Image:Uniform polyhedron-33-t0.png|64px]]<BR>[[Tetrahedron|{3,3}]]
|[[Image:Uniform polyhedron-33-t01.png|64px]]<BR>[[Truncated tetrahedron|(3.6.6)]]
|[[Image:Uniform polyhedron-33-t1.png|64px]]<BR>[[Octahedron|(3.3.3.3)]]
|[[Image:Uniform polyhedron-33-t12.png|64px]]<BR>[[Truncated tetrahedron|(3.6.6)]]
|[[Image:Uniform polyhedron-33-t2.png|64px]]<BR>[[Tetrahedron|{3,3}]]
| [[Image:Uniform polyhedron-33-t02.png|64px]]<BR>[[Cuboctahedron|(3.4.3.4)]]
|[[Image:Uniform polyhedron-33-t012.png|64px]]<BR>[[Truncated octahedron|(4.6.6)]]
|[[Image:Uniform polyhedron-33-s012.png|64px]]<BR>[[Icosahedron|(3.3.3.3.3)]]
|-
|[[Octahedral symmetry|Octahedral]]<BR>4-3-2
|[[Image:Uniform polyhedron-43-t0.png|64px]]<BR>[[Cube|{4,3}]]
|[[Image:Uniform polyhedron-43-t01.png|64px]]<BR>[[Truncated cube|(3.8.8)]]
|[[Image:Uniform polyhedron-43-t1.png|64px]]<BR>[[Cuboctahedron|(3.4.3.4)]]
|[[Image:Uniform polyhedron-43-t12.png|64px]]<BR>[[Truncated octahedron|(4.6.6)]]
|[[Image:Uniform polyhedron-43-t2.png|64px]]<BR>[[Octahedron|{3,4}]]
|[[Image:Uniform polyhedron-43-t02.png|64px]]<BR>[[Small rhombicuboctahedron|(3.4.4.4)]]
|[[Image:Uniform polyhedron-43-t012.png|64px]]<BR>[[Truncated cuboctahedron|(4.6.8)]]
|[[Image:Uniform polyhedron-43-s012.png|64px]]<BR>[[Snub cube|(3.3.3.3.4)]]
|-
|[[Icosahedral symmetry|Icosahedral]]<BR>5-3-2
|[[Image:Uniform polyhedron-53-t0.png|64px]]<BR>[[Dodecahedron|{5,3}]]
|[[Image:Uniform polyhedron-53-t01.png|64px]]<BR>[[Truncated dodecahedron|(3.10.10)]]
|[[Image:Uniform polyhedron-53-t1.png|64px]]<BR>[[Icosidodecahedron|(3.5.3.5)]]
|[[Image:Uniform polyhedron-53-t12.png|64px]]<BR>[[Truncated icosahedron|(5.6.6)]]
|[[Image:Uniform polyhedron-53-t2.png|64px]]<BR>[[Icosahedron|{3,5}]]
|[[Image:Uniform polyhedron-53-t02.png|64px]]<BR>[[Rhombicosidodecahedron|(3.4.5.4)]]
|[[Image:Uniform polyhedron-53-t012.png|64px]]<BR>[[Truncated icosidodecahedron|(4.6.10)]]
|[[Image:Uniform polyhedron-53-s012.png|64px]]<BR>[[Snub dodecahedron|(3.3.3.3.5)]]
|}
 
There is also the infinite set of [[Prism (geometry)|prisms]], one for each regular polygon, and a corresponding set of [[antiprism]]s.
 
{| class="wikitable"
!#
!Name
!Picture
!Tiling
![[Vertex figure|Vertex<BR>figure]]
![[Coxeter-Dynkin diagram|Coxeter-Dynkin]]<BR>and [[Schläfli symbol#Extended for uniform polychora and 3-space honeycombs|Schläfli]]<BR>symbols
|- BGCOLOR="#e0f0e0"
!P<sub>2p</sub>
|[[Prism (geometry)|Prism]]
|[[Image:Dodecagonal prism.png|60px]]
|[[File:Spherical truncated hexagonal prism.png|60px]]
|[[Image:Dodecagonal prism vf.png|60px]]
|align=center|{{CDD|node_1|p|node_1|2|node_1}}<BR>tr{2,p}
|- BGCOLOR="#d0f0f0"
!A<sub>p</sub>
|[[Antiprism]]
|[[Image:Hexagonal antiprism.png|60px]]
|[[File:Spherical hexagonal antiprism.png|60px]]
|[[Image:Hexagonal antiprism vertfig.png|60px]]
|align=center|{{CDD|node_h|p|node_h|2|node_h}}<BR>sr{2,p}
|}
 
The nonconvex uniform polyhedra include a further 4 regular polyhedra, the [[Kepler-Poinsot polyhedra]], and 53 semiregular nonconvex polyhedra. There are also two infinite sets, the star prisms (one for each star polygon) and star antiprisms (one for each rational number greater than 3/2).
 
==== Constructions ====
 
The Wythoffian uniform polyhedra and tilings can be defined by their [[Wythoff symbol]], which specifies the [[fundamental region]] of the object. An extension of [[Schläfli symbol|Schläfli]] notation, also used by [[Harold Scott MacDonald Coxeter|Coxeter]], applies to all dimensions; it consists of the letter 't', followed by a series of subscripted numbers corresponding to the ringed nodes of the [[Coxeter-Dynkin diagram]], and followed by the Schläfli symbol of the regular seed polytope. For example, the [[truncated octahedron]] is represented by the notation: t<sub>0,1</sub>{3,4}.
 
{| class="wikitable" valign=center
!rowspan=2|Operation
!rowspan=2 colspan=3|Extended<BR>Schläfli<BR>Symbols
!rowspan=2 colspan=2|[[Coxeter-Dynkin diagram|Coxeter-<BR>Dynkin<BR>Diagram]]
!rowspan=2|[[Wythoff construction|Wythoff<BR>symbol]]
!colspan=7|Position
|- BGCOLOR="#f0e0e0" align=center
! (2)
! (1)
! (0)
! (0,1)
! (0,2)
! (1,2)
|- BGCOLOR="#f0e0e0" align=center
| '''Parent'''
| <math>\begin{Bmatrix} p , q \end{Bmatrix}</math>
| {p,q}
| t<sub>0</sub>{p,q}
|colspan=2|{{CDD|node_1|p|node|q|node}}
| q &#124; 2 p
| {p}
| {}
| --
| --
| --
| {}
|-BGCOLOR="#e0e0f0" align=center
| Birectified<BR>(or '''[[Dual polyhedron|dual]]''')
| <math>\begin{Bmatrix} q , p \end{Bmatrix}</math>
| {q,p}
| t<sub>2</sub>{p,q}
|colspan=2|{{CDD|node|p|node|q|node_1}}
| p &#124; 2 q
| --
| {}
| {q}
| {}
| --
| --
|- BGCOLOR="#f0e0e0" align=center
| [[Truncation (geometry)|Truncated]]
| <math>t\begin{Bmatrix} p , q \end{Bmatrix}</math>
| t{p,q}
| t<sub>0,1</sub>{p,q}
|colspan=2|{{CDD|node_1|p|node_1|q|node}}
| 2 q &#124; p
| {2p}
| {}
| {q}
| --
| {}
| {}
|- BGCOLOR="#e0e0f0" align=center
| [[Bitruncation (geometry)|Bitruncated]]<BR>(or truncated dual)
| <math>t\begin{Bmatrix} q , p \end{Bmatrix}</math>
| t{q,p}
| t<sub>1,2</sub>{p,q}
|colspan=2|{{CDD|node|p|node_1|q|node_1}}
| 2 p &#124; q
| {p}
| {}
| {2q}
| {}
| {}
| --
|- BGCOLOR="#e0f0e0" align=center
| '''[[Rectification (geometry)|Rectified]]'''
|<math>\begin{Bmatrix} p \\ q \end{Bmatrix}</math>
| r{p,q}
| t<sub>1</sub>{p,q}
|{{CDD|node_1|split1-pq|nodes}}||{{CDD|node|p|node_1|q|node}}
| 2 &#124; p q
| {p}
| --
| {q}
| --
| {}
| --
|- BGCOLOR="#e0f0e0" align=center
|[[Cantellation (geometry)|Cantellated]]<BR>(or [[Expansion (geometry)|expanded]])
|<math>r\begin{Bmatrix} p \\ q \end{Bmatrix}</math>
| rr{p,q}
| t<sub>0,2</sub>{p,q}
|{{CDD|node|split1-pq|nodes_11}}||{{CDD|node_1|p|node|q|node_1}}
| p q &#124; 2
| {p}
| {}x{}
| {q}
| {}
| --
| {}
|- BGCOLOR="#e0f0e0" align=center
| Cantitruncated<BR>(or [[Omnitruncation|omnitruncated]])
|<math>t\begin{Bmatrix} p \\ q \end{Bmatrix}</math>
| tr</sub>{p,q}
| t<sub>0,1,2</sub>{p,q}
|{{CDD|node_1|split1-pq|nodes_11}}||{{CDD|node_1|p|node_1|q|node_1}}
| 2 p q &#124;
| {2p}
| {}x{}
| {2q}
| {}
| {}
| {}
|- BGCOLOR="#e0f0e0" align=center
|[[Snub (geometry)|Snub]]
|<math>s\begin{Bmatrix} p \\ q \end{Bmatrix}</math>
|colspan=2|sr{p,q}
||{{CDD|node_h|split1-pq|nodes_hh}}||{{CDD|node_h|p|node_h|q|node_h}}
| &#124; 2 p q
| {p}
| {3}<BR>{3}
| {q}
| --
| --
| --
|}
 
{|
|[[Image:Polyhedron truncation example3.png|320px]]
|[[Image:Wythoffian construction diagram.png|320px]]<BR>Generating triangles
|}
 
=== Four dimensions ===
 
{{Main|Uniform polychoron}}
 
In four dimensions, there are 6 [[convex regular polychora]], 17 prisms on the Platonic and Archimedean solids (excluding the cube-prism, which has already been counted as the [[tesseract]]), and two infinite sets: the prisms on the convex antiprisms, and the [[duoprism]]s. There are also 41 convex semiregular polychora, including the [[non-Wythoffian]] [[grand antiprism]] and the [[snub 24-cell]]. Both of these special polychora are composed of subgroups of the vertices of the [[600-cell]].
 
The four-dimensional nonconvex uniform polytopes have not all been enumerated. The ones that have include the 10 regular nonconvex polychora ([[Schläfli-Hess polychoron|Schläfli-Hess polychora]]) and 57 prisms on the nonconvex uniform polyhedra, as well as three infinite families: the prisms on the star antiprisms, the duoprisms formed by [[Cartesian product|multiplying]] two star polygons, and the duoprisms formed by multiplying an ordinary polygon with a star polygon. There is an unknown number of polychora that do not fit into the above categories; over one thousand have been discovered so far.
 
[[Image:Polychoron tetrahedral domain.png|240px|thumb|Example tetrahedron in [[cubic honeycomb]] cell.<BR>''There are 3 right dihedral angles (2 intersecting perpendicular mirrors):<BR>Edges 1 to 2, 0 to 2, and 1 to 3.'']]
[[Image:Polychoron truncation chart.png|240px|thumb|Summary chart of truncation operations]]
Every regular polytope can be seen as the images of a [[fundamental region]] in a small number of mirrors.  In a 4-dimensional polytope (or 3-dimensional cubic honeycomb) the fundamental region is bounded by four mirrors.  A mirror in 4-space is a three-dimensional [[hyperplane]], but it is more convenient for our purposes to consider only its two-dimensional intersection with the three-dimensional surface of the [[hypersphere]]; thus the mirrors form an irregular [[tetrahedron]].
 
Each of the sixteen [[List of regular polytopes#Four-dimensional regular polytopes|regular polychora]] is generated by one of four symmetry groups, as follows:
* group [3,3,3]: the [[5-cell]] {3,3,3}, which is self-dual;
* group [3,3,4]: [[16-cell]] {3,3,4} and its dual [[tesseract]] {4,3,3};
* group [3,4,3]: the [[24-cell]] {3,4,3}, self-dual;
* group [3,3,5]: [[600-cell]] {3,3,5}, its dual [[120-cell]] {5,3,3}, and their ten regular stellations.
* group [3<sup>1,1,1</sup>]: contains only repeated members of the [3,3,4] family.
 
(The groups are named in [[Harold Scott MacDonald Coxeter|Coxeter]] notation.)
 
Eight of the [[convex uniform honeycomb]]s in Euclidean 3-space are analogously generated from the [[cubic honeycomb]] {4,3,4}, by applying the same operations used to generate the Wythoffian uniform polychora.
 
For a given symmetry simplex, a generating point may be placed on any of the four vertices, 6 edges, 4 faces, or the interior volume.  On each of these 15 elements there is a point whose images, reflected in the four mirrors, are the vertices of a uniform polychoron.
 
The extended Schläfli symbols are made by a '''t''' followed by inclusion of one to four subscripts 0,1,2,3.  If there's one subscript, the generating point is on a corner of the fundamental region, i.e. a point where three mirrors meet.  These corners are notated as
* '''0''': vertex of the parent polychoron (center of the dual's cell)
* '''1''': center of the parent's edge (center of the dual's face)
* '''2''': center of the parent's face (center of the dual's edge)
* '''3''': center of the parent's cell (vertex of the dual)
 
(For the two self-dual polychora, "dual" means a similar polychoron in dual position.)  Two or more subscripts mean that the generating point is between the corners indicated.
 
==== Constructive summary ====
 
The 15 constructive forms by family are summarized below. The self-dual families are listed in one column, and others as two columns with shared entries on the symmetric [[Coxeter-Dynkin diagram]]s. The final 10th row lists the snub 24-cell constructions. This includes all nonprismatic uniform polychora, except for the [[non-Wythoffian]] [[grand antiprism]], which has no Coxeter family.
 
{| class="wikitable" width=420
!'''A'''<sub>4</sub>
!colspan=2|'''BC'''<sub>4</sub>
!'''D'''<sub>4</sub>
!'''F'''<sub>4</sub>
!colspan=2|'''H'''<sub>4</sub>
|-
![3,3,3]<BR>{{CDD|node|3|node|3|node|3|node}}
!colspan=2|[4,3,3]<BR>{{CDD|node|4|node|3|node|3|node}}
![3,3<sup>1,1</sup>]<BR>{{CDD|nodea|3a|branch|3a|nodea}}
![3,4,3]<BR>{{CDD|node|3|node|4|node|3|node}}
!colspan=2|[5,3,3]<BR>{{CDD|node|5|node|3|node|3|node}}
|- align=center valign=top
|[[5-cell]]<BR>[[Image:Schlegel wireframe 5-cell.png|60px]]<BR>{{CDD|node_1|3|node|3|node|3|node}}<BR>{3,3,3}
|[[16-cell]]<BR>[[Image:Schlegel wireframe 16-cell.png|60px]]<BR>{{CDD|node|4|node|3|node|3|node_1}}<BR>{3,3,4}
|[[tesseract]]<BR>[[Image:Schlegel wireframe 8-cell.png|50px]]<BR>{{CDD|node_1|4|node|3|node|3|node}}<BR>{4,3,3}
|[[demitesseract]]<BR>[[Image:Schlegel wireframe 16-cell.png|60px]]<BR>{{CDD|nodea_1|3a|branch|3a|nodea}}<P>{3,3<sup>1,1</sup>}
|[[24-cell]]<BR>[[Image:Schlegel wireframe 24-cell.png|60px]]<BR>{{CDD|node_1|3|node|4|node|3|node}}<BR>{3,4,3}
![[600-cell]]<BR>[[Image:Schlegel wireframe 600-cell vertex-centered.png|60px]]<BR>{{CDD|node|5|node|3|node|3|node_1}}<BR>{3,3,5}
![[120-cell]]<BR>[[Image:Schlegel wireframe 120-cell.png|60px]]<BR>{{CDD|node_1|5|node|3|node|3|node}}<BR>{5,3,3}
|- align=center valign=top
|[[rectified 5-cell]]<BR>[[Image:Schlegel half-solid rectified 5-cell.png|60px]]<BR>{{CDD|node|3|node_1|3|node|3|node}}<BR>r{3,3,3}
|[[24-cell|rectified 16-cell]]<BR>[[Image:Schlegel half-solid rectified 16-cell.png|60px]]<BR>{{CDD|node|4|node|3|node_1|3|node}}<BR>r{3,3,4}
|[[rectified tesseract]]<BR>[[Image:Schlegel half-solid rectified 8-cell.png|50px]]<BR>{{CDD|node|4|node_1|3|node|3|node}}<BR>r{4,3,3}
|[[rectified demitesseract]]<BR>[[Image:Schlegel wireframe 24-cell.png|60px]]<BR>{{CDD|nodea|3a|branch_10|3a|nodea}}<P>r{3,3<sup>1,1</sup>}
|[[rectified 24-cell]]<BR>[[Image:Schlegel half-solid cantellated 16-cell.png|60px]]<BR>{{CDD|node|3|node_1|4|node|3|node}}<BR>r{3,4,3}
![[rectified 600-cell]]<BR>[[File:Rectified 600-cell schlegel halfsolid.png|60px]]<BR>{{CDD|node|5|node|3|node_1|3|node}}<BR>r{3,3,5}
![[rectified 120-cell]]<BR>[[File:Rectified 120-cell schlegel halfsolid.png|60px]]<BR>{{CDD|node|5|node_1|3|node|3|node}}<BR>r{5,3,3}
|- align=center valign=top
|[[truncated 5-cell]]<BR>[[Image:Schlegel half-solid truncated pentachoron.png|60px]]<BR>{{CDD|node_1|3|node_1|3|node|3|node}}<BR>t{3,3,3}
|[[truncated 16-cell]]<BR>[[Image:Schlegel half-solid truncated 16-cell.png|60px]]<BR>{{CDD|node|4|node|3|node_1|3|node_1}}<BR>t{3,3,4}
|[[truncated tesseract]]<BR>[[Image:Schlegel half-solid truncated tesseract.png|50px]]<BR>{{CDD|node_1|4|node_1|3|node|3|node}}<BR>t{4,3,3}
|[[truncated demitesseract]]<BR>[[Image:Schlegel half-solid truncated 16-cell.png|60px]]<BR>{{CDD|nodea_1|3a|branch_10|3a|nodea}}<P>t{3,3<sup>1,1</sup>}
|[[truncated 24-cell]]<BR>[[Image:Schlegel half-solid truncated 24-cell.png|60px]]<BR>{{CDD|node_1|3|node_1|4|node|3|node}}<BR>t{3,4,3}
![[truncated 600-cell]]<BR>[[Image:Schlegel half-solid truncated 600-cell.png|60px]]<BR>{{CDD|node|5|node|3|node_1|3|node_1}}<BR>t{3,3,5}
![[truncated 120-cell]]<BR>[[Image:Schlegel half-solid truncated 120-cell.png|60px]]<BR>{{CDD|node_1|5|node_1|3|node|3|node}}<BR>t{5,3,3}
|- align=center valign=top
|[[cantellated demitesseract]]<BR>[[Image:Schlegel half-solid rectified 8-cell.png|60px]]<BR>{{CDD|nodea_1|3a|branch|3a|nodea_1}}<P>2r{3,3<sup>1,1</sup>}
|[[rectified 24-cell|cantellated 16-cell]]<BR>[[Image:Schlegel half-solid cantellated 16-cell.png|60px]]<BR>{{CDD|node|4|node_1|3|node|3|node_1}}<BR>rr{3,3,4}
|[[cantellated tesseract]]<BR>[[Image:Schlegel half-solid cantellated 8-cell.png|50px]]<BR>{{CDD|node_1|4|node|3|node_1|3|node}}<BR>rr{4,3,3}
|[[cantellated 5-cell]]<BR>[[Image:Schlegel half-solid cantellated 5-cell.png|60px]]<BR>{{CDD|node_1|3|node|3|node_1|3|node}}<BR>rr{3,3,3}
|[[cantellated 24-cell]]<BR>[[Image:Cantel 24cell1.png|60px]]<BR>{{CDD|node_1|3|node|4|node_1|3|node}}<BR>rr{3,4,3}
![[cantellated 600-cell]]<BR>[[Image:Cantellated 600 cell center.png|60px]]<BR>{{CDD|node|5|node_1|3|node|3|node_1}}<BR>rr{3,3,5}
![[cantellated 120-cell]]<BR>[[Image:Cantellated 120 cell center.png|51px]]<BR>{{CDD|node_1|5|node|3|node_1|3|node}}<BR>rr{5,3,3}
|- align=center valign=top
|[[runcinated 5-cell]]<BR>[[Image:Schlegel half-solid runcinated 5-cell.png|60px]]<BR>{{CDD|node_1|3|node|3|node|3|node_1}}<BR>t<sub>0,3</sub>{3,3,3}
|[[runcinated tesseract|runcinated 16-cell]]<BR>[[Image:Schlegel half-solid runcinated 16-cell.png|60px]]<BR>{{CDD|node_1|4|node|3|node|3|node_1}}<BR>t<sub>0,3</sub>{3,3,4}
|[[runcinated tesseract]]<BR>[[Image:Schlegel half-solid runcinated 8-cell.png|50px]]<BR>{{CDD|node_1|4|node|3|node|3|node_1}}<BR>t<sub>0,3</sub>{4,3,3}
|
|[[runcinated 24-cell]]<BR>[[File:Runcinated 24-cell Schlegel halfsolid.png|60px]]<BR>{{CDD|node_1|3|node|4|node|3|node_1}}<BR>t<sub>0,3</sub>{3,4,3}
|colspan=2|[[runcinated 600-cell]]<BR>[[runcinated 120-cell]]<BR>[[Image:runcinated 120-cell.png|60px]]<BR>{{CDD|node_1|5|node|3|node|3|node_1}}<BR>t<sub>0,3</sub>{3,3,5}
|- align=center valign=top
|[[bitruncated 5-cell]]<BR>[[Image:Schlegel half-solid bitruncated 5-cell.png|60px]]<BR>{{CDD|node|3|node_1|3|node_1|3|node}}<BR>t<sub>1,2</sub>{3,3,3}
|[[bitruncated tesseract|bitruncated 16-cell]]<BR>[[Image:Schlegel half-solid bitruncated 16-cell.png|60px]]<BR>{{CDD|node|4|node_1|3|node_1|3|node}}<BR>2t{3,3,4}
|[[bitruncated tesseract]]<BR>[[Image:Schlegel half-solid bitruncated 8-cell.png|50px]]<BR>{{CDD|node|4|node_1|3|node_1|3|node}}<BR>2t{4,3,3}
|[[cantitruncated demitesseract]]<BR>[[Image:Schlegel half-solid bitruncated 16-cell.png|60px]]<BR>{{CDD|nodea_1|3a|branch_10|3a|nodea_1}}<P>2t{3,3<sup>1,1</sup>}
|[[bitruncated 24-cell]]<BR>[[File:Bitruncated 24-cell Schlegel halfsolid.png|60px]]<BR>{{CDD|node|3|node_1|4|node_1|3|node}}<BR>2t{3,4,3}
|colspan=2|[[bitruncated 600-cell]]<BR>[[bitruncated 120-cell]]<BR>[[File:Bitruncated 120-cell schlegel halfsolid.png|60px]]<BR>{{CDD|node|5|node_1|3|node_1|3|node}}<BR>2t{3,3,5}
|- align=center valign=top
|[[cantitruncated 5-cell]]<BR>[[Image:Schlegel half-solid cantitruncated 5-cell.png|60px]]<BR>{{CDD|node_1|3|node_1|3|node_1|3|node}}<BR>tr{3,3,3}
|[[truncated 24-cell|cantitruncated 16-cell]]<BR>[[Image:Schlegel half-solid cantitruncated 16-cell.png|60px]]<BR>{{CDD|node|4|node_1|3|node_1|3|node_1}}<BR>tr{3,3,4}
|[[cantitruncated tesseract]]<BR>[[Image:Schlegel half-solid cantitruncated 8-cell.png|50px]]<BR>{{CDD|node_1|4|node_1|3|node_1|3|node}}<BR>tr{4,3,3}
|[[omnitruncated demitesseract]]<BR>[[Image:Schlegel half-solid truncated 24-cell.png|60px]]<BR>{{CDD|nodea_1|3a|branch_11|3a|nodea_1}}<P>tr{3,3<sup>1,1</sup>}
|[[cantitruncated 24-cell]]<BR>[[Image:Cantitruncated 24-cell schlegel halfsolid.png|60px]]<BR>{{CDD|node_1|3|node_1|4|node_1|3|node}}<BR>tr{3,4,3}
![[cantitruncated 600-cell]]<BR>[[Image:Cantitruncated 600-cell.png|60px]]<BR>{{CDD|node|5|node_1|3|node_1|3|node_1}}<BR>tr{3,3,5}
![[cantitruncated 120-cell]]<BR>[[Image:Cantitruncated 120-cell.png|51px]]<BR>{{CDD|node_1|5|node_1|3|node_1|3|node}}<BR>tr{5,3,3}
|- align=center valign=top
|[[runcitruncated 5-cell]]<BR>[[Image:Schlegel half-solid runcitruncated 5-cell.png|60px]] <BR>{{CDD|node_1|3|node_1|3|node|3|node_1}}<BR>t<sub>0,1,3</sub>{3,3,3}
|[[runcitruncated 16-cell]]<BR>[[Image:Schlegel half-solid runcitruncated 16-cell.png|60px]]<BR>{{CDD|node_1|4|node|3|node_1|3|node_1}}<BR>t<sub>0,1,3</sub>{3,3,4}
|[[runcitruncated tesseract]]<BR>[[Image:Schlegel half-solid runcitruncated 8-cell.png|50px]]<BR>{{CDD|node_1|4|node_1|3|node|3|node_1}}<BR>t<sub>0,1,3</sub>{4,3,3}
|[[runcicantellated demitesseract]]<BR>[[Image:Schlegel half-solid cantellated 16-cell.png|60px]]<BR>{{CDD|nodea_1|3a|branch_01lr|3a|nodea_1}}<P>rr{3,3<sup>1,1</sup>}
|[[runcitruncated 24-cell]]<BR>[[Image:Runcitruncated 24-cell.png|60px]]<BR>{{CDD|node_1|3|node_1|4|node|3|node_1}}<BR>t<sub>0,1,3</sub>{3,4,3}
![[runcitruncated 600-cell]]<BR>[[Image:Runcitruncated 600-cell.png|60px]]<BR>{{CDD|node_1|5|node|3|node_1|3|node_1}}<BR>t<sub>0,1,3</sub>{3,3,5}
![[runcitruncated 120-cell]]<BR>[[Image:Runcitruncated 120-cell.png|60px]]<BR>{{CDD|node_1|5|node_1|3|node|3|node_1}}<BR>t<sub>0,1,3</sub>{5,3,3}
|- align=center valign=top
|[[omnitruncated 5-cell]]<BR>[[Image:Schlegel half-solid omnitruncated 5-cell.png|60px]]<BR>{{CDD|node_1|3|node_1|3|node_1|3|node_1}}<BR>t<sub>0,1,2,3</sub>{3,3,3}
|[[omnitruncated tesseract|omnitruncated 16-cell]]<BR>[[Image:Schlegel half-solid omnitruncated 16-cell.png|60px]]<BR>{{CDD|node_1|4|node_1|3|node_1|3|node_1}}<BR>t<sub>0,1,2,3</sub>{3,3,4}
|[[omnitruncated tesseract]]<BR>[[Image:Schlegel half-solid omnitruncated 8-cell.png|50px]]<BR>{{CDD|node_1|4|node_1|3|node_1|3|node_1}}<BR>t<sub>0,1,2,3</sub>{3,3,4}
|
|[[omnitruncated 24-cell]]<BR>[[Image:Omnitruncated 24-cell.png|60px]]<BR>{{CDD|node_1|3|node_1|4|node_1|3|node_1}}<BR>t<sub>0,1,2,3</sub>{3,4,3}
|colspan=2|[[omnitruncated 120-cell]]<BR>[[omnitruncated 600-cell]]<BR>[[Image:Omnitruncated 120-cell wireframe.png|60px]]<BR>{{CDD|node_1|5|node_1|3|node_1|3|node_1}}<BR>t<sub>0,1,2,3</sub>{5,3,3}
|- align=center valign=top
|
|[[snub 24-cell|alternated cantitruncated 16-cell]]<BR>[[Image:Schlegel half-solid alternated cantitruncated 16-cell.png|60px]]<BR>{{CDD|node|4|node_h|3|node_h|3|node_h}}<BR>sr{3,3,4}
|
|[[snub demitesseract]]<BR>[[Image:Ortho solid 969-uniform polychoron 343-snub.png|60px]]<BR>{{CDD|nodea_h|3a|branch_hh|3a|nodea_h}}<P>sr{3,3<sup>1,1</sup>}
|[[snub 24-cell|Alternated truncated 24-cell]]<BR>[[Image:Ortho solid 969-uniform polychoron 343-snub.png|60px]]<BR>{{CDD|node_h|3|node_h|4|node|3|node}}<BR>s{3,4,3}
|
|
|}
 
==== Truncated forms ====
 
The following table defines all 15 forms. Each trunction form can have from one to four cell types, located in positions 0,1,2,3 as defined above. The cells are labeled by polyhedral truncation notation.
* An '''n'''-gonal prism is represented as : {n}×{2}.
* The green background is shown on forms that are equivalent to either the parent or the dual.
* The red background shows the truncations of the parent, and blue the truncations of the dual.
 
{| class="wikitable"
!rowspan=2| Operation
!rowspan=2 colspan=2|Extended<BR>Schläfli<BR>symbols
!rowspan=2|[[Coxeter-Dynkin diagram|Coxeter-<BR>Dynkin<BR>Diagram]]
!colspan=4|Position
|- BGCOLOR="#f0e0e0" align=center
!(3)
!(2)
!(1)
!(0)
|- BGCOLOR="#f0e0e0" align=center
| '''Parent'''
|{p,q,r}||t<sub>0</sub>{p,q,r}
|{{CDD|node_1|p|node|q|node|r|node}}
|{{CDD|node_1|p|node|q|node}}<BR>{p,q}
|{{CDD|node_1|p|node|2|node}}<BR>{p}
|{{CDD|node_1|2|node|r|node}}<BR>{}
|{{CDD|node|q|node|r|node}}<BR>--
|- BGCOLOR="#f0e0e0" align=center
|'''[[Rectification (geometry)|Rectified]]'''
|r{p,q,r}||t<sub>1</sub>{p,q,r}
|{{CDD|node|p|node_1|q|node|r|node}}
|{{CDD|node|p|node_1|q|node}}<BR>t<sub>1</sub>{p,q}
|{{CDD|node|p|node_1|2|node}}<BR>{p}
|{{CDD|node|2|node|r|node}}<BR>--
|{{CDD|node_1|q|node|r|node}}<BR>{q,r}
|- BGCOLOR="#e0e0f0" align=center
| Birectified<BR>(or rectified dual)
|2r{p,q,r}<BR>= r{r,q,p}||t<sub>2</sub>{p,q,r}
|{{CDD|node|p|node|q|node_1|r|node}}
|{{CDD|node|p|node|q|node_1}}<BR>{q,p}
|{{CDD|node|p|node|2|node}}<BR>--
|{{CDD|node|2|node_1|r|node}}<BR>{r}
|{{CDD|node|q|node_1|r|node}}<BR>t<sub>1</sub>{q,r}
|- BGCOLOR="#e0e0f0" align=center
| Trirectifed<BR>(or [[Dual polytope|dual]])
|3r{p,q,r}<BR>= {r,q,p}||t<sub>3</sub>{p,q,r}
|{{CDD|node|p|node|q|node|r|node_1}}
|{{CDD|node|p|node|q|node}}<BR>--
|{{CDD|node|p|node|2|node_1}}<BR>{}
|{{CDD|node|2|node|r|node_1}}<BR>{r}
|{{CDD|node|q|node|r|node_1}}<BR>t<sub>2</sub>{q,r}
|- BGCOLOR="#f0e0e0" align=center
|[[Truncation (geometry)|Truncated]]
|t{p,q,r}||t<sub>0,1</sub>{p,q,r}
|{{CDD|node_1|p|node_1|q|node|r|node}}
|{{CDD|node_1|p|node_1|q|node}}<BR>t<sub>0,1</sub>{p,q}
|{{CDD|node_1|p|node_1|2|node}}<BR>{2p}
|{{CDD|node_1|2|node|r|node}}<BR>{}
|{{CDD|node_1|q|node|r|node}}<BR>{q,r}
|- BGCOLOR="#e0f0e0" align=center
|[[Bitruncation (geometry)|Bitruncated]]
|2t{p,q,r}||t<sub>1,2</sub>{p,q,r}
|{{CDD|node|p|node_1|q|node_1|r|node}}
|{{CDD|node|p|node_1|q|node_1}}<BR>t<sub>1,2</sub>{p,q}
|{{CDD|node|p|node_1|2|node}}<BR>{p}
|{{CDD|node|2|node_1|r|node}}<BR>{r}
|{{CDD|node_1|q|node_1|r|node}}<BR>t<sub>0,1</sub>{q,r}
|- BGCOLOR="#e0e0f0" align=center
| Tritruncated<BR>(or truncated dual)
|3t{p,q,r}<BR>= t{r,q,p}||t<sub>2,3</sub>{p,q,r}
|{{CDD|node|p|node|q|node_1|r|node_1}}
|{{CDD|node|p|node|q|node_1}}<BR>{q,p}
|{{CDD|node|p|node|2|node_1}}<BR>{}
|{{CDD|node|2|node_1|r|node_1}}<BR>{2r}
|{{CDD|node|q|node_1|r|node_1}}<BR>t<sub>1,2</sub>{q,r}
|- BGCOLOR="#f0e0e0" align=center
|[[Cantellation (geometry)|Cantellated]]
|rr{p,q,r}||t<sub>0,2</sub>{p,q,r}
|{{CDD|node_1|p|node|q|node_1|r|node}}
|{{CDD|node_1|p|node|q|node_1}}<BR>t<sub>0,2</sub>{p,q}
|{{CDD|node_1|p|node|2|node}}<BR>{p}
|{{CDD|node_1|2|node_1|r|node}}<BR>{}×{r}
|{{CDD|node|q|node_1|r|node}}<BR>t<sub>1</sub>{q,r}
|- BGCOLOR="#e0e0f0" align=center
| Bicantellated<BR>(or cantellated dual)
|r2r{p,q,r}<BR>= rr{r,q,p}||t<sub>1,3</sub>{p,q,r}
|{{CDD|node|p|node_1|q|node|r|node_1}}
|{{CDD|node|p|node_1|q|node}}<BR>t<sub>1</sub>{p,q}
|{{CDD|node|p|node_1|2|node_1}}<BR>{p}×{}
|{{CDD|node|2|node|r|node_1}}<BR>{r}
|{{CDD|node_1|q|node|r|node_1}}<BR>t<sub>0,2</sub>{q,r}
|- BGCOLOR="#e0f0e0" align=center
|[[Runcination (geometry)|Runcinated]]<BR>(or [[Expansion (geometry)|expanded]])
|e{p,q,r}||t<sub>0,3</sub>{p,q,r}
|{{CDD|node_1|p|node|q|node|r|node_1}}
|{{CDD|node_1|p|node|q|node}}<BR>{p,q}
|{{CDD|node_1|p|node|2|node_1}}<BR>{p}×{}
|{{CDD|node_1|2|node|r|node_1}}<BR>{}×{r}
|{{CDD|node|q|node|r|node_1}}<BR>t<sub>2</sub>{q,r}
|- BGCOLOR="#f0e0e0" align=center
| Cantitruncated
|tr{p,q,r}||t<sub>0,1,2</sub>{p,q,r}
|{{CDD|node_1|p|node_1|q|node_1|r|node}}
|{{CDD|node_1|p|node_1|q|node_1}}<BR>t<sub>0,1,2</sub>{p,q}
|{{CDD|node_1|p|node_1|2|node}}<BR>{2p}
|{{CDD|node_1|2|node_1|r|node}}<BR>{}×{r}
|{{CDD|node_1|q|node_1|r|node}}<BR>t<sub>0,1</sub>{q,r}
 
|- BGCOLOR="#e0e0f0" align=center
| Bicantitruncated<BR>(or cantitruncated dual)
|t2r{p,q,r}<BR>= tr{r,q,p}||t<sub>1,2,3</sub>{p,q,r}
|{{CDD|node|p|node_1|q|node_1|r|node_1}}
|{{CDD|node|p|node_1|q|node_1}}<BR>t<sub>1,2</sub>{p,q}
|{{CDD|node|p|node_1|2|node_1}}<BR>{p}×{}
|{{CDD|node|2|node_1|r|node_1}}<BR>{2r}
|{{CDD|node_1|q|node_1|r|node_1}}<BR>t<sub>0,1,2</sub>{q,r}
|- BGCOLOR="#f0e0e0" align=center
| Runcitruncated
|e<sub>t</sub>{p,q,r}||t<sub>0,1,3</sub>{p,q,r}
|{{CDD|node_1|p|node_1|q|node|r|node_1}}
|{{CDD|node_1|p|node_1|q|node}}<BR>t<sub>0,1</sub>{p,q}
|{{CDD|node_1|p|node_1|2|node_1}}<BR>{2p}×{}
|{{CDD|node_1|2|node|r|node_1}}<BR>{}×{r}
|{{CDD|node_1|q|node|r|node_1}}<BR>t<sub>0,2</sub>{q,r}
|- BGCOLOR="#e0e0f0" align=center
| Runcicantellated<BR>(or runcitruncated dual)
|e<sub>3t</sub>{p,q,r}<BR>= e<sub>t</sub>{r,q,p}||t<sub>0,2,3</sub>{p,q,r}
|{{CDD|node_1|p|node|q|node_1|r|node_1}}
|{{CDD|node_1|p|node|q|node_1}}<BR>t<sub>0,1,2</sub>{p,q}
|{{CDD|node_1|p|node|2|node_1}}<BR>{p}×{}
|{{CDD|node_1|2|node_1|r|node_1}}<BR>{}×{2r}
|{{CDD|node|q|node_1|r|node_1}}<BR>t<sub>1,2</sub>{q,r}
|- BGCOLOR="#e0f0e0" align=center
| Runcicantitruncated<BR>(or [[Omnitruncation|omnitruncated]])
|o{p,q,r}||t<sub>0,1,2,3</sub>{p,q,r}
|{{CDD|node_1|p|node_1|q|node_1|r|node_1}}
|{{CDD|node_1|p|node_1|q|node_1}}<BR>t<sub>0,1,2</sub>{p,q}
|{{CDD|node_1|p|node_1|2|node_1}}<BR>{2p}×{}
|{{CDD|node_1|2|node_1|r|node_1}}<BR>{}×{2r}
|{{CDD|node_1|q|node_1|r|node_1}}<BR>t<sub>0,1,2</sub>{q,r}
 
|- BGCOLOR="#f0e0e0" align=center
|Half
|h{p,q,r}||ht<sub>0</sub>{p,q,r}
|{{CDD|node_h|p|node|q|node|r|node}}
|{{CDD|node_h|p|node|q|node}}<BR>s{p,q}
|{{CDD|node_h|p|node|2|node}}<BR>{p}
|{{CDD|node_h|2|node|r|node}}<BR>--
|{{CDD|node|q|node|r|node}}<BR>--
 
|- BGCOLOR="#f0e0e0" align=center
|Alternated rectified
| ||ht<sub>1</sub>{p,q,r}
|{{CDD|node|p|node_h|q|node|r|node}}
|{{CDD|node|p|node_h|q|node}}<BR>ht<sub>1</sub>{p,q}
|{{CDD|node|p|node_h|2|node}}<BR>{p/2}
|{{CDD|node|2|node_h|r|node}}<BR>{r/2}
|{{CDD|node_h|q|node|r|node}}<BR>h{q,r}
 
|- BGCOLOR="#f0e0e0" align=center
|Snub<BR>Alternated truncation
|s{p,q,r}||ht<sub>0,1</sub>{p,q,r}
|{{CDD|node_h|p|node_h|q|node|r|node}}
|{{CDD|node_h|p|node_h|q|node}}<BR>s{p,q}
|{{CDD|node_h|p|node_h|2|node}}<BR>{p}
|{{CDD|node_h|2|node|r|node}}<BR>--
|{{CDD|node_h|q|node|r|node}}<BR>h{q,r}
 
|- BGCOLOR="#e0f0e0" align=center
|
|2s{p,q,r}||ht<sub>1,2</sub>{p,q,r}
|{{CDD|node|p|node_h|q|node_h|r|node}}
|{{CDD|node|p|node_h|q|node_h}}<BR>s{q,p}
|{{CDD|node|p|node_h|2|node}}<BR>{p}
|{{CDD|node|2|node_h|r|node}}<BR>s{2,r}
|{{CDD|node_h|q|node_h|r|node}}<BR>s{q,r}
 
|- BGCOLOR="#f0e0e0" align=center
|Snub rectified<BR>Alternated truncated rectified
|sr{p,q,r}||ht<sub>0,1,2</sub>{p,q,r}
|{{CDD|node_h|p|node_h|q|node_h|r|node}}
|{{CDD|node_h|p|node_h|q|node_h}}<BR>sr{p,q}
|{{CDD|node_h|p|node_h|2|node}}<BR>{p}
|{{CDD|node_h|2|node_h|r|node}}<BR>s{2,r}
|{{CDD|node_h|q|node_h|r|node}}<BR>s{q,r}
 
|- BGCOLOR="#e0f0e0" align=center
|Full snub<BR>Alternated omnitruncation
| ||ht<sub>0,1,2,3</sub>{p,q,r}
|{{CDD|node_h|p|node_h|q|node_h|r|node_h}}
|{{CDD|node_h|p|node_h|q|node_h}}<BR>sr{p,q}
|{{CDD|node_h|p|node_h|2|node_h}}<BR>{p}×{}
|{{CDD|node_h|2|node_h|r|node_h}}<BR>{}×{r}
|{{CDD|node_h|q|node_h|r|node_h}}<BR>sr{q,r}
|}
 
=== Five and higher dimensions ===
 
In five and higher dimensions, there are 3 regular polytopes, the [[hypercube]], [[simplex]] and [[cross-polytope]]. They are generalisations of the three-dimensional cube, tetrahedron and octahedron, respectively. There are no regular star polytopes in these dimensions. Most uniform higher-dimensional polytopes are obtained by modifying the regular polytopes, or by taking the Cartesian product of polytopes of lower dimensions.
 
In six, seven and eight dimensions, the [[exceptional object|exceptional]] [[simple Lie group]]s, [[E6 (mathematics)|E6]], [[E7 (mathematics)|E7]] and [[E8 (mathematics)|E8]] come into play. By placing rings on a nonzero number of nodes of the [[Coxeter-Dynkin diagram]]s, one can obtain 63 new 6-polytopes, 127 new 7-polytopes and 255 new 8-polytopes. A notable example is the [[Gosset 4 21 polytope|Gosset 4<sub>21</sub> polytope]].
 
== Uniform honeycombs ==
 
Related to the subject of finite uniform polytopes are uniform honeycombs in Euclidean and hyperbolic spaces. Euclidean uniform honeycombs are generated by [[Coxeter-Dynkin diagram#Affine Coxeter groups|affine Coxeter groups]] and hyperbolic honeycombs are generated by the [[Coxeter-Dynkin diagram#Hyperbolic Coxeter groups|hyperbolic Coxeter groups]]. Two affine Coxeter groups can be multiplied together.
 
There are two classes of hyperbolic Coxeter groups, compact and noncompact. Uniform honeycombs generated by compact groups have finite facets and vertex figures, and exist in 2 through 4 dimensions. Noncompact groups have affine or hyperbolic subgraphs, and infinite facets or vertex figures, and exist in 2 through 10 dimensions.
 
==See also ==
<div class="references-small" style="-moz-column-count:2; column-count:2;">
* [[Schläfli symbol]]
 
</div>
 
== External links ==
* {{GlossaryForHyperspace | anchor=Uniform | title=Uniform polytope }}
* [http://www.polytope.de uniform, convex polytopes in four dimensions:], Marco Möller {{de icon}}
 
== References ==
* [[Harold Scott MacDonald Coxeter|Coxeter]] ''The Beauty of Geometry: Twelve Essays'', Dover Publications, 1999, ISBN 978-0-486-40919-1 (Chapter 3: Wythoff's Construction for Uniform Polytopes)
* [[Norman Johnson (mathematician)|Norman Johnson]] ''Uniform Polytopes'', Manuscript (1991)
** [[Norman Johnson (mathematician)|N.W. Johnson]]: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. Dissertation, University of Toronto, 1966
* [[Alicia Boole Stott|A. Boole Stott]]: ''Geometrical deduction of semiregular from regular polytopes and space fillings'', Verhandelingen of the Koninklijke academy van Wetenschappen width unit Amsterdam, Eerste Sectie 11,1, Amsterdam, 1910
* [[Harold Scott MacDonald Coxeter|H.S.M. Coxeter]]:
** H.S.M. Coxeter, [[Michael S. Longuet-Higgins|M.S. Longuet-Higgins]] and J.C.P. Miller: ''Uniform Polyhedra'', Philosophical Transactions of the Royal Society of London, Londne, 1954
** H.S.M. Coxeter, ''Regular Polytopes'', 3rd Edition, Dover New York, 1973
* '''Kaleidoscopes: Selected Writings of H.S.M. Coxeter''', editied by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6 [http://www.wiley.com/WileyCDA/WileyTitle/productCd-0471010030.html]
** (Paper 22) H.S.M. Coxeter, [http://www.springerlink.com/content/v47262w61173tt57/ Regular and Semi Regular Polytopes I], [Math. Zeit. 46 (1940) 380-407, MR 2,10]
** (Paper 23) H.S.M. Coxeter, [http://www.springerlink.com/content/g5584u715j676673/ Regular and Semi-Regular Polytopes II], [Math. Zeit. 188 (1985) 559-591]
** (Paper 24) H.S.M. Coxeter, [http://www.springerlink.com/content/x1676nvt8u3r03l7/ Regular and Semi-Regular Polytopes III], [Math. Zeit. 200 (1988) 3-45]
* [[Coxeter]], Longuet-Higgins, Miller, ''Uniform polyhedra'', '''Phil. Trans.''' 1954, 246 A, 401-50. (Extended Schläfli notation used)
* Marco Möller, ''Vierdimensionale Archimedische Polytope'', Dissertation, Universität Hamburg, Hamburg (2004) {{de icon}}
{{Polytopes}}
 
[[Category:Polytopes]]

Latest revision as of 00:26, 6 January 2015

Hi there, I am Sophia. I am presently a travel agent. Her family life in Alaska but her husband desires them to move. What me and my family adore is performing ballet but I've been using on new things recently.

Feel free to visit my blog - best psychic - https://www.machlitim.org.il/subdomain/megila/end/node/12300,

Retrieved from "https://en.formulasearchengine.com/index.php?title=Bass_diffusion_model&oldid=250441"