E₉ honeycomb

It is created by a Wythoff construction upon a set of 10 hyperplane mirrors in 9-dimensional hyperbolic space.

The facet information can be extracted from its Coxeter-Dynkin diagram.

Removing the node on the end of the 2-length branch leaves the 9-orthoplex, 7₁₁.

Removing the node on the end of the 1-length branch leaves the 9-simplex.

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the 5₂₁ honeycomb.

The edge figure is determined from the vertex figure by removing the ringed node and ringing the neighboring node. This makes the 4₂₁ polytope.

The face figure is determined from the edge figure by removing the ringed node and ringing the neighboring node. This makes the 3₂₁ polytope.

The cell figure is determined from the face figure by removing the ringed node and ringing the neighboring node. This makes the 2₂₁ polytope.

The 6₂₁ is last in a dimensional series of semiregular polytopes and honeycombs, identified in 1900 by Thorold Gosset. Each member of the sequence has the previous member as its vertex figure. All facets of these polytopes are regular polytopes, namely simplexes and orthoplexes.

k21 figures in n dimensions
Space	Finite						Euclidean	Hyperbolic
En	3	4	5	6	7	8	9	10
Coxeter group	E3=A2A1	E4=A4	E5=D5	E6	E7	E8	E9 = ${\displaystyle {\tilde {E}}_{8}}$ = E8+	E10 = ${\displaystyle {\bar {T}}_{8}}$ = E8++
Coxeter diagram
Symmetry	[3−1,2,1]	[30,2,1]	[31,2,1]	[32,2,1]	[33,2,1]	[34,2,1]	[35,2,1]	[36,2,1]
Order	12	120	1,920	51,840	2,903,040	696,729,600	∞
Graph							-	-
Name	−121	021	121	221	321	421	521	621

It is created by a Wythoff construction upon a set of 10 hyperplane mirrors in 9-dimensional hyperbolic space.

The facet information can be extracted from its Coxeter-Dynkin diagram.

Removing the node on the short branch leaves the 9-simplex.

Removing the node on the end of the 6-length branch leaves the 2₅₁ honeycomb. This is an infinite facet because E10 is a paracompact hyperbolic group.

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the 9-demicube, 1₆₁.

The edge figure is the vertex figure of the edge figure. This makes the rectified 8-simplex, 0₅₁.

The face figure is determined from the edge figure by removing the ringed node and ringing the neighboring node. This makes the 5-simplex prism.

The 2₆₁ is last in a dimensional series of uniform polytopes and honeycombs.

2k1 figures in n dimensions
Space	Finite						Euclidean	Hyperbolic
n	3	4	5	6	7	8	9	10
Coxeter group	E3=A2A1	E4=A4	E5=D5	E6	E7	E8	E9 = ${\displaystyle {\tilde {E}}_{8}}$ = E8+	E10 = ${\displaystyle {\bar {T}}_{8}}$ = E8++
Coxeter diagram
Symmetry	[3−1,2,1]	[30,2,1]	[[31,2,1]]	[32,2,1]	[33,2,1]	[34,2,1]	[35,2,1]	[36,2,1]
Order	12	120	384	51,840	2,903,040	696,729,600	∞
Graph							-	-
Name	2−1,1	201	211	221	231	241	251	261

It is created by a Wythoff construction upon a set of 10 hyperplane mirrors in 9-dimensional space.

The facet information can be extracted from its Coxeter-Dynkin diagram.

Removing the node on the end of the 2-length branch leaves the 9-demicube, 1₆₁.

Removing the node on the end of the 6-length branch leaves the 1₅₂ honeycomb.

The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the birectified 9-simplex, 0₆₂.

The 1₆₂ is last in a dimensional series of uniform polytopes and honeycombs.

1k2 figures in n dimensions
Space	Finite						Euclidean	Hyperbolic
n	3	4	5	6	7	8	9	10
Coxeter group	E3=A2A1	E4=A4	E5=D5	E6	E7	E8	E9 = ${\displaystyle {\tilde {E}}_{8}}$ = E8+	E10 = ${\displaystyle {\bar {T}}_{8}}$ = E8++
Coxeter diagram
Symmetry (order)	[3−1,2,1]	[30,2,1]	[31,2,1]	[[32,2,1]]	[33,2,1]	[34,2,1]	[35,2,1]	[36,2,1]
Order	12	120	1,920	103,680	2,903,040	696,729,600	∞
Graph							-	-
Name	1−1,2	102	112	122	132	142	152	162