In geometry, a demihepteract or 7-demicube is a uniform 7-polytope, constructed from the 7-hypercube (hepteract) with alternated vertices removed. It is part of a dimensionally infinite family of uniform polytopes called demihypercubes.

More information Demihepteract ...

Demihepteract (7-demicube)
Petrie polygon projection
Type	Uniform 7-polytope
Family	demihypercube
Coxeter symbol	141
Schläfli symbol	{3,34,1} = h{4,35} s{21,1,1,1,1,1}
Coxeter diagrams	=
6-faces	78	14 {31,3,1} 64 {35}
5-faces	532	84 {31,2,1} 448 {34}
4-faces	1624	280 {31,1,1} 1344 {33}
Cells	2800	560 {31,0,1} 2240 {3,3}
Faces	2240	{3}
Edges	672
Vertices	64
Vertex figure	Rectified 6-simplex
Symmetry group	D7, [34,1,1] = [1+,4,35] [26]+
Dual	?
Properties	convex

Close

E. L. Elte identified it in 1912 as a semiregular polytope, labeling it as HM₇ for a 7-dimensional half measure polytope.

Coxeter named this polytope as 1₄₁ from its Coxeter diagram, with a ring on one of the 1-length branches, and Schläfli symbol ${\displaystyle \left\{3{\begin{array}{l}3,3,3,3\\3\end{array}}\right\}}$ or {3,3^4,1}.

Cartesian coordinates for the vertices of a demihepteract centered at the origin are alternate halves of the hepteract:

(±1,±1,±1,±1,±1,±1,±1)

with an odd number of plus signs.

This configuration matrix represents the 7-demicube. The rows and columns correspond to vertices, edges, faces, cells, 4-faces, 5-faces and 6-faces. The diagonal numbers say how many of each element occur in the whole 7-demicube. The nondiagonal numbers say how many of the column's element occur in or at the row's element.^[1][2]

The diagonal f-vector numbers are derived through the Wythoff construction, dividing the full group order of a subgroup order by removing one mirror at a time.^[3]

More information D, k-face ...

D7		k-face	fk	f0	f1	f2	f3		f4		f5		f6		k-figures	notes
A6		( )	f0	64	21	105	35	140	35	105	21	42	7	7	041	D7/A6 = 64*7!/7! = 64
A4A1A1		{ }	f1	2	672	10	5	20	10	20	10	10	5	2	{ }×{3,3,3}	D7/A4A1A1 = 64*7!/5!/2/2 = 672
A3A2		100	f2	3	3	2240	1	4	4	6	6	4	4	1	{3,3}v( )	D7/A3A2 = 64*7!/4!/3! = 2240
A3A3		101	f3	4	6	4	560	*	4	0	6	0	4	0	{3,3}	D7/A3A3 = 64*7!/4!/4! = 560
A3A2		110		4	6	4	*	2240	1	3	3	3	3	1	{3}v( )	D7/A3A2 = 64*7!/4!/3! = 2240
D4A2		111	f4	8	24	32	8	8	280	*	3	0	3	0	{3}	D7/D4A2 = 64*7!/8/4!/2 = 280
A4A1		120		5	10	10	0	5	*	1344	1	2	2	1	{ }v( )	D7/A4A1 = 64*7!/5!/2 = 1344
D5A1		121	f5	16	80	160	40	80	10	16	84	*	2	0	{ }	D7/D5A1 = 64*7!/16/5!/2 = 84
A5		130		6	15	20	0	15	0	6	*	448	1	1		D7/A5 = 64*7!/6! = 448
D6		131	f6	32	240	640	160	480	60	192	12	32	14	*	( )	D7/D6 = 64*7!/32/6! = 14
A6		140		7	21	35	0	35	0	21	0	7	*	64		D7/A6 = 64*7!/7! = 64

Close

There are 95 uniform polytopes with D₆ symmetry, 63 are shared by the B₆ symmetry, and 32 are unique: