Main Page: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
← Older edit
No edit summary
No edit summary
 
(488 intermediate revisions by more than 100 users not shown)
Line 1: Line 1:
{| class=wikitable align=right
This is a preview for the new '''MathML rendering mode''' (with SVG fallback), which is availble in production for registered users.
|+ Example regular polytopes
!colspan=2|Regular (2D) polygons
|-
!Convex
!Star
|- align=center
|[[File:Regular pentagon.svg|150px]]<BR>[[Pentagon|{5}]]
|[[File:Star polygon 5-2.svg|150px]]<BR>[[Pentagram|{5/2}]]
|-
!colspan=2|Regular (3D) polyhedra
|-
!Convex
!Star
|- align=center
|[[File:Dodecahedron.png|150px]]<BR>[[Dodecahedron|{5,3}]]
|[[File:Small stellated dodecahedron.png|150px]]<BR>[[Small stellated dodecahedron|{5,5/2}]]
|-
!colspan=2|Regular 2D tessellations
|-
!Euclidean
!Hyperbolic
|- align=center
|[[File:Uniform tiling 44-t0.png|150px]]<BR>[[square tiling|{4,4}]]
|[[File:Uniform tiling 54-t0.png|150px]]<BR>[[Order-4 pentagonal tiling|{5,4}]]
|-
!colspan=2|Regular 4D polytopes
|-
!Convex
!Star
|- align=center
|[[File:Schlegel wireframe 8-cell.png|150px]]<BR>[[Tesseract|{4,3,3}]]
|[[File:Ortho solid 016-uniform polychoron p33-t0.png|150px]]<BR>[[Great grand stellated 120-cell|{5/2,3,3}]]
|-
!colspan=2|Regular 3D tessellations
|-
!Euclidean
!Hyperbolic
|- align=center
|[[File:Cubic_honeycomb.png|150px]]<BR>[[Cubic honeycomb|{4,3,4}]]
|[[File:Hyperbolic orthogonal dodecahedral honeycomb.png|150px]]<BR>[[Order-4 dodecahedral honeycomb|{5,3,4}]]
|}
This page lists the [[regular polytope]]s in [[Euclidean geometry|Euclidean]], [[spherical geometry|spherical]] and [[hyperbolic geometry|hyperbolic]] spaces. The [[Schläfli symbol]] notation describes every regular polytope, and is used widely below as a compact reference name for each.


The regular polytopes are grouped by dimension and subgrouped by convex, nonconvex and infinite forms. Nonconvex forms use the same vertices as the convex forms, but have intersecting [[Facet (mathematics)|facets]]. Infinite forms [[Tessellation|tessellate]] a one-lower-dimensional Euclidean space.
If you would like use the '''MathML''' rendering mode, you need a wikipedia user account that can be registered here [[https://en.wikipedia.org/wiki/Special:UserLogin/signup]]
* Only registered users will be able to execute this rendering mode.
* Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.


Infinite forms can be extended to tessellate a [[hyperbolic space]]. Hyperbolic space is like normal space at a small scale, but parallel lines diverge at a distance. This allows vertex figures to have negative [[defect (geometry)|angle defects]], like making a vertex with 7 [[equilateral triangle]]s and allowing it to lie flat. It cannot be done in a regular plane, but can be at the right scale of a hyperbolic plane.
Registered users will be able to choose between the following three rendering modes:


==Overview==
'''MathML'''
This table shows a summary of regular polytope counts by dimension.
:<math forcemathmode="mathml">E=mc^2</math>
{| class="wikitable"
|-
!Dimension
!Convex
!Star
!Convex<BR>Euclidean<BR>tessellations
!Compact<BR>hyperbolic<BR>tessellations
!Star<BR>hyperbolic<BR>tessellations
!Paracompact<BR>hyperbolic<BR>tessellations
!Abstract<br>Polytopes
|- align=center
|1||1 [[List of regular polytopes#One-dimensional regular polytope|line segment]]||0||1||0||0||0||1
|- align=center
|2||∞ [[#Two-dimensional regular polytopes|polygon]]s||∞ [[#Non-convex|star polygon]]s||1||1||0||0||∞
|- align=center
|3||5 [[#Three-dimensional regular polytopes|Platonic]]||4 [[#Non-convex 2|Kepler–Poinsot]]||3 [[#Euclidean tilings|tilings]]||∞|| ∞||∞||∞
|- align=center
|4||6 [[#Four-dimensional regular polytopes|4-polytopes]]||10 [[#Non-convex 3|Schläfli–Hess]]||1 [[#Tessellations of Euclidean 3-space|3-honeycombs]]||4 || 0||11||∞
|- align=center
|5 ||3 [[#Five-dimensional regular polytopes and higher|5-polytopes]]||0|| 3 [[#Tessellations of Euclidean 4-space|4-honeycombs]]|| 5 || 4||2||∞
|- align=center
|6||3 [[#Five-dimensional regular polytopes and higher|6-polytopes]]||0||1 [[#Tessellations of Euclidean 5-space and higher|5-honeycombs]]||0||0||5||∞
|- align=center
|7+||3||0||1||0||0||0||∞
|}
There are no nonconvex Euclidean regular tessellations in any number of dimensions.


===Tessellations===
<!--'''PNG'''  (currently default in production)
:<math forcemathmode="png">E=mc^2</math>


The classical convex polytopes may be considered [[tessellation]]s, or tilings, of spherical space. Tessellations of euclidean and hyperbolic space may also be considered regular polytopes. Note that an 'n'-dimensional polytope actually tessellates a space of one dimension less. For example, the (three-dimensional) platonic solids tessellate the 'two'-dimensional 'surface' of the sphere.
'''source'''
:<math forcemathmode="source">E=mc^2</math> -->


==One dimension==
<span style="color: red">Follow this [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering link] to change your Math rendering settings.</span> You can also add a [https://en.wikipedia.org/wiki/Special:Preferences#mw-prefsection-rendering-skin Custom CSS] to force the MathML/SVG rendering or select different font families. See [https://www.mediawiki.org/wiki/Extension:Math#CSS_for_the_MathML_with_SVG_fallback_mode these examples].
{| class=wikitable align=right width=300
|- valign=top
|[[File:Coxeter node markup1.png|170px]]
|A [[Coxeter diagram]] represent mirror "planes" as nodes, and puts a ring around a node if a point is ''not'' on the plane. A ''ditel'', { }, {{CDD|node_1}} is a point ''p'' and its mirror image point ''p''', and the line segment between them.
|}
The closed [[line segment]], bounded by its two endpoints, is a one-dimensional polytope or ''1''-polytope. It can be represented by [[Schläfli symbol]] {&nbsp;},<ref>Regular polytopes, p. 129</ref><ref>Abstract Regular Polytopes, p.30</ref> and [[Coxeter diagram]] with a single ringed node, {{CDD|node_1}}. [[Norman_Johnson_(mathematician)|Norman Johnson]] calls it a ''ditel''.<ref>[http://www.foibg.com/ibs_isc/ibs-25/ibs-25-p07.pdf REGULAR INVERSIVE POLYTOPES], p. 86</ref>


Although trivial as a polytope, it appears as the [[Edge (geometry)|edges]] of higher dimensional polytopes.<ref>Regular polytopes, p. 120</ref> It is used in the definition of [[prism (geometry)|uniform prism]]s like Schläfli symbol {&nbsp;}×{p}, or Coxeter diagram {{CDD|node_1|2|node_1|p|node}} as a [[Cartesian product]] of a line segment and a regular polygon.<ref>Regular polytopes, p. 124</ref>
==Demos==


== Two dimensions (polygons) ==
Here are some [https://commons.wikimedia.org/w/index.php?title=Special:ListFiles/Frederic.wang demos]:


The two-dimensional polytopes are called [[polygon]]s. Regular polygons are [[equilateral]] and [[cyclic polygon|cyclic]]. A p-gonal regular polygon is represented by [[Schläfli symbol]] {p}.


Usually only [[convex polygon]]s are considered regular, but [[star polygon]]s, like the [[pentagram]], can also be considered regular. They use the same vertices as the convex forms, but connect in an alternate connectivity which passes around the circle more than once to complete.
* accessibility:
** Safari + VoiceOver: [https://commons.wikimedia.org/wiki/File:VoiceOver-Mac-Safari.ogv video only], [[File:Voiceover-mathml-example-1.wav|thumb|Voiceover-mathml-example-1]], [[File:Voiceover-mathml-example-2.wav|thumb|Voiceover-mathml-example-2]], [[File:Voiceover-mathml-example-3.wav|thumb|Voiceover-mathml-example-3]], [[File:Voiceover-mathml-example-4.wav|thumb|Voiceover-mathml-example-4]], [[File:Voiceover-mathml-example-5.wav|thumb|Voiceover-mathml-example-5]], [[File:Voiceover-mathml-example-6.wav|thumb|Voiceover-mathml-example-6]], [[File:Voiceover-mathml-example-7.wav|thumb|Voiceover-mathml-example-7]]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-Audio-Windows7-InternetExplorer.ogg Internet Explorer + MathPlayer (audio)]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-SynchronizedHighlighting-WIndows7-InternetExplorer.png Internet Explorer + MathPlayer (synchronized highlighting)]
** [https://commons.wikimedia.org/wiki/File:MathPlayer-Braille-Windows7-InternetExplorer.png Internet Explorer + MathPlayer (braille)]
** NVDA+MathPlayer: [[File:Nvda-mathml-example-1.wav|thumb|Nvda-mathml-example-1]], [[File:Nvda-mathml-example-2.wav|thumb|Nvda-mathml-example-2]], [[File:Nvda-mathml-example-3.wav|thumb|Nvda-mathml-example-3]], [[File:Nvda-mathml-example-4.wav|thumb|Nvda-mathml-example-4]], [[File:Nvda-mathml-example-5.wav|thumb|Nvda-mathml-example-5]], [[File:Nvda-mathml-example-6.wav|thumb|Nvda-mathml-example-6]], [[File:Nvda-mathml-example-7.wav|thumb|Nvda-mathml-example-7]].
** Orca: There is ongoing work, but no support at all at the moment [[File:Orca-mathml-example-1.wav|thumb|Orca-mathml-example-1]], [[File:Orca-mathml-example-2.wav|thumb|Orca-mathml-example-2]], [[File:Orca-mathml-example-3.wav|thumb|Orca-mathml-example-3]], [[File:Orca-mathml-example-4.wav|thumb|Orca-mathml-example-4]], [[File:Orca-mathml-example-5.wav|thumb|Orca-mathml-example-5]], [[File:Orca-mathml-example-6.wav|thumb|Orca-mathml-example-6]], [[File:Orca-mathml-example-7.wav|thumb|Orca-mathml-example-7]].
** From our testing, ChromeVox and JAWS are not able to read the formulas generated by the MathML mode.


Star polygons should be called ''nonconvex'' rather than ''concave'' because the intersecting edges do not generate new vertices and all the vertices exist on a circle boundary.
==Test pages ==


===Convex===
To test the '''MathML''', '''PNG''', and '''source''' rendering modes, please go to one of the following test pages:
*[[Displaystyle]]
*[[MathAxisAlignment]]
*[[Styling]]
*[[Linebreaking]]
*[[Unique Ids]]
*[[Help:Formula]]


The Schläfli symbol {p} represents a [[Regular polygon|regular ''p''-gon]].
*[[Inputtypes|Inputtypes (private Wikis only)]]
 
*[[Url2Image|Url2Image (private Wikis only)]]
{| class="wikitable" style="text-align:center;"
==Bug reporting==
|- bgcolor="#e0e0e0" valign="top"
If you find any bugs, please report them at [https://bugzilla.wikimedia.org/enter_bug.cgi?product=MediaWiki%20extensions&component=Math&version=master&short_desc=Math-preview%20rendering%20problem Bugzilla], or write an email to math_bugs (at) ckurs (dot) de .
!Name
![[Equilateral triangle|Triangle]]<br />([[Simplex|2-simplex]])<!--<br/>(trig)-->
![[Square (geometry)|Square]]<br />([[Cross-polytope|2-orthoplex]])<br />([[Hypercube|2-cube]])
![[Pentagon]]<!--<br/>(peg)-->
![[Hexagon]]<!--<br/>(hig)-->
![[Heptagon]]<!--<br/>(heg)-->
![[Octagon]]<!--<br/>(oc)-->
|- bgcolor="#ffe0e0"
![[Schläfli symbol|Schläfli]]
|{3}
|{4}
|{5}
|{6}
|{7}
|{8}
|-
!Symmetry
|D<sub>3</sub>, [3]||D<sub>4</sub>, [4]||D<sub>5</sub>, [5]||D<sub>6</sub>, [6]||D<sub>7</sub>, [7]||D<sub>8</sub>, [8]
|-
![[Coxeter-Dynkin diagram|Coxeter]]
|{{CDD|node_1|3|node}}
|{{CDD|node_1|4|node}}
|{{CDD|node_1|5|node}}
|{{CDD|node_1|6|node}}
|{{CDD|node_1|7|node}}
|{{CDD|node_1|8|node}}
|-
!Image
|[[Image:Regular triangle.svg|75px]]
|[[Image:Regular quadrilateral.svg|75px]]
|[[Image:Regular pentagon.svg|75px]]
|[[Image:Regular hexagon.svg|75px]]
|[[Image:Regular heptagon.svg|75px]]
|[[Image:Regular octagon.svg|75px]]
|-
!Name
![[Enneagon]]<!--<br/>(en)-->
![[Decagon]]<!--<br/>(dec)-->
![[Hendecagon]]<!--<br/>(heng)-->
![[Dodecagon]]<!--<br/>(dog)-->
![[Tridecagon]]<!--<br/>(tad)-->
![[Tetradecagon]]<!--<br/>(ted)-->
|- bgcolor="#ffe0e0"
!Schläfli
|{9}
|{10}
|{11}
|{12}
|{13}
|{14}
|-
!Symmetry
|D<sub>9</sub>, [9]||D<sub>10</sub>, [10]||D<sub>11</sub>, [11]||D<sub>12</sub>, [12]||D<sub>13</sub>, [13]||D<sub>14</sub>, [14]
|-
!Dynkin
|{{CDD|node_1|9|node}}
|{{CDD|node_1|10|node}}
|{{CDD|node_1|11|node}}
|{{CDD|node_1|12|node}}
|{{CDD|node_1|13|node}}
|{{CDD|node_1|14|node}}
|-
!Image
|[[Image:Regular nonagon.svg|75px]]
|[[Image:Regular decagon.svg|75px]]
|[[Image:Regular hendecagon.svg|75px]]
|[[Image:Regular dodecagon.svg|75px]]
|[[Image:Regular tridecagon.svg|75px]]
|[[Image:Regular tetradecagon.svg|75px]]
|-
!Name
![[Pentadecagon]]<!--<br/>(ped)-->
![[Hexadecagon]]<!--<br/>(hed)-->
![[Heptadecagon]]
![[Octadecagon]]
![[Enneadecagon]]
![[Icosagon]]
|...[[Regular polygon|p-gon]]
|- bgcolor="#ffe0e0"
!Schläfli
|{15}
|{16}
|{17}
|{18}
|{19}
|{20}
|{''p''}
|-
!Symmetry
|D<sub>15</sub>, [15]||D<sub>16</sub>, [16]||D<sub>17</sub>, [17]||D<sub>18</sub>, [18]||D<sub>19</sub>, [19]||D<sub>20</sub>, [20]||D<sub>p</sub>, [p]
|-
!Dynkin
|{{CDD|node_1|15|node}}
|{{CDD|node_1|16|node}}
|{{CDD|node_1|17|node}}
|{{CDD|node_1|18|node}}
|{{CDD|node_1|19|node}}
|{{CDD|node_1|20|node}}
|{{CDD|node_1|p|node}}
|-
!Image
|[[Image:Regular pentadecagon.svg|75px]]
|[[Image:Regular hexadecagon.svg|75px]]
|[[Image:Regular heptadecagon.svg|75px]]
|[[Image:Regular octadecagon.svg|75px]]
|[[Image:Regular enneadecagon.svg|75px]]
|[[Image:Regular icosagon.svg|75px]]
|}
 
==== Improper (spherical) ====
 
The regular [[monogon]] {1} and regular [[digon]] {2} can be considered degenerate regular polygons. They can exist in non-Euclidean spaces like on the surface of a [[sphere]] or [[torus]].
 
{| class="wikitable" style="text-align:center;"
|- bgcolor="#e0e0e0" valign="top"
!Name
|[[Monogon]]
|[[Digon]]
|- bgcolor="#ffe0e0"
![[Schläfli symbol]]
|{1} = [[Alternation (geometry)|h]]{2}
|{2} = h{4}
|-
!Symmetry
|D<sub>1</sub>, [1]||D<sub>2</sub>, [2]
|-
![[Coxeter-Dynkin diagram|Coxeter diagram]]
|{{CDD|node_h|2x|node}}
|{{CDD|node_1|2x|node}}
|-
!Image
|[[Image:Henagon.svg|75px]]
|[[Image:Digon.svg|75px]]
|}
 
===Non-convex===
There exist infinitely many non-convex regular polytopes in two dimensions, whose Schläfli symbols consist of rational numbers {n/m}. They are called [[star polygon]]s and share the same [[vertex arrangement]]s of the convex regular polygons.
 
In general, for any natural number n, there are n-pointed non-convex regular polygonal stars with Schläfli symbols {n/m} for all m such that m < n/2 (strictly speaking {n/m}={n/(n−m)}) and m and n are [[coprime]].
 
{| 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}<!--<br/>(star)-->
|{7/2}<!--<br/>(hag)-->
|{7/3}<!--<br/>(gahg)-->
|{8/3}<!--<br/>(og)-->
|{9/2}<!--<br/>(eng)-->
|{9/4}<!--<br/>(geng)-->
|{10/3}<!--<br/>(dag)-->
|{''p/q''}
|-
!Symmetry
|D<sub>5</sub>, [5]||colspan=2|D<sub>7</sub>, [7]||D<sub>8</sub>, [8]||colspan=2|D<sub>9</sub>, [9],||D<sub>10</sub>, [10]||D<sub>p</sub>, [p]
|-
![[Coxeter-Dynkin diagram|Coxeter]]
|{{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}}
|{{CDD|node_1|9|rat|d2|node}}
|{{CDD|node_1|9|rat|d4|node}}
|{{CDD|node_1|10|rat|d3|node}}
|{{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;
|}
 
===Tessellations===
There is one tessellation of the line, giving one polytope, the (two-dimensional) [[apeirogon]] (aze). This has infinitely many vertices and edges. Its [[Schläfli symbol]] is {∞}, and Coxeter diagram {{CDD|node_1|infin|node}}.
 
...[[Image:Regular apeirogon.png|320px]]...
 
== Three dimensions (polyhedra) ==
 
In three dimensions, polytopes are called [[polyhedron|polyhedra]]:
 
A regular polyhedron with [[Schläfli symbol]] {p,q}, Coxeter diagrams {{CDD|node_1|p|node|q|node}}, has a regular face type {p}, and regular [[vertex figure]] {q}.
 
A [[vertex figure]] (of a polyhedron) is a polygon, seen by connecting those vertices which are one edge away from a given vertex. For regular polyhedra, this vertex figure is always a regular (and planar) polygon.
 
Existence of a regular polyhedron {p,q} is constrained by an inequality, related to the vertex figure's [[defect (geometry)|angle defect]]:
: <math>1/p + 1/q > 1/2</math> : Polyhedron (existing in Euclidean 3-space)
: <math>1/p + 1/q = 1/2</math> : ''Euclidean'' plane tiling
: <math>1/p + 1/q < 1/2</math> : Hyperbolic plane tiling
 
By enumerating the [[permutation]]s, we find 5 convex forms, 4 star forms and 3 plane tilings, all with polygons {p} and {q} limited to: {3}, {4}, {5}, {5/2}, and {6}.
 
Beyond Euclidean space, there is an infinite set of regular hyperbolic tilings.
 
===Convex===
The convex regular [[polyhedron|polyhedra]] are called the 5 [[Platonic solid]]s. The [[vertex figure]] is given with each vertex count. All these polyhedra have an [[Euler characteristic]] (χ) of 2.
 
{| class="wikitable" style="text-align:center;"
|-
!Name
![[Schläfli symbol|Schläfli]]<br />{p,q}
![[Coxeter-Dynkin diagram|Coxeter]]<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/>(tet)-->
|{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><BR>[3,3]<BR>(*332)
|(self)
|- bgcolor="#ffe0e0"
|Hexahedron<BR>[[Cube]] <br />([[hypercube|3-cube]])<!--<br/>(cube)-->
|{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><BR>[4,3]<BR>(*432)
|Octahedron
|- bgcolor="#e0e0ff"
|[[Octahedron]]<br />([[Cross-polytope|3-orthoplex]])<!--<br/>(oct)-->
|{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><BR>[4,3]<BR>(*432)
|Cube
|- bgcolor="#ffe0e0"
|[[Dodecahedron]]<!--<br/>(doe)-->
|{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}
|I<sub>h</sub><BR>[5,3]<BR>(*532)
|Icosahedron
|- bgcolor="#e0e0ff"
|[[Icosahedron]]<!--<br/>(ike)-->
|{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><BR>[5,3]<BR>(*532)
|Dodecahedron
|}
 
==== Improper (spherical) ====
 
In [[spherical geometry]], regular [[spherical polyhedra]] ([[tessellation|tiling]]s of the [[sphere]]) exist that would otherwise be degenerate as polytopes. These are the [[hosohedron|hosohedra]] {2,n}, their dual [[dihedron|dihedra]] {n,2} and [[monohedron]] {1,1}. [[Coxeter]] calls these cases "improper" tessellations.<ref>Regular polytopes, p. 66-67</ref>
 
Some include:
{| class="wikitable" style="text-align:center;"
|- valign="top"
!Name
![[Schläfli symbol|Schläfli]]<br />{p,q}
![[Coxeter-Dynkin diagram|Coxeter<BR>diagram]]
!Image<BR>(sphere)
![[Face (geometry)|Faces]]<br />{p}
![[Edge (geometry)|Edges]]<BR>{ }
![[Vertex (geometry)|Vertices]]<br />{q}
![[List of spherical symmetry groups|Symmetry]]
![[Dual polyhedron|Dual]]
|- bgcolor="#e0e0e0"
|Monohedron<BR>(half monogonal hosohedron)
|{1,1}<BR>=[[Alternation (geometry)|h]]{2,1}
|{{CDD|node_h|2x|node}}
|[[File:Spherical henagonal henahedron.png|75px]]
|1<BR>{1}
|0<BR>{ }
|1<BR>{1}
|C<sub>1v</sub><BR>[ ]<BR>(*1)
|Self
|- bgcolor="#ffe0e0"
|Monogonal hosohedron
|{2,1}
|{{CDD|node_1|2x|node}}
|[[File:Henagonal hosohedron.png|75px]]
|1<BR>{2}
|1<BR>{ }
|2<BR>{1}
|D<sub>1h</sub><BR>[2,1]<BR>(*22)
|Monogonal dihedron
|- bgcolor="#e0e0e0"
|Digonal hosohedron<BR>(Same as digonal dihedron)
|{2,2}
|{{CDD|node_1|2x|node|2x|node}}
|[[File:Spherical digonal hosohedron.png|75px]]
|2<BR>{2}
|2<BR>{ }
|2<BR>{2}
|D<sub>2h</sub><BR>[2,2]<BR>(*222)
|Self
 
|- bgcolor="#ffe0e0"
|Trigonal hosohedron
|{2,3}
|{{CDD|node_1|2x|node|3|node}}
|[[File:Spherical trigonal hosohedron.png|75px]]
|3<BR>{2}
|3<BR>{ }
|2<BR>{3}
|D<sub>3h</sub><BR>[2,3]<BR>(*322)
|Trigonal dihedron
|- bgcolor="#ffe0e0"
|Square hosohedron
|{2,4}
|{{CDD|node_1|2x|node|4|node}}
|[[File:Spherical_square_hosohedron.png|75px]]
|4<BR>{2}
|4<BR>{ }
|2<BR>{4}
|D<sub>4h</sub><BR>[2,4]<BR>(*422)
|Square dihedron
 
|- bgcolor="#ffe0e0"
|Pentagonal hosohedron
|{2,5}
|{{CDD|node_1|2x|node|5|node}}
|[[File:Spherical pentagonal hosohedron.png|75px]]
|5<BR>{2}
|5<BR>{ }
|2<BR>{5}
|D<sub>5h</sub><BR>[2,5]<BR>(*522)
|Pentagonal dihedron
 
|- bgcolor="#ffe0e0"
|Hexagonal hosohedron
|{2,6}
|{{CDD|node_1|2x|node|6|node}}
|[[File:Spherical hexagonal hosohedron.png|75px]]
|6<BR>{2}
|6<BR>{ }
|2<BR>{6}
|D<sub>6h</sub><BR>[2,6]<BR>(*622)
|Hexagonal dihedron
 
|- bgcolor="#e0e0ff"
|Monogonal dihedron<BR>(half monogonal hosohedron)
|{1,2}<BR>=h{2,2}
|{{CDD|node_h|2x|node|2x|node}}
|[[File:Hengonal dihedron.png|75px]]
|2<BR>{1}
|1<BR>{ }
|1<BR>{2}
|D<sub>1h</sub><BR>[1,2]<BR>(*22)
|Monogonal hosohedron
|- bgcolor="#e0e0e0"
|Digonal dihedron<BR>(Same as digonal hosohedron)
|{2,2}
|{{CDD|node_1|2x|node|2x|node}}
|[[File:Digonal dihedron.png|75px]]
|2<BR>{2}
|2<BR>{ }
|2<BR>{2}
|D<sub>2h</sub><BR>[2,2]<BR>(*222)
|Self
|- bgcolor="#e0e0ff"
|Trigonal dihedron
|{3,2}
|{{CDD|node_1|3|node|2x|node}}
|[[File:Trigonal dihedron.png|75px]]
|2<BR>{3}
|3<BR>{ }
|3<BR>{2}
|D<sub>3h</sub><BR>[3,2]<BR>(*322)
|Trigonal hosohedron
|- bgcolor="#e0e0ff"
|Square dihedron
|{4,2}
|{{CDD|node_1|4|node|2x|node}}
|[[File:Tetragonal_dihedron.png|75px]]
|2<BR>{4}
|4<BR>{ }
|4<BR>{2}
|D<sub>4h</sub><BR>[4,2]<BR>(*422)
|Square hosohedron
|- bgcolor="#e0e0ff"
|Pentagonal dihedron
|{5,2}
|{{CDD|node_1|5|node|2x|node}}
|[[File:Pentagonal dihedron.png|75px]]
|2<BR>{5}
|5<BR>{ }
|5<BR>{2}
|D<sub>5h</sub><BR>[5,2]<BR>(*522)
|Pentagonal hosohedron
 
|- bgcolor="#e0e0ff"
|Hexagonal dihedron
|{6,2}
|{{CDD|node_1|6|node|2x|node}}
|[[File:Hexagonal dihedron.png|75px]]
|2<BR>{6}
|6<BR>{ }
|6<BR>{2}
|D<sub>6h</sub><BR>[6,2]<BR>(*622)
|Hexagonal hosohedron
 
|}
 
===Non-convex===
The regular [[Star polyhedron|star polyhedra]] are called the [[Kepler–Poinsot polyhedra]] and there are four of them, based on the [[vertex arrangement]]s of the [[dodecahedron]] {5,3} and [[icosahedron]] {3,5}:
 
As [[spherical tiling]]s, these nonconvex forms overlap the sphere multiple times, called its ''density'', being 3 or 7 for these forms. The tiling images show a single [[spherical polygon]] face in yellow.
{| class="wikitable"
|-
!Name
!Image<BR>(transparent)
!Image<BR>(solid)
!Image<BR>(sphere)
![[Stellation]]<BR>diagram
![[Schläfli symbol|Schläfli]]<br />{p,q} and<br />[[Coxeter-Dynkin diagram|Coxeter]]
!Faces<br />{p}
!Edges
!Vertices<br />{q}<br />[[Vertex figure|verf.]]
![[Euler characteristic|χ]]
![[Density (polytope)|Density]]
![[Symmetry group|Symmetry]]
![[dual polyhedron|Dual]]
|- BGCOLOR="#ffe0e0" align=center
|[[Small stellated dodecahedron]]<!--<br/>(sissid)-->
|[[Image:SmallStellatedDodecahedron.jpg|80px]]
|[[Image:Small stellated dodecahedron.png|80px]]
|[[Image:Small stellated dodecahedron tiling.png|80px]]
|[[File:First stellation of dodecahedron facets.svg|80px]]
|{5/2,5}<br />{{CDD|node|5|node|5|rat|d2|node_1}}
|12<br />{5/2}<br />[[Image:Pentagram.svg|30px]]
|30||12<br />{5}<br />[[Image:Pentagon.svg|30px]]
| −6||3||I<sub>h</sub><BR>[5,3]<BR>(*532)||Great dodecahedron
|- BGCOLOR="#e0e0ff" align=center
|[[Great dodecahedron]]<!--<br/>(gad)-->
|[[Image:GreatDodecahedron.jpg|80px]]
|[[Image:Great dodecahedron.png|80px]]
|[[Image:Great dodecahedron tiling.png|80px]]
|[[File:Second stellation of dodecahedron facets.svg|80px]]
|{5,5/2}<br />{{CDD|node_1|5|node|5|rat|d2|node}}
|12<br />{5}<br />[[Image:Pentagon.svg|30px]]
|30||12<br />{5/2}<br />[[Image:Pentagram.svg|30px]]
| −6||3||I<sub>h</sub><BR>[5,3]<BR>(*532)||Small stellated dodecahedron
|- BGCOLOR="#ffe0e0" align=center
|[[Great stellated dodecahedron]]<!--<br/>(gissid)-->
|[[Image:GreatStellatedDodecahedron.jpg|80px]]
|[[Image:Great stellated dodecahedron.png|80px]]
|[[Image:Great stellated dodecahedron tiling.png|80px]]
|[[File:Third stellation of dodecahedron facets.svg|80px]]
|{5/2,3}<br />{{CDD|node|3|node|5|rat|d2|node_1}}
|12<br />{5/2}<br />[[Image:Pentagram.svg|30px]]
|30||20<br />{3}<br />[[Image:Triangle.Equilateral.svg|30px]]
|2||7||I<sub>h</sub><BR>[5,3]<BR>(*532)||Great icosahedron
|- BGCOLOR="#e0e0ff" align=center
|[[Great icosahedron]]<!--<br/>(gike)-->
|[[Image:GreatIcosahedron.jpg|80px]]
|[[Image:Great icosahedron.png|80px]]
|[[Image:Great icosahedron tiling.png|80px]]
|[[File:Sixteenth stellation of icosahedron facets.png|80px]]
|{3,5/2}<br />{{CDD|node_1|3|node|5|rat|d2|node}}
|20<br />{3}<br />[[Image:Triangle.Equilateral.svg|30px]]
|30||12<br />{5/2}<br />[[Image:Pentagram.svg|30px]]
|2||7||I<sub>h</sub><BR>[5,3]<BR>(*532)||Great stellated dodecahedron
|}
 
===Tessellations===
 
==== Euclidean tilings ====
 
There are three regular tessellations of the plane. All three have an [[Euler characteristic]] (χ) of 0.
{| class=wikitable
!Name
![[Square tiling]]<BR>(quadrille)<!--<br/>(squat)-->
![[Triangular tiling]]<BR>(deltille)<!--<br/>(trat)-->
![[Hexagonal tiling]]<BR>(hextille)<!--<br/>(hexat)-->
|- align=center
![[List_of_planar_symmetry_groups#Wallpaper_groups|Symmetry]]
|p4m, [4,4]
|colspan=2|p6m, [6,3]
|- align=center
![[Schläfli symbol|Schläfli]] {p,q}
|{4,4}
|{3,6}
|{6,3}
|- align=center
![[Coxeter-Dynkin diagram|Coxeter diagram]]
|{{CDD|node_1|4|node|4|node}}
|{{CDD|node|6|node|3|node_1}}
|{{CDD|node_1|6|node|3|node}}
|- align=center
!Image
|[[File:Uniform tiling 44-t0.png|100px]]
|[[File:Uniform tiling 63-t2.png|100px]]
|[[File:Uniform tiling 63-t0.png|100px]]
|- align=center
![[Symmetry group|Symmetry]]
|*442<BR>(p4m)
|colspan=2|*632<BR>(p6m)
|}
 
There is one degenerate regular tiling, {∞,2} (azat), made from two [[apeirogon]]s, each filling half the plane. This tiling is related to a 2-faced [[dihedron]], {p,2}, on the sphere.
 
===== Euclidean star-tilings =====
 
There are no regular plane tilings of [[star polygon]]s. There are many enumerations that fit in the plane (1/''p'' + 1/''q'' = 1/2), like {8/3,8}, {10/3,5}, {5/2,10}, {12/5,12}, etc., but none repeat periodically.
 
==== Hyperbolic tilings ====
 
Tessellations of [[Lobachevski plane|hyperbolic 2-space]] can be called ''[[hyperbolic tiling]]s''. There are infinitely many regular tilings in H<sup>2</sup>. As stated above, every positive integer pair {''p'',''q''} such that 1/''p''&nbsp;+&nbsp;1/''q'' < 1/2 gives a hyperbolic tiling. In fact, for the general [[Schwarz triangle]] (''p'',&nbsp;''q'',&nbsp;''r'') the same holds true for 1/''p''&nbsp;+&nbsp;1/''q''&nbsp;+&nbsp;1/''r'' < 1.
 
There are a number of different ways to display the hyperbolic plane, including the [[Poincaré disc model]] which maps the plane into a circle, as shown below. It should be recognized that all of the polygon faces in the tilings below are equal-sized and only appear to get smaller near the edges due to the projection applied, very similar to the effect of a camera [[fisheye lens]].
 
A sampling:
{{Regular hyperbolic tiling table}}
 
===== Hyperbolic star-tilings =====
There are 2 infinite forms of hyperbolic tilings whose [[face (geometry)|faces]] or [[vertex figure]]s are star polygons: {''m''/2, ''m''} and their duals {''m'', ''m''/2} with ''m'' = 7, 9, 11, .... The {''m''/2, ''m''} tilings are [[stellation]]s of the {''m'', 3} tilings while the {''m'', ''m''/2} dual tilings are [[faceting]]s of the {3, ''m''} tilings and [[greatening (geometry)|greatening]]s of the {''m'', 3} tilings.
 
The patterns {''m''/2, ''m''} and {''m'', ''m''/2} continue for odd ''m'' < 7 as [[polyhedron|polyhedra]]: when ''m'' = 5, we obtain the [[small stellated dodecahedron]] and [[great dodecahedron]], and when ''m'' = 3, we obtain the [[tetrahedron]]. If ''m'' is even, depending on how we choose to define {''m''/2}, we can either obtain degenerate double covers of other tilings or [[polyhedral compound|compound]] tilings.
 
{| class="wikitable" style="text-align:center;"
|-
! Name
! [[Schläfli symbol|Schläfli]]
! [[Coxeter-Dynkin diagram|Coxeter diagram]]
! Image
! Face type<br />{p}
! [[Vertex figure]]<br />{q}
! [[Density (polytope)|Density]]
! [[Symmetry group|Symmetry]]
! Dual
|- BGCOLOR="#ffe0e0" align=center
|[[Order-7 heptagrammic tiling]]
|{7/2,7}
|{{CDD|node_1|7|rat|d2|node|7|node}}
|[[Image:Hyperbolic tiling 7-2 7.png|60px]]
|{7/2}<br />[[Image:Star polygon 7-2.svg|30px]]
|{7}<br />[[Image:Heptagon.svg|30px]]
| 3
| *732<BR>[7,3]
| Heptagrammic-order heptagonal tiling
|- BGCOLOR="#e0e0ff" align=center
|[[Heptagrammic-order heptagonal tiling]]
|{7,7/2}
|{{CDD|node_1|7|node|7|rat|d2|node}}
|[[Image:Hyperbolic tiling 7 7-2.png|60px]]
|{7}<br />[[Image:Heptagon.svg|30px]]
|{7/2}<br />[[Image:Star polygon 7-2.svg|30px]]
| 3
| *732<BR>[7,3]
| Order-7 heptagrammic tiling
|- BGCOLOR="#ffe0e0" align=center
| [[Order-9 enneagrammic tiling]]
|{9/2,9}
|{{CDD|node_1|9|rat|d2|node|9|node}}
|[[Image:Hyperbolic tiling 9-2 9.png|60px]]
|{9/2}<br />[[Image:Star polygon 9-2.svg|30px]]
|{9}<br />[[Image:Nonagon.svg|30px]]
| 3
| *932<BR>[9,3]
| Enneagrammic-order enneagonal tiling
|- BGCOLOR="#e0e0ff" align=center
| [[Enneagrammic-order enneagonal tiling]]
|{9,9/2}
|{{CDD|node_1|9|node|9|rat|d2|node}}
|[[Image:Hyperbolic tiling 9 9-2.png|60px]]
|{9}<br />[[Image:Nonagon.svg|30px]]
|{9/2}<br />[[Image:Star polygon 9-2.svg|30px]]
| 3
| *932<BR>[9,3]
| Order-9 enneagrammic tiling
|- BGCOLOR="#ffe0e0" align=center
| Order-''p'' ''p''-grammic tiling
|{''p''/2,''p''}
|{{CDD|node_1|p|rat|d2|node|p|node}}
|&nbsp;
|{''p''/2}
|{''p''}
| 3
| *''p''32<BR>[p,3]
| ''p''-grammic-order ''p''-gonal tiling
|- BGCOLOR="#e0e0ff" align=center
| ''p''-grammic-order ''p''-gonal tiling
|{''p'',''p''/2}
|{{CDD|node_1|p|node|p|rat|d2|node}}
|&nbsp;
|{''p''}
|{''p''/2}
| 3
| *''p''32<BR>[p,3]
| Order-''p'' ''p''-grammic tiling
|}
 
== Four dimensions ==
 
Regular [[4-polytopes]] with [[Schläfli symbol]] <math>\{p,q,r\}</math> have cells of type <math>\{p,q\}</math>, faces of type <math>\{p\}</math>, edge figures
<math>\{r\}</math>, and vertex figures <math>\{q,r\}</math>.
* A [[vertex figure]] (of a 4-polytope) is a polyhedron, seen by the arrangement of neighboring vertices around a given vertex. For regular polychora, this vertex figure is a regular polyhedron.
* An [[Vertex figure#Edge figure|edge figure]]'' is a polygon, seen by the arrangement of faces around an edge. For regular polychora, this edge figure will always be a regular polygon.
 
The existence of a regular 4-polytope <math>\{p,q,r\}</math> is constrained by the existence of the regular polyhedra <math>\{p,q\}, \{q,r\}</math>.
 
Each will exist in a space dependent upon this expression:
: <math>\sin \left ( \frac{\pi}{p} \right ) \sin \left(\frac{\pi}{r}\right) - \cos\left(\frac{\pi}{q}\right)</math>
:: <math>> 0</math> : Hyperspherical 3-space honeycomb or 4-polytope
:: <math>= 0</math> : Euclidean 3-space honeycomb
:: <math>< 0</math> : Hyperbolic 3-space honeycomb
 
These constraints allow for 21 forms: 6 are convex, 10 are nonconvex, ''one'' is a Euclidean 3-space honeycomb, and 4 are hyperbolic honeycombs.
 
The [[Euler characteristic]] <math>\chi</math> for polychora is
<math>\chi = V+F-E-C</math>
and is zero for all forms.
 
===Convex===
 
The 6 convex [[regular 4-polytope]]s are shown in the table below. All these polychora have an [[Euler characteristic]] (χ) of 0.
 
{| class="wikitable"
! Name<br />
! [[Schläfli symbol|Schläfli]]<br />{p,q,r}
! [[Coxeter-Dynkin diagram|Coxeter]]<br />{{CDD|node|p|node|q|node|r|node}}
! [[Cell (geometry)|Cells]]<br /> {p,q}
! [[Face (geometry)|Faces]]<br /> {p}
! [[Edge (geometry)|Edges]]<br /> {r}
! [[Vertex (geometry)|Vertices]]<br /> {q,r}
! Dual<br /> {r,q,p}
|- BGCOLOR="#e0e0e0" align=center
| [[5-cell]]<br />([[Simplex|4-simplex]])<br />(Pentachoron)<br/>(pen)
| {3,3,3}
|{{CDD|node_1|3|node|3|node|3|node}}
| 5<br />{3,3}
| 10<br />{3}
| 10<br /> {3}
| 5<br /> {3,3}
| (self)
|- BGCOLOR="#ffe0e0" align=center
| [[8-cell]]<br />([[Hypercube|4-cube]])<br />(Tesseract)<br/>(tes)
| {4,3,3}
|{{CDD|node_1|4|node|3|node|3|node}}
| 8<br /> {4,3}
| 24<br /> {4}
| 32<br /> {3}
| 16<br /> {3,3}
| 16-cell
|- BGCOLOR="#e0e0ff" align=center
| [[16-cell]]<br />([[Cross-polytope|4-orthoplex]])<br/>(hex)
| {3,3,4}
|{{CDD|node_1|3|node|3|node|4|node}}
| 16<br /> {3,3}
| 32<br /> {3}
| 24<br /> {4}
| 8<br /> {3,4}
| Tesseract
|- BGCOLOR="#e0e0e0" align=center
| [[24-cell]]<br/>(ico)
| {3,4,3}
|{{CDD|node_1|3|node|4|node|3|node}}
| 24<br /> {3,4}
| 96<br /> {3}
| 96<br /> {3}
| 24<br /> {4,3}
| (self)
|- BGCOLOR="#ffe0e0" align=center
| [[120-cell]]<br/>(hi)
| {5,3,3}
|{{CDD|node_1|5|node|3|node|3|node}}
| 120<br /> {5,3}
| 720<br /> {5}
| 1200<br /> {3}
| 600<br /> {3,3}
| 600-cell
|- BGCOLOR="#e0e0ff" align=center
| [[600-cell]]<br/>(ex)
| {3,3,5}
|{{CDD|node_1|3|node|3|node|5|node}}
| 600<br /> {3,3}
| 1200<br /> {3}
| 720<br /> {5}
| 120<br /> {3,5}
| 120-cell
|}
 
{| class="wikitable"
|-
! [[5-cell]] || [[8-cell]] || [[16-cell]] || [[24-cell]] || [[120-cell]] || [[600-cell]]
|-
! {3,3,3} || {4,3,3} || {3,3,4} || {3,4,3} || {5,3,3} || {3,3,5}
|-
!colspan=6|Wireframe ([[Petrie polygon]]) skew [[orthographic projection]]s
|-
| [[File:Complete graph K5.svg|105px]]
| [[File:4-cube graph.svg|105px]]
| [[File:4-orthoplex.svg|105px]]
| [[File:24-cell graph F4.svg|105px]]
| [[File:Cell120Petrie.svg|105px]]
| [[File:Cell600Petrie.svg|105px]]
|-
!colspan=6|Solid [[orthographic projection]]s
|-
| [[Image:Tetrahedron.png|105px]]<BR>[[Tetrahedron|tetrahedral<BR>envelope]]<BR>(cell/vertex-centered)
| [[Image:Hexahedron.png|105px]]<BR>[[Cube|cubic envelope]]<BR>(cell-centered)
| [[File:16-cell ortho cell-centered.png|105px]]<BR>[[Cube|Cubic<BR>envelope]]<BR>(cell-centered)
| [[Image:Ortho solid 24-cell.png|105px]]<BR>[[Cuboctahedron|cuboctahedral<BR>envelope]]<BR>(cell-centered)
| [[Image:Ortho solid 120-cell.png|105px]]<BR>[[Truncated rhombic triacontahedron|truncated rhombic<BR>triacontahedron<BR>envelope]]<BR> (cell-centered)
| [[Image:Ortho solid 600-cell.png|105px]]<BR>[[Pentakis icosidodecahedron|Pentakis<BR>icosidodecahedral]]<BR>envelope<BR>(vertex-centered)
|-
!colspan=6|Wireframe [[Schlegel diagram]]s ([[Perspective projection]])
|-
| [[Image:Schlegel wireframe 5-cell.png|105px]]<BR>(Cell-centered)
| [[Image:Schlegel wireframe 8-cell.png|105px]]<BR>(Cell-centered)
| [[Image:Schlegel wireframe 16-cell.png|105px]]<BR>(Cell-centered)
| [[Image:Schlegel wireframe 24-cell.png|105px]]<BR>(Cell-centered)
| [[Image:Schlegel wireframe 120-cell.png|105px]]<BR>(Cell-centered)
| [[Image:Schlegel wireframe 600-cell vertex-centered.png|105px]]<BR>(Vertex-centered)
|-
!colspan=6|Wireframe [[stereographic projection]]s ([[3-sphere|Hyperspherical]])
|-
| [[Image:Stereographic polytope 5cell.png|105px]]
| [[Image:Stereographic polytope 8cell.png|105px]]
| [[Image:Stereographic polytope 16cell.png|105px]]
| [[Image:Stereographic polytope 24cell.png|105px]]
| [[Image:Stereographic polytope 120cell.png|105px]]
| [[Image:Stereographic polytope 600cell.png|105px]]
|}
 
==== Improper (spherical) ====
 
[[Ditope|Dichora]] and [[hosotope|hosochora]] exist as regular tessellations of the [[3-sphere]].
 
Regular '''dichora''' (2 facets) include: {3,3,2}, {3,4,2}, {4,3,2}, {5,3,2}, {3,5,2}, {p,2,2}, and their '''hosochora''' [[Dual polytope|duals]] (2 vertices): {2,3,3}, {2,4,3}, {2,3,4}, {2,3,5}, {2,5,3}, {2,2,p}. Polychora of the form {2,p,2} are both dichora and hosochora.
 
===Non-convex===
There are ten [[star polytope|regular star 4-polytopes]], which are called the [[Schläfli–Hess 4-polytope]]s.  Their vertices are based on the convex [[120-cell]] ''{5,3,3}'' and [[600-cell]] ''{3,3,5}''.
 
[[Ludwig Schläfli]] found four of them and skipped the last six because he would not allow forms that failed the [[Euler characteristic]] on cells or vertex figures (for zero-hole tori: F+V−E=2). [[Edmund Hess]] (1843–1903) completed the full list of ten in his German book ''Einleitung in die Lehre von der Kugelteilung mit besonderer Berücksichtigung ihrer Anwendung auf die Theorie der Gleichflächigen und der gleicheckigen Polyeder'' (1883)[http://www.hti.umich.edu/cgi/b/bib/bibperm?q1=ABN8623.0001.001].
 
There are 4 unique [[edge arrangement]]s and 7 unique [[face arrangement]]s from these 10 nonconvex polychora, shown as [[orthogonal projection]]s:
 
{| class="wikitable"
! Name<BR>
! Wireframe
! Solid
! [[Schläfli symbol|Schläfli]]<BR>{p, q, r}<BR>[[Coxeter&ndash;Dynkin diagram|Coxeter]]
! Cells<BR>{p, q}
! Faces<BR>{p}
! Edges<BR>{r}
! Vertices<BR>{q, r}
![[density (polytope)|Density]]
! [[Euler characteristic|χ]]
![[Coxeter group|Symmetry group]]
! Dual<BR>{r, q,p}
|- align=center BGCOLOR="#e0e0ff"
| [[Icosahedral 120-cell]]<br>(faceted 600-cell)<br>(fix)
| [[Image:Schläfli-Hess polychoron-wireframe-3.png|75px]]
| [[Image:ortho solid 007-uniform polychoron 35p-t0.png|75px]]
| {3,5,5/2}<BR>{{CDD|node_1|3|node|5|node|5|rat|d2|node}}
| 120<BR>[[Icosahedron|{3,5}]]<BR>[[Image:Icosahedron.png|25px]]
| 1200<BR>[[Triangle|{3}]]<BR>[[Image:Triangle.Equilateral.svg|25px]]
| 720<BR>[[Pentagram|{5/2}]]<BR>[[Image:Pentagram.svg|25px]]
| 120<BR>[[Great dodecahedron|{5,5/2}]]<BR>[[Image:Great dodecahedron.png|25px]]
| 4
| 480
| ''H''<sub>4</sub><BR>[5,3,3]
| Small stellated 120-cell
|- align=center BGCOLOR="#ffe0e0"
| [[Small stellated 120-cell]]<br>(sishi)
| [[Image:Schläfli-Hess polychoron-wireframe-2.png|75px]]
| [[Image:ortho solid 010-uniform polychoron p53-t0.png|75px]]
| {5/2,5,3}<BR>{{CDD|node|3|node|5|node|5|rat|d2|node_1}}
| 120<BR>[[Small stellated dodecahedron|{5/2,5}]]<BR>[[Image:Small stellated dodecahedron.png|25px]]
| 720<BR>[[Pentagram|{5/2}]]<BR>[[Image:Pentagram.svg|25px]]
| 1200<BR>[[Triangle|{3}]]<BR>[[Image:Triangle.Equilateral.svg|25px]]
| 120<BR>[[Dodecahedron|{5,3}]]<BR>[[Image:Dodecahedron.png|25px]]
| 4
| &minus;480
| ''H''<sub>4</sub><BR>[5,3,3]
| Icosahedral 120-cell
|- align=center BGCOLOR="#e0ffe0"
| [[Great 120-cell]]<br>(gohi)
| [[Image:Schläfli-Hess polychoron-wireframe-3.png|75px]]
| [[Image:ortho solid 008-uniform polychoron 5p5-t0.png|75px]]
| {5,5/2,5}<BR>{{CDD|node_1|5|node|5|rat|d2|node|5|node}}
| 120<BR>[[Great dodecahedron|{5,5/2}]]<BR>[[Image:Great dodecahedron.png|25px]]
| 720<BR>[[Pentagon|{5}]]<BR>[[Image:Pentagon.svg|25px]]
| 720<BR>[[Pentagon|{5}]]<BR>[[Image:Pentagon.svg|25px]]
| 120<BR>[[Small stellated dodecahedron|{5/2,5}]]<BR>[[Image:Small stellated dodecahedron.png|25px]]
| 6
| 0
| ''H''<sub>4</sub><BR>[5,3,3]
| Self-dual
|- align=center BGCOLOR="#e0e0ff"
| [[Grand 120-cell]]<br>(gahi)
| [[Image:Schläfli-Hess polychoron-wireframe-3.png|75px]]
| [[Image:ortho solid 009-uniform polychoron 53p-t0.png|75px]]
| {5,3,5/2}<BR>{{CDD|node_1|5|node|3|node|5|rat|d2|node}}
| 120<BR>[[Dodecahedron|{5,3}]]<BR>[[Image:Dodecahedron.png|25px]]
| 720<BR>[[Pentagon|{5}]]<BR>[[Image:Pentagon.svg|25px]]
| 720<BR>[[Pentagram|{5/2}]]<BR>[[Image:Pentagram.svg|25px]]
| 120<BR>[[Great icosahedron|{3,5/2}]]<BR>[[Image:Great icosahedron.png|25px]]
| 20
| 0
| ''H''<sub>4</sub><BR>[5,3,3]
| Great stellated 120-cell
|- align=center BGCOLOR="#ffe0e0"
| [[Great stellated 120-cell]]<br>(gishi)
| [[Image:Schläfli-Hess polychoron-wireframe-4.png|75px]]
| [[Image:ortho solid 012-uniform polychoron p35-t0.png|75px]]
| {5/2,3,5}<BR>{{CDD|node|5|node|3|node|5|rat|d2|node_1}}
| 120<BR>[[Great stellated dodecahedron|{5/2,3}]]<BR>[[Image:Great stellated dodecahedron.png|25px]]
| 720<BR>[[Pentagram|{5/2}]]<BR>[[Image:Pentagram.svg|25px]]
| 720<BR>[[Pentagon|{5}]]<BR>[[Image:Pentagon.svg|25px]]
| 120<BR>[[Icosahedron|{3,5}]]<BR>[[Image:Icosahedron.png|25px]]
| 20
| 0
| ''H''<sub>4</sub><BR>[5,3,3]
| Grand 120-cell
|- align=center BGCOLOR="#e0ffe0"
| [[Grand stellated 120-cell]]<br>(gashi)
| [[Image:Schläfli-Hess polychoron-wireframe-4.png|75px]]
| [[Image:ortho solid 013-uniform polychoron p5p-t0.png|75px]]
| {5/2,5,5/2}<BR>{{CDD|node_1|5|rat|d2|node|5|node|5|rat|d2|node}}
| 120<BR>[[Small stellated dodecahedron|{5/2,5}]]<BR>[[Image:Small stellated dodecahedron.png|25px]]
| 720<BR>[[Pentagram|{5/2}]]<BR>[[Image:Pentagram.svg|25px]]
| 720<BR>[[Pentagram|{5/2}]]<BR>[[Image:Pentagram.svg|25px]]
| 120<BR>[[Great dodecahedron|{5,5/2}]]<BR>[[Image:Great dodecahedron.png|25px]]
| 66
| 0
| ''H''<sub>4</sub><BR>[5,3,3]
| Self-dual
|- align=center BGCOLOR="#e0e0ff"
| [[Great grand 120-cell]]<br>(gaghi)
| [[Image:Schläfli-Hess polychoron-wireframe-2.png|75px]]
| [[Image:ortho solid 011-uniform polychoron 53p-t0.png|75px]]
| {5,5/2,3}<BR>{{CDD|node_1|5|node|5|rat|d2|node|3|node}}
| 120<BR>[[Great dodecahedron|{5,5/2}]]<BR>[[Image:Great dodecahedron.png|25px]]
| 720<BR>[[Pentagon|{5}]]<BR>[[Image:Pentagon.svg|25px]]
| 1200<BR>[[Triangle|{3}]]<BR>[[Image:Triangle.Equilateral.svg|25px]]
| 120<BR>[[Great stellated dodecahedron|{5/2,3}]]<BR>[[Image:Great stellated dodecahedron.png|25px]]
| 76
| &minus;480
| ''H''<sub>4</sub><BR>[5,3,3]
| Great icosahedral 120-cell
|- align=center BGCOLOR="#ffe0e0"
| [[Great icosahedral 120-cell]]<br>(great faceted 600-cell)<br>(gofix)
| [[Image:Schläfli-Hess polychoron-wireframe-4.png|75px]]
| [[Image:ortho solid 014-uniform polychoron 3p5-t0.png|75px]]
| {3,5/2,5}<BR>{{CDD|node|5|node|5|rat|d2|node|3|node_1}}
| 120<BR>[[Great icosahedron|{3,5/2}]]<BR>[[Image:Great icosahedron.png|25px]]
| 1200<BR>[[Triangle|{3}]]<BR>[[Image:Triangle.Equilateral.svg|25px]]
| 720<BR>[[Pentagon|{5}]]<BR>[[Image:Pentagon.svg|25px]]
| 120<BR>[[Small stellated dodecahedron|{5/2,5}]]<BR>[[Image:Small stellated dodecahedron.png|25px]]
| 76
| 480
| ''H''<sub>4</sub><BR>[5,3,3]
| Great grand 120-cell
|- align=center BGCOLOR="#e0e0ff"
| [[Grand 600-cell]]<br>(gax)
| [[Image:Schläfli-Hess polychoron-wireframe-4.png|75px]]
| [[Image:ortho solid 015-uniform polychoron 33p-t0.png|75px]]
| {3,3,5/2}<BR>{{CDD|node_1|3|node|3|node|5|rat|d2|node}}
| 600<BR>[[Tetrahedron|{3,3}]]<BR>[[Image:Tetrahedron.png|25px]]
| 1200<BR>[[Triangle|{3}]]<BR>[[Image:Triangle.Equilateral.svg|25px]]
| 720<BR>[[Pentagram|{5/2}]]<BR>[[Image:Pentagram.svg|25px]]
| 120<BR>[[Great icosahedron|{3,5/2}]]<BR>[[Image:Great icosahedron.png|25px]]
| 191
| 0
| ''H''<sub>4</sub><BR>[5,3,3]
| Great grand stellated 120-cell
|- align=center BGCOLOR="#ffe0e0"
| [[Great grand stellated 120-cell]]<br>(gogishi)
| [[Image:Schläfli-Hess polychoron-wireframe-1.png|75px]]
| [[Image:ortho solid 016-uniform polychoron p33-t0.png|75px]]
| {5/2,3,3}<BR>{{CDD|node|3|node|3|node|5|rat|d2|node_1}}
| 120<BR>[[Great stellated dodecahedron|{5/2,3}]]<BR>[[Image:Great stellated dodecahedron.png|25px]]
| 720<BR>[[Pentagram|{5/2}]]<BR>[[Image:Pentagram.svg|25px]]
| 1200<BR>[[Triangle|{3}]]<BR>[[Image:Triangle.Equilateral.svg|25px]]
| 600<BR>[[Tetrahedron|{3,3}]]<BR>[[Image:Tetrahedron.png|25px]]
| 191
| 0
| ''H''<sub>4</sub><BR>[5,3,3]
| Grand 600-cell
|}
There are 4 ''failed'' potential nonconvex regular polychora permutations: {3,5/2,3}, {4,3,5/2}, {5/2,3,4}, {5/2,3,5/2}. Their cells and vertex figures exist, but they do not cover a hypersphere with a finite number of repetitions.
 
===Tessellations of Euclidean 3-space===
[[Image:Cubic honeycomb.png|150px|thumb|Edge framework of cubic honeycomb, {4,3,4}]]
 
There is only one non-degenerate regular tessellation of 3-space (''[[honeycomb (geometry)|honeycombs]]''):
 
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>{p,q,r}
![[Coxeter-Dynkin diagram|Coxeter]]<BR>{{CDD|node|p|node|q|node|r|node}}
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Edge<BR>figure<BR>{r}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r}
![[Euler characteristic|&chi;]]
![[Dual polytope|Dual]]
|- BGCOLOR="#e0e0e0" align=center
|[[Cubic honeycomb]]<br>(chon)||{4,3,4}||{{CDD|node_1|4|node|3|node|4|node}}||{4,3}||{4}||{4}||{3,4}||0||Self-dual
|}
 
====Improper tessellations of Euclidean 3-space====
[[File:Order-4 square hosohedral honeycomb-sphere.png|160px|thumb|Regular {2,4,4} honeycomb, seen projected into a sphere.]]
There are six improper regular tessellations, pairs based on the three regular Euclidean tilings. Their cells and vertex figures are all regular [[hosohedron|hosohedra]] {2,n}, [[dihedron|dihedra]], {n,2}, and Euclidean tilings. These improper regular tilings are constructionally related to prismatic uniform honeycombs by truncation operations. They are higher-dimensional analogues of the [[order-2 apeirogonal tiling]] and [[apeirogonal hosohedron]].
{| class=wikitable
|-
![[Schläfli symbol|Schläfli]]<BR>{p,q,r}
![[Coxeter-Dynkin diagram|Coxeter<BR>diagram]]
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Edge<BR>figure<BR>{r}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r}
|- align=center
|[[order-4 square hosohedral honeycomb|{2,4,4}]]||{{CDD|node_1|2|node|4|node|4|node}}||{2,4}||{2}||{4}||{4,4}
|- align=center
|[[Order-6 triangular hosohedral honeycomb|{2,3,6}]]||{{CDD|node_1|2|node|3|node|6|node}}||{2,3}||{2}||{6}||{3,6}
|- align=center
|[[hexagonal hosohedral honeycomb|{2,6,3}]]||{{CDD|node_1|2|node|6|node|3|node}}||{2,6}||{2}||{3}||{6,3}
|- align=center
|[[Order-2 square tiling|{4,4,2}]]||{{CDD|node_1|4|node|4|node|2|node}}||{4,4}||{4}||{2}||{4,2}
|- align=center
|[[Order-2 triangular tiling|{3,6,2}]]||{{CDD|node_1|3|node|6|node|2|node}}||{3,6}||{3}||{2}||{6,2}
|- align=center
|[[Order-2 hexagonal tiling|{6,3,2}]]||{{CDD|node_1|6|node|3|node|2|node}}||{6,3}||{6}||{2}||{3,2}
|}
 
===Tessellations of hyperbolic 3-space===
{| align=right
|
{| class="wikitable"
|+ 4 compact regular honeycombs
|- bgcolor="#d0e0ff" align=center
|[[File:H3 534 CC center.png|150px]]<BR>[[Order-4 dodecahedral honeycomb|{5,3,4}]]
|[[File:H3 535 CC center.png|150px]]<BR>[[Order-5 dodecahedral honeycomb|{5,3,5}]]
|- bgcolor="#d0e0ff" align=center
|[[File:H3 435 CC center.png|150px]]<BR>[[Order-5 cubic honeycomb|{4,3,5}]]
|[[File:H3 353 CC center.png|150px]]<BR>[[Order-3 icosahedral honeycomb|{3,5,3}]]
|}
|-
|
{| class="wikitable"
|+ 4 of 11 paracompact regular honeycombs
|- bgcolor="#e0d0ff" align=center
|[[File:H3 344 CC center.png|150px]]<BR>[[Order-4 octahedral honeycomb|{3,4,4}]]
|[[File:H3 363 FC boundary.png|150px]]<BR>[[Triangular tiling honeycomb|{3,6,3}]]
|- bgcolor="#e0d0ff" align=center
|[[File:H3 443 FC boundary.png|150px]]<BR>[[Square tiling honeycomb|{4,4,3}]]
|[[File:H3 444 FC boundary.png|150px]]<BR>[[Order-4 square tiling honeycomb|{4,4,4}]]
|}
|}
Tessellations of [[Hyperbolic space|hyperbolic 3-space]] can be called ''[[honeycomb (geometry)|hyperbolic honeycombs]]''. There are 15 hyperbolic honeycombs in H<sup>3</sup>, 4 compact and 11 paracompact.
 
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p,q,r}
![[Coxeter-Dynkin diagram|Coxeter]]<BR>{{CDD|node|p|node|q|node|r|node}}
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Edge<BR>figure<BR>{r}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r}
![[Euler characteristic|&chi;]]
![[Dual polytope|Dual]]
|- BGCOLOR="#e0e0e0" align=center
|[[Icosahedral honeycomb]]||{3,5,3}||{{CDD|node_1|3|node|5|node|3|node}}||[[icosahedron|{3,5}]]||{3}||{3}||[[dodecahedron|{5,3}]]||0||Self-dual
|- BGCOLOR="#ffe0e0" align=center
|[[Order-5 cubic honeycomb]]||{4,3,5}||{{CDD|node_1|4|node|3|node|5|node}}||[[cube|{4,3}]]||{4}||{5}||[[icosahedron|{3,5}]]||0||{5,3,4}
|- BGCOLOR="#e0e0ff" align=center
|[[Order-4 dodecahedral honeycomb]]||{5,3,4}||{{CDD|node_1|5|node|3|node|4|node}}||[[Dodecahedron|{5,3}]]||{5}||{4}||[[octahedron|{3,4}]]||0||{4,3,5}
|- BGCOLOR="#e0e0e0" align=center
|[[Order-5 dodecahedral honeycomb]]||{5,3,5}||{{CDD|node_1|5|node|3|node|5|node}}||[[Dodecahedron|{5,3}]]||{5}||{5}||[[icosahedron|{3,5}]]||0||Self-dual
|}
 
There are also 11 paracompact H<sup>3</sup> honeycombs (those with infinite (Euclidean) cells and/or vertex figures): {3,3,6}, {6,3,3}, {3,4,4}, {4,4,3}, {3,6,3}, {4,3,6}, {6,3,4}, {4,4,4}, {5,3,6}, {6,3,5}, and {6,3,6}.
 
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p,q,r}
![[Coxeter-Dynkin diagram|Coxeter]]<BR>{{CDD|node|p|node|q|node|r|node}}
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Edge<BR>figure<BR>{r}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r}
![[Euler characteristic|&chi;]]
![[Dual polytope|Dual]]
|- BGCOLOR="#ffe0e0" align=center
|[[Order-6 tetrahedral honeycomb]]||{3,3,6}||{{CDD|node_1|3|node|3|node|6|node}}||[[tetrahedron|{3,3}]]||{3}||{6}||[[triangular tiling|{3,6}]]||0||{6,3,3}
|- BGCOLOR="#e0e0ff" align=center
|[[Hexagonal tiling honeycomb]]||{6,3,3}||{{CDD|node_1|6|node|3|node|3|node}}||[[hexagonal tiling|{6,3}]]||{6}||{3}||[[tetrahedron|{3,3}]]||0||{3,3,6}
|- BGCOLOR="#ffe0e0" align=center
|[[Order-4 octahedral honeycomb]]||{3,4,4}||{{CDD|node_1|3|node|4|node|4|node}}||[[octahedron|{3,4}]]||{3}||{4}||[[square tiling|{4,4}]]||0||{4,4,3}
|- BGCOLOR="#e0e0ff" align=center
|[[Square tiling honeycomb]]||{4,4,3}||{{CDD|node_1|4|node|4|node|3|node}}||[[square tiling|{4,4}]]||{4}||{3}||[[cube|{4,3}]]||0||{3,3,4}
|- BGCOLOR="#e0e0e0" align=center
|[[Triangular tiling honeycomb]]||{3,6,3}||{{CDD|node_1|3|node|6|node|3|node}}||[[triangular tiling|{3,6}]]||{3}||{3}||[[hexagonal tiling|{6,3}]]||0||Self-dual
|- BGCOLOR="#ffe0e0" align=center
|[[Order-6 cubic honeycomb]]||{4,3,6}||{{CDD|node_1|4|node|3|node|6|node}}||[[Cube|{4,3}]]||{4}||{4}||[[octahedron|{3,4}]]||0||{6,3,4}
|- BGCOLOR="#e0e0ff" align=center
|[[Order-4 hexagonal tiling honeycomb]]||{6,3,4}||{{CDD|node_1|6|node|3|node|4|node}}||[[hexagonal tiling|{6,3}]]||{6}||{4}||[[Octahedron|{3,4}]]||0||{4,3,6}
|- BGCOLOR="#e0e0e0" align=center
|[[Order-4 square tiling honeycomb]]||{4,4,4}||{{CDD|node_1|4|node|4|node|4|node}}||[[square tiling|{4,4}]]||{4}||{4}||[[square tiling|{4,4}]]||0||{4,4,4}
|- BGCOLOR="#ffe0e0" align=center
|[[Order-6 dodecahedral honeycomb]]||{5,3,6}||{{CDD|node_1|5|node|3|node|6|node}}||[[dodecahedron|{5,3}]]||{5}||{5}||[[icosahedron|{3,5}]]||0||{6,3,5}
|- BGCOLOR="#e0e0ff" align=center
|[[Order-5 hexagonal tiling honeycomb]]||{6,3,5}||{{CDD|node_1|6|node|3|node|5|node}}||[[hexagonal tiling|{6,3}]]||{6}||{5}||[[icosahedron|{3,5}]]||0||{5,3,6}
|- BGCOLOR="#e0e0e0" align=center
|[[Order-6 hexagonal tiling honeycomb]]||{6,3,6}||{{CDD|node_1|6|node|3|node|6|node}}||[[hexagonal tiling|{6,3}]]||{6}||{6}||[[triangular tiling|{3,6}]]||0||Self-dual
|}
 
A subset of uniform polychora and honeycombs are contained in the form {p,3,q} for values 3 to 6. Noncompact solutions exist as [[Lorentzian Coxeter group]]s for p or q greater than 6, and can be visualized with open domains in hyperbolic space, and a few are drawn below as tilings on the ideal half-space plane.
{{Regular_hyperbolic_honeycomb_table}}
 
== Five and more dimensions ==
In [[Five-dimensional space|five dimensions]], a regular polytope can be named as
<math>\{p,q,r,s\}</math> where <math>\{p,q,r\}</math> is the hypercell (or ''[[teron (geometry)|teron]]'') type, <math>\{p,q\}</math> is the cell type, <math>\{p\}</math> is the face type, and <math>\{s\}</math> is the face figure, <math>\{r,s\}</math> is the edge figure, and <math>\{q,r,s\}</math> is the vertex figure.
 
A '''[[5-polytope]]''' has been called a polyteron, and if infinite (i.e. a [[Honeycomb (geometry)|honeycomb]]) a [[tetracomb]].
 
: A [[vertex figure]] (of a 5-polytope) is a 4-polytope, seen by the arrangement of neighboring vertices to each vertex.
: An [[edge figure]] (of a 5-polytope) is a polyhedron, seen by the arrangement of faces around each edge.
: A [[face figure]] (of a 5-polytope) is a polygon, seen by the arrangement of cells around each face.
 
A regular 5-polytope <math>\{p,q,r,s\}</math> exists only if <math>\{p,q,r\}</math> and <math>\{q,r,s\}</math> are regular polychora.
 
The space it fits in is based on the expression:
: <math>\frac{\cos^2\left(\frac{\pi}{q}\right)}{\sin^2\left(\frac{\pi}{p}\right)} + \frac{\cos^2\left(\frac{\pi}{r}\right)}{\sin^2\left(\frac{\pi}{s}\right)}</math>
:: <math>< 1</math> : Spherical 4-space tessellation or 5-space polytope
:: <math>= 1</math> : Euclidean 4-space tessellation
:: <math>> 1</math> : hyperbolic 4-space tessellation
 
Enumeration of these constraints produce ''3'' convex polytopes, ''zero'' nonconvex polytopes, ''3'' 4-space tessellations, and ''5'' hyperbolic 4-space tessellations. There are no non-convex regular polytopes in five dimensions or higher.
 
Higher-dimensional polytopes have sometimes received names. 6-polytopes have sometimes been called ''polypeta'', 7-polytopes ''polyexa'', 8-polytopes ''polyzetta'', and 9-polytopes ''polyyotta''.<!--please do not add "polyxennon" for 10D; see http://www.steelpillow.com/polyhedra/ditela.html and [[Talk:Polytope#Proposed_demotion_of_.22polyxennon.22]]-->
 
===Convex===
In dimensions 5 and higher, there are only three kinds of convex regular polytopes.<ref>{{Harv|Coxeter|1973|loc=Table I: Regular polytopes, (iii) The three regular polytopes in ''n'' dimensions (n>=5), pp. 294–295}}</ref>
 
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p<sub>1</sub>,...,p<sub><var>n</var>−1</sub>}
![[Coxeter-Dynkin diagram|Coxeter]]
!<var>k</var>-faces
!Facet<BR>type
![[Vertex figure|Vertex<BR>figure]]
![[Dual polytope|Dual]]
|- BGCOLOR="#e0e0e0" align=center
|[[Simplex|''n''-simplex]]||{3<sup><var>n</var>−1</sup>}||{{CDD|node_1|3|node|3}}...{{CDD|3|node|3|node}}||[[binomial coefficient|<math>{{n+1} \choose {k+1}}</math>]]||{3<sup><var>n</var>−2</sup>}||{3<sup><var>n</var>−2</sup>}||Self-dual
|- BGCOLOR="#ffe0e0" align=center
|[[Hypercube|<var>n</var>-cube]]||{4,3<sup><var>n</var>−2</sup>}||{{CDD|node_1|4|node|3}}...{{CDD|3|node|3|node}}||<math>2^{n-k}{n \choose k}</math>||{4,3<sup><var>n</var>−3</sup>}||{3<sup><var>n</var>−2</sup>}||<var>n</var>-orthoplex
|- BGCOLOR="#e0e0ff" align=center
|[[Cross-polytope|<var>n</var>-orthoplex]]||{3<sup><var>n</var>−2</sup>,4}||{{CDD|node_1|3|node|3}}...{{CDD|3|node|4|node}}||<math>2^{k+1}{n \choose {k+1}}</math>||{3<sup><var>n</var>−2</sup>}||{3<sup><var>n</var>−3</sup>,4}||<var>n</var>-cube
|}
 
====5 dimensions====
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p,q,r,s}<BR>[[Coxeter-Dynkin diagram|Coxeter]]
!Facets<BR>{p,q,r}
!Cells<BR>{p,q}
!Faces<BR>{p}
!Edges
!Vertices
!Face<BR>figure<BR>{s}
!Edge<BR>figure<BR>{r,s}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r,s}
|- BGCOLOR="#e0e0e0" align=center
|[[5-simplex]] (hix)
|{3,3,3,3}<BR>{{CDD|node_1|3|node|3|node|3|node|3|node}}||6<BR>{3,3,3}||15<BR>{3,3}||20<BR>{3}||15||6||{3}||{3,3}||{3,3,3}
|- BGCOLOR="#ffe0e0" align=center
|[[5-cube]] (pent)
|{4,3,3,3}<BR>{{CDD|node_1|4|node|3|node|3|node|3|node}}||10<BR>{4,3,3}||40<BR>{4,3}||80<BR>{4}||80||32||{3}||{3,3}||{3,3,3}
|- BGCOLOR="#e0e0ff" align=center
|[[5-orthoplex]] (tac)
|{3,3,3,4}<BR>{{CDD|node_1|3|node|3|node|3|node|4|node}}||32<BR>{3,3,3}||80<BR>{3,3}||80<BR>{3}||40||10||{4}||{3,4}||{3,3,4}
|}
 
{| class=wikitable
|- align=center valign=top
|[[Image:5-simplex t0.svg|120px]]<BR>[[5-simplex]]
|[[Image:5-cube graph.svg|120px]]<BR>[[5-cube]]
|[[File:5-orthoplex.svg|120px]]<BR>[[5-orthoplex]]
|}
 
====6 dimensions====
{| class=wikitable
!Name!![[Schläfli symbol|Schläfli]]!!Vertices!!Edges!!Faces!!Cells!!4-faces||5-faces!!χ
|- BGCOLOR="#e0e0e0" align=center
|[[6-simplex]] (hop)||{3,3,3,3,3}||7||21||35||35||21||7||0
|- BGCOLOR="#ffe0e0" align=center
|[[6-cube]] (ax)||{4,3,3,3,3}||64||192||240||160||60||12||0
|- BGCOLOR="#e0e0ff" align=center
|[[6-orthoplex]] (gee)||{3,3,3,3,4}||12||60||160||240||192||64||0
|}
 
{| class=wikitable
|- align=center valign=top
|[[Image:6-simplex t0.svg|120px]]<BR>[[6-simplex]]
|[[Image:6-cube graph.svg|120px]]<BR>[[6-cube]]
|[[File:6-orthoplex.svg|120px]]<BR>[[6-orthoplex]]
|}
 
====7 dimensions====
{| class=wikitable
!Name!![[Schläfli symbol|Schläfli]]!!Vertices!!Edges!!Faces!!Cells!!4-faces||5-faces!!6-faces!!χ
|- BGCOLOR="#e0e0e0" align=center
|[[7-simplex]] (oca)||{3,3,3,3,3,3}||8||28||56||70||56||28||8||2
|- BGCOLOR="#ffe0e0" align=center
|[[7-cube]] (hept)||{4,3,3,3,3,3}||128||448||672||560||280||84||14||2
|- BGCOLOR="#e0e0ff" align=center
|[[7-orthoplex]] (zee)||{3,3,3,3,3,4}||14||84||280||560||672||448||128||2
|}
 
{| class=wikitable
|- align=center valign=top
|[[Image:7-simplex t0.svg|120px]]<BR>[[7-simplex]]
|[[Image:7-cube graph.svg|120px]]<BR>[[7-cube]]
|[[File:7-orthoplex.svg|120px]]<BR>[[7-orthoplex]]
|}
 
====8 dimensions====
{| class=wikitable
!Name!![[Schläfli symbol|Schläfli]]!!Vertices!!Edges!!Faces!!Cells!!4-faces||5-faces!!6-faces!!7-faces!!χ
|- BGCOLOR="#e0e0e0" align=center
|[[8-simplex]] (ene)||{3,3,3,3,3,3,3}||9||36||84||126||126||84||36||9||0
|- BGCOLOR="#ffe0e0" align=center
|[[8-cube]] (octo)||{4,3,3,3,3,3,3}||256||1024||1792||1792||1120||448||112||16||0
|- BGCOLOR="#e0e0ff" align=center
|[[8-orthoplex]] (ek)||{3,3,3,3,3,3,4}||16||112||448||1120||1792||1792||1024||256||0
|}
 
{| class=wikitable
|- align=center valign=top
|[[Image:8-simplex t0.svg|120px]]<BR>[[8-simplex]]
|[[Image:8-cube.svg|120px]]<BR>[[8-cube]]
|[[File:8-orthoplex.svg|120px]]<BR>[[8-orthoplex]]
|}
 
====9 dimensions====
{| class=wikitable
!Name!![[Schläfli symbol|Schläfli]]!!Vertices!!Edges!!Faces!!Cells!!4-faces||5-faces!!6-faces!!7-faces!!8-faces!!χ
|- BGCOLOR="#e0e0e0" align=center
|[[9-simplex]] (day)||{3<sup>8</sup>}||10||45||120||210||252||210||120||45||10||2
|- BGCOLOR="#ffe0e0" align=center
|[[9-cube]] (enne)||{4,3<sup>7</sup>}||512||2304||4608||5376||4032||2016||672||144||18||2
|- BGCOLOR="#e0e0ff" align=center
|[[9-orthoplex]] (vee)||{3<sup>7</sup>,4}||18||144||672||2016||4032||5376||4608||2304||512||2
|}
 
{| class=wikitable
|- align=center valign=top
|[[Image:9-simplex t0.svg|120px]]<BR>[[9-simplex]]
|[[Image:9-cube.svg|120px]]<BR>[[9-cube]]
|[[File:9-orthoplex.svg|120px]]<BR>[[9-orthoplex]]
|}
 
====10 dimensions====
{| class=wikitable
!Name!![[Schläfli symbol|Schläfli]]!!Vertices!!Edges!!Faces!!Cells!!4-faces||5-faces!!6-faces!!7-faces!!8-faces!!9-faces!!χ
|- BGCOLOR="#e0e0e0" align=center
|[[10-simplex]] (ux)||{3<sup>9</sup>}||11||55||165||330||462||462||330||165||55||11||0
|- BGCOLOR="#ffe0e0" align=center
|[[10-cube]] (deker)||{4,3<sup>8</sup>}||1024||5120||11520||15360||13440||8064||3360||960||180||20||0
|- BGCOLOR="#e0e0ff" align=center
|[[10-orthoplex]] (ka)||{3<sup>8</sup>,4}||20||180||960||3360||8064||13440||15360||11520||5120||1024||0
|}
 
{| class=wikitable
|- align=center valign=top
|[[Image:10-simplex t0.svg|120px]]<BR>[[10-simplex]]
|[[File:10-cube.svg|120px]]<BR>[[10-cube]]
|[[File:10-orthoplex.svg|120px]]<BR>[[10-orthoplex]]
|}
 
...
 
=== Non-convex ===
 
There are no non-convex regular polytopes in five dimensions or higher.
 
===Tessellations of Euclidean space===
 
====Tessellations of Euclidean 4-space====
There are three kinds of infinite regular tessellations ([[Honeycomb (geometry)|honeycombs]]) that can tessellate Euclidean four-dimensional space:
 
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p,q,r,s}
!Facet<BR>type<BR>{p,q,r}
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Face<BR>figure<BR>{s}
!Edge<BR>figure<BR>{r,s}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r,s}
![[Dual polytope|Dual]]
|- BGCOLOR="#e0e0e0" align=center
|[[Tesseractic honeycomb]]<br>(test)||{4,3,3,4}||{4,3,3}||{4,3}||{4}||{4}||{3,4}||{3,3,4}||Self-dual
|- BGCOLOR="#ffe0e0" align=center
|[[16-cell honeycomb]]<br>(hext)||{3,3,4,3}||{3,3,4}||{3,3}||{3}||{3}||{4,3}||{3,4,3}||{3,4,3,3}
|- BGCOLOR="#e0e0ff" align=center
|[[24-cell honeycomb]]<br>(icot)||{3,4,3,3}||{3,4,3}||{3,4}||{3}||{3}||{3,3}||{4,3,3}||{3,3,4,3}
|}
 
{| class="wikitable"
|[[Image:Tesseractic tetracomb.png|160px]]<BR>Projected portion of {4,3,3,4}<BR>(Tesseractic honeycomb)
|[[Image:Demitesseractic tetra hc.png|160px]]<BR>Projected portion of {3,3,4,3}<BR>(16-cell honeycomb)
|[[Image:Icositetrachoronic tetracomb.png|160px]]<BR>Projected portion of {3,4,3,3}<BR>(24-cell honeycomb)
|}
 
====Tessellations of Euclidean 5-space and higher====
The [[hypercubic honeycomb]] is the only family of regular honeycomb that can tessellate each dimension, five or higher, formed by [[hypercube]] facets, four around every [[Ridge (geometry)|ridge]].
 
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>{''p''<sub>1</sub>, ''p''<sub>2</sub>, ..., ''p''<sub>''n''&minus;1</sub>}
!Facet<BR>type
![[Vertex figure|Vertex<BR>figure]]
![[Dual polytope|Dual]]
|- BGCOLOR="#e0e0e0" align=center
|[[Square tiling]] (squat)||{4,4}||{4}||{4}||Self-dual
|- BGCOLOR="#e0e0e0" align=center
|[[Cubic honeycomb]] (chon)||{4,3,4}||{4,3}||{3,4}||Self-dual
|- BGCOLOR="#e0e0e0" align=center
|[[Tesseractic honeycomb]] (test)||{4,3<sup>2</sup>,4}||{4,3<sup>2</sup>}||{3<sup>2</sup>,4}||Self-dual
|- BGCOLOR="#e0e0e0" align=center
|[[5-cube honeycomb]] (penth)||{4,3<sup>3</sup>,4}||{4,3<sup>3</sup>}||{3<sup>3</sup>,4}||Self-dual
|- BGCOLOR="#e0e0e0" align=center
|[[6-cube honeycomb]]||{4,3<sup>4</sup>,4}||{4,3<sup>4</sup>}||{3<sup>4</sup>,4}||Self-dual
|- BGCOLOR="#e0e0e0" align=center
|[[7-cube honeycomb]]||{4,3<sup>5</sup>,4}||{4,3<sup>5</sup>}||{3<sup>5</sup>,4}||Self-dual
|- BGCOLOR="#e0e0e0" align=center
|[[8-cube honeycomb]]||{4,3<sup>6</sup>,4}||{4,3<sup>6</sup>}||{3<sup>6</sup>,4}||Self-dual
|- BGCOLOR="#e0e0e0" align=center
|n-[[hypercubic honeycomb]]||{4,3<sup>n−2</sup>,4}||{4,3<sup>n−2</sup>}||{3<sup>n−2</sup>,4}||Self-dual
|}
 
===Tessellations of hyperbolic space===
 
====Tessellations of hyperbolic 4-space====
There are seven convex regular [[Honeycomb (geometry)|honeycombs]] and four star-honeycombs in H<sup>4</sup> space.<ref>Coxeter, The Beauty of Geometry: Twelve Essays, Chapter 10: Regular honeycombs in hyperbolic space, Summary tables IV p. 213</ref> Five convex ones are compact, and two are paracompact.
 
Five compact regular honeycombs in H<sup>4</sup>:
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p,q,r,s}
!Facet<BR>type<BR>{p,q,r}
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Face<BR>figure<BR>{s}
!Edge<BR>figure<BR>{r,s}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r,s}
![[Dual polytope|Dual]]
|- BGCOLOR="#ffe0e0" align=center
|[[Order-5 5-cell honeycomb]]||{3,3,3,5}||[[5-cell|{3,3,3}]]||[[tetrahedron|{3,3}]]||{3}||{5}||[[icosahedron|{3,5}]]||[[600-cell|{3,3,5}]]||{5,3,3,3}
|- BGCOLOR="#e0e0ff" align=center
|[[120-cell honeycomb]]||{5,3,3,3}||[[120-cell|{5,3,3}]]||[[dodecahedron|{5,3}]]||{5}||{3}||[[tetrahedron|{3,3}]]||[[5-cell|{3,3,3}]]||{3,3,3,5}
|- BGCOLOR="#ffe0e0" align=center
|[[Order-5 tesseractic honeycomb]]||{4,3,3,5}||[[tesseract|{4,3,3}]]||[[cube|{4,3}]]||{4}||{5}||[[icosahedron|{3,5}]]||[[600-cell|{3,3,5}]]||{5,3,3,4}
|- BGCOLOR="#e0e0ff" align=center
|[[Order-4 120-cell honeycomb]]||{5,3,3,4}||[[120-cell|{5,3,3}]]||[[dodecahedron|{5,3}]]||{5}||{4}||[[octahedron|{3,4}]]||[[16-cell|{3,3,4}]]||{4,3,3,5}
|- BGCOLOR="#e0e0e0" align=center
|[[Order-5 120-cell honeycomb]]||{5,3,3,5}||[[120-cell|{5,3,3}]]||[[dodecahedron|{5,3}]]||{5}||{5}||[[icosahedron|{3,5}]]||[[600-cell|{3,3,5}]]||Self-dual
|}
 
The two paracompact regular H<sup>4</sup> honeycombs are: {3,4,3,4}, {4,3,4,3}.
 
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p,q,r,s}
!Facet<BR>type<BR>{p,q,r}
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Face<BR>figure<BR>{s}
!Edge<BR>figure<BR>{r,s}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r,s}
![[Dual polytope|Dual]]
|- BGCOLOR="#ffe0e0" align=center
|[[Order-4 24-cell honeycomb]]||{3,4,3,4}||[[24-cell|{3,4,3}]]||[[octahedron|{3,4}]]||{3}||{4}||[[octahedron|{3,4}]]||[[cubic honeycomb|{4,3,4}]]||{4,3,4,3}
|- BGCOLOR="#e0e0ff" align=center
|[[Cubic honeycomb honeycomb]]||{4,3,4,3}||[[cubic honeycomb|{4,3,4}]]||[[cube|{4,3}]]||{4}||{3}||[[cube|{4,3}]]||[[24-cell|{3,4,3}]]||{3,4,3,4}
|}
 
There are four regular star-honeycombs in H<sup>4</sup> space:
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p,q,r,s}
!Facet<BR>type<BR>{p,q,r}
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Face<BR>figure<BR>{s}
!Edge<BR>figure<BR>{r,s}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r,s}
![[Dual polytope|Dual]]
|- BGCOLOR="#ffe0e0" align=center
|[[Small stellated 120-cell honeycomb]]||{5/2,5,3,3}||[[Small stellated 120-cell|{5/2,5,3}]]||{5/2,5}||{5}||{5}||{3,3}||[[120-cell|{5,3,3}]]||{3,3,5,5/2}
|- BGCOLOR="#e0e0ff" align=center
|[[Pentagrammic-order 600-cell honeycomb]]||{3,3,5,5/2}||[[120-cell|{3,3,5}]]||[[tetrahedron|{3,3}]]||{3}||{5/2}||{5,5/2}||{3,5,5/2}||{5/2,5,3,3}
|- BGCOLOR="#ffe0e0" align=center
|[[Order-5 icosahedral 120-cell honeycomb]]||{3,5,5/2,5}||{3,5,5/2}||[[icosahedron|{3,5}]]||{3}||{5}||{5/2,5}||{5,5/2,5}||{5,5/2,5,3}
|- BGCOLOR="#e0e0ff" align=center
|[[Great 120-cell honeycomb]]||{5,5/2,5,3}||{5,5/2,5}||{5,5/2}||{5}||{3}||[[dodecahedron|{5,3}]]||{5/2,5,3}||{3,5,5/2,5}
|}
 
====Tessellations of hyperbolic 5-space====
 
There are 5 regular honeycombs in H<sup>5</sup>, all paracompact, which include infinite (Euclidean) facets or vertex figures: {3,4,3,3,3}, {3,3,4,3,3}, {3,3,3,4,3}, {3,4,3,3,4}, and {4,3,3,4,3}.
 
There are no compact regular tessellations of hyperbolic space of dimension 5 or higher and no paracompact regular tessellations in hyperbolic space of dimension 6 or higher.
 
{| class="wikitable"
|-
!Name
![[Schläfli symbol|Schläfli]]<BR>Symbol<BR>{p,q,r,s,t}
!Facet<BR>type<BR>{p,q,r,s}
!4-face<BR>type<BR>{p,q,r}
!Cell<BR>type<BR>{p,q}
!Face<BR>type<BR>{p}
!Cell<BR>figure<BR>{t}
!Face<BR>figure<BR>{s,t}
!Edge<BR>figure<BR>{r,s,t}
![[Vertex figure|Vertex<BR>figure]]<BR>{q,r,s,t}
![[Dual polytope|Dual]]
|- BGCOLOR="#ffe0e0" align=center
|[[5-orthoplex honeycomb]]||{3,3,3,4,3}||[[5-orthoplex|{3,3,3,4}]]||[[5-cell|{3,3,3}]]||[[tetrahedron|{3,3}]]||{3}||{3}||[[cube|{4,3}]]||[[24-cell|{3,4,3}]]||[[16-cell honeycomb|{3,3,4,3}]]||{3,4,3,3,3}
 
|- BGCOLOR="#e0e0ff" align=center
|[[24-cell honeycomb honeycomb]]||{3,4,3,3,3}||[[24-cell honeycomb|{3,4,3,3}]]||[[24-cell|{3,4,3}]]||[[octahedron|{3,4}]]||{3}||{3}||[[tetrahedron|{3,3}]]||[[5-cell|{3,3,3}]]||[[5-simplex|{3,3,3,3}]]||{3,3,3,4,3}
 
|- BGCOLOR="#e0ffe0" align=center
|[[16-cell honeycomb honeycomb]]||{3,3,4,3,3}||[[16-cell honeycomb|{3,3,4,3}]]||[[16-cell|{3,3,4}]]||[[tetrahedron|{3,3}]]||{3}||{3}||[[tetrahedron|{3,3}]]||[[tesseract|{4,3,3}]]||[[16-cell honeycomb|{3,4,3,3}]]||self-dual
 
|- BGCOLOR="#ffe0e0" align=center
|[[Order-4 24-cell honeycomb honeycomb]]||{3,4,3,3,4}||[[16-cell honeycomb|{3,4,3,3}]]||[[24-cell|{3,4,3}]]||[[octahedron|{3,4}]]||{3}||{4}||[[octahedron|{3,4}]]||[[tesseract|{3,3,4}]]||[[tesseractic honeycomb|{4,3,3,4}]]||{4,3,3,4,3}
 
|- BGCOLOR="#e0e0ff" align=center
|[[Tesseractic honeycomb honeycomb]]||{4,3,3,4,3}||[[16-cell honeycomb|{4,3,3,4}]]||[[24-cell|{4,3,3}]]||[[octahedron|{4,3}]]||{4}||{3}||[[cube|{4,3}]]||[[24-cell|{3,4,3}]]||[[16-cell honeycomb|{3,3,4,3}]]||{3,4,3,3,4}
 
|}
 
====Tessellations of hyperbolic 6-space and higher====
Even allowing for infinite (Euclidean) facets and/or vertex figures, there are no regular compact or paracompact tessellations of hyperbolic space of dimension 6 or higher.
 
== Apeirotopes ==
 
An '''apeirotope''' is, like any other polytope, an unbounded hyper-surface. The difference is that whereas a polytope's hyper-surface curls back on itself to close round a finite volume of hyperspace, an apeirotope does not curl back.
 
Some people regard apeirotopes as just a special kind of polytope, while others regard them as rather different things.
 
=== Two dimensions ===
 
A regular '''[[apeirogon]]''' is a regular division of an infinitely long line into equal segments, joined by vertices. It has regular embeddings in the plane, and in higher-dimensional spaces. In two dimensions it can form a straight line or a zig-zag. In three dimensions, it traces out a helical spiral. The zig-zag and spiral forms are said to be '''skew'''.
 
=== Three dimensions ===
 
An '''[[apeirohedron]]''' is an infinite polyhedral surface. Like an apeirogon, it can be flat or skew. A flat apeirohedron is just a tiling of the plane. A skew apeirohedron is an intricate honeycomb-like structure which divides space into two regions.
 
There are thirty regular apeirohedra in Euclidean space.<ref>{{Harv |McMullen |Schulte |2002 |loc=Section 7E}}</ref> These include the tessellations of type ''{4,4}'', ''{6,3}'', ''{3,6}'' above, as well as (in the plane) polytopes of type: ''{&infin;,3}'', ''{&infin;,4}'', ''{&infin;,6}'' and in 3-dimensional space, blends of these with either an apeirogon or a line segment, and the "pure" 3-dimensional apeirohedra (12 in number)
 
See also [[regular skew polyhedron]].
 
== Abstract polytopes ==
 
The [[abstract polytope]]s arose out of an attempt to study polytopes apart from the geometrical space they are embedded in. They include the tessellations of spherical, euclidean and hyperbolic space, tessellations of other [[manifold]]s, and many other objects that do not have a well-defined topology, but instead may be characterised by their "local" topology. There are infinitely many in every dimension. See [http://www.abstract-polytopes.com/atlas/ this atlas] for a sample. Some notable examples of abstract polytopes that do not appear elsewhere in this list are the [[11-cell]] and the [[57-cell]].
 
== See also ==
* [[Polygon]]
** [[Regular polygon]]
** [[Star polygon]]
* [[Polyhedron]]
** [[Regular polyhedron]] (5 regular [[Platonic solid]]s and 4 [[Kepler–Poinsot solid]]s)
*** [[Uniform polyhedron]]
* [[4-polytope]]
** [[regular 4-polytope]] (16 regular 4-polytopes, 4 convex and 10 star (Schläfli–Hess))
** [[Uniform 4-polytope]]
* [[Tessellation]]
** [[Tilings of regular polygons]]
** [[Convex uniform honeycomb]]
* [[Regular polytope]]
** [[Uniform polytope]]
 
== References ==
{{reflist}}
{{refbegin}}
* {{citation | last1 = McMullen | first1 = Peter | author1-link = Peter McMullen | first2 = Egon | last2 = Schulte | title = Abstract Regular Polytopes | edition = 1st | publisher = [[Cambridge University Press]] | isbn = 0-521-81496-0 |date=December 2002 }}
*[[H.S.M. Coxeter|Coxeter]], ''[[Regular Polytopes (book)|Regular Polytopes]]'', 3rd. ed., Dover Publications, 1973. ISBN 0-486-61480-8. (Tables I and II: Regular polytopes and honeycombs, pp.&nbsp;294&ndash;296)
*[[H.S.M. Coxeter|Coxeter]], ''The Beauty of Geometry: Twelve Essays'', Dover Publications, 1999 ISBN 0-486-40919-8 (Chapter 10: Regular honeycombs in hyperbolic space, Summary tables II,III,IV,V, pp.&nbsp;212&ndash;213) [http://www.mathunion.org/ICM/ICM1954.3/Main/icm1954.3.0155.0169.ocr.pdf] [[PDF]]
* [[Duncan MacLaren Young Sommerville|D. M. Y. Sommerville]], ''An Introduction to the Geometry of '''n''' Dimensions.'' New York, E. P. Dutton, 1930. 196 pp. (Dover Publications edition, 1958) Chapter X: The Regular Polytopes
{{refend}}
 
== External links ==
*[http://www.math.utah.edu/~alfeld/math/polyhedra/polyhedra.html The Platonic Solids]
*[http://www.georgehart.com/virtual-polyhedra/kepler-poinsot-info.html Kepler-Poinsot Polyhedra]
*[http://www.weimholt.com/andrew/polytope.shtml Regular 4d Polytope Foldouts]
*[http://web.archive.org/web/20070207021813/members.aol.com/Polycell/glossary.html Multidimensional Glossary (Look up '''Hexacosichoron''' and '''Hecatonicosachoron''')]
*[http://www.stat.berkeley.edu/~evans/shapiro/TesseractApplet.html Polytope Viewer]
*[http://presh.com/hovinga/ Polytopes and optimal packing of p points in n dimensional spheres]
*[http://www.abstract-polytopes.com/atlas/ An atlas of small regular polytopes]
 
{{Polytopes}}
{{Honeycombs}}
{{Tessellation}}
 
[[Category:Mathematics-related lists|Regular polytopes]]
[[Category:Polytopes| ]]
[[Category:Multi-dimensional geometry]]

Latest revision as of 23:52, 15 September 2019

This is a preview for the new MathML rendering mode (with SVG fallback), which is availble in production for registered users.

If you would like use the MathML rendering mode, you need a wikipedia user account that can be registered here [[1]]

  • Only registered users will be able to execute this rendering mode.
  • Note: you need not enter a email address (nor any other private information). Please do not use a password that you use elsewhere.

Registered users will be able to choose between the following three rendering modes:

MathML


Follow this link to change your Math rendering settings. You can also add a Custom CSS to force the MathML/SVG rendering or select different font families. See these examples.

Demos

Here are some demos:


Test pages

To test the MathML, PNG, and source rendering modes, please go to one of the following test pages:

Bug reporting

If you find any bugs, please report them at Bugzilla, or write an email to math_bugs (at) ckurs (dot) de .

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