Polytope of Type {4,78,2}

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {4,78,2}*1248a
if this polytope has a name.
Group : SmallGroup(1248,1416)
Rank : 4
Schlafli Type : {4,78,2}
Number of vertices, edges, etc : 4, 156, 78, 2
Order of s₀s₁s₂s₃ : 156
Order of s₀s₁s₂s₃s₂s₁ : 2
Special Properties :
   Degenerate
   Universal
   Orientable
   Flat
Related Polytopes :
   Facet
   Vertex Figure
   Dual
Facet Of :
   None in this Atlas
Vertex Figure Of :
   None in this Atlas
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {2,78,2}*624
   3-fold quotients : {4,26,2}*416
   4-fold quotients : {2,39,2}*312
   6-fold quotients : {2,26,2}*208
   12-fold quotients : {2,13,2}*104
   13-fold quotients : {4,6,2}*96a
   26-fold quotients : {2,6,2}*48
   39-fold quotients : {4,2,2}*32
   52-fold quotients : {2,3,2}*24
   78-fold quotients : {2,2,2}*16
Covers (Minimal Covers in Boldface) :
   None in this atlas.
Permutation Representation (GAP) :

s0 := ( 79,118)( 80,119)( 81,120)( 82,121)( 83,122)( 84,123)( 85,124)( 86,125)
( 87,126)( 88,127)( 89,128)( 90,129)( 91,130)( 92,131)( 93,132)( 94,133)
( 95,134)( 96,135)( 97,136)( 98,137)( 99,138)(100,139)(101,140)(102,141)
(103,142)(104,143)(105,144)(106,145)(107,146)(108,147)(109,148)(110,149)
(111,150)(112,151)(113,152)(114,153)(115,154)(116,155)(117,156);;
s1 := (  1, 79)(  2, 91)(  3, 90)(  4, 89)(  5, 88)(  6, 87)(  7, 86)(  8, 85)
(  9, 84)( 10, 83)( 11, 82)( 12, 81)( 13, 80)( 14,105)( 15,117)( 16,116)
( 17,115)( 18,114)( 19,113)( 20,112)( 21,111)( 22,110)( 23,109)( 24,108)
( 25,107)( 26,106)( 27, 92)( 28,104)( 29,103)( 30,102)( 31,101)( 32,100)
( 33, 99)( 34, 98)( 35, 97)( 36, 96)( 37, 95)( 38, 94)( 39, 93)( 40,118)
( 41,130)( 42,129)( 43,128)( 44,127)( 45,126)( 46,125)( 47,124)( 48,123)
( 49,122)( 50,121)( 51,120)( 52,119)( 53,144)( 54,156)( 55,155)( 56,154)
( 57,153)( 58,152)( 59,151)( 60,150)( 61,149)( 62,148)( 63,147)( 64,146)
( 65,145)( 66,131)( 67,143)( 68,142)( 69,141)( 70,140)( 71,139)( 72,138)
( 73,137)( 74,136)( 75,135)( 76,134)( 77,133)( 78,132);;
s2 := (  1, 15)(  2, 14)(  3, 26)(  4, 25)(  5, 24)(  6, 23)(  7, 22)(  8, 21)
(  9, 20)( 10, 19)( 11, 18)( 12, 17)( 13, 16)( 27, 28)( 29, 39)( 30, 38)
( 31, 37)( 32, 36)( 33, 35)( 40, 54)( 41, 53)( 42, 65)( 43, 64)( 44, 63)
( 45, 62)( 46, 61)( 47, 60)( 48, 59)( 49, 58)( 50, 57)( 51, 56)( 52, 55)
( 66, 67)( 68, 78)( 69, 77)( 70, 76)( 71, 75)( 72, 74)( 79, 93)( 80, 92)
( 81,104)( 82,103)( 83,102)( 84,101)( 85,100)( 86, 99)( 87, 98)( 88, 97)
( 89, 96)( 90, 95)( 91, 94)(105,106)(107,117)(108,116)(109,115)(110,114)
(111,113)(118,132)(119,131)(120,143)(121,142)(122,141)(123,140)(124,139)
(125,138)(126,137)(127,136)(128,135)(129,134)(130,133)(144,145)(146,156)
(147,155)(148,154)(149,153)(150,152);;
s3 := (157,158);;
poly := Group([s0,s1,s2,s3]);;

Finitely Presented Group Representation (GAP) :

F := FreeGroup("s0","s1","s2","s3");;
s0 := F.1;;  s1 := F.2;;  s2 := F.3;;  s3 := F.4;;  
rels := [ s0*s0, s1*s1, s2*s2, s3*s3, s0*s2*s0*s2, 
s0*s3*s0*s3, s1*s3*s1*s3, s2*s3*s2*s3, 
s0*s1*s0*s1*s0*s1*s0*s1, s0*s1*s2*s1*s0*s1*s2*s1, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;

Permutation Representation (Magma) :

s0 := Sym(158)!( 79,118)( 80,119)( 81,120)( 82,121)( 83,122)( 84,123)( 85,124)
( 86,125)( 87,126)( 88,127)( 89,128)( 90,129)( 91,130)( 92,131)( 93,132)
( 94,133)( 95,134)( 96,135)( 97,136)( 98,137)( 99,138)(100,139)(101,140)
(102,141)(103,142)(104,143)(105,144)(106,145)(107,146)(108,147)(109,148)
(110,149)(111,150)(112,151)(113,152)(114,153)(115,154)(116,155)(117,156);
s1 := Sym(158)!(  1, 79)(  2, 91)(  3, 90)(  4, 89)(  5, 88)(  6, 87)(  7, 86)
(  8, 85)(  9, 84)( 10, 83)( 11, 82)( 12, 81)( 13, 80)( 14,105)( 15,117)
( 16,116)( 17,115)( 18,114)( 19,113)( 20,112)( 21,111)( 22,110)( 23,109)
( 24,108)( 25,107)( 26,106)( 27, 92)( 28,104)( 29,103)( 30,102)( 31,101)
( 32,100)( 33, 99)( 34, 98)( 35, 97)( 36, 96)( 37, 95)( 38, 94)( 39, 93)
( 40,118)( 41,130)( 42,129)( 43,128)( 44,127)( 45,126)( 46,125)( 47,124)
( 48,123)( 49,122)( 50,121)( 51,120)( 52,119)( 53,144)( 54,156)( 55,155)
( 56,154)( 57,153)( 58,152)( 59,151)( 60,150)( 61,149)( 62,148)( 63,147)
( 64,146)( 65,145)( 66,131)( 67,143)( 68,142)( 69,141)( 70,140)( 71,139)
( 72,138)( 73,137)( 74,136)( 75,135)( 76,134)( 77,133)( 78,132);
s2 := Sym(158)!(  1, 15)(  2, 14)(  3, 26)(  4, 25)(  5, 24)(  6, 23)(  7, 22)
(  8, 21)(  9, 20)( 10, 19)( 11, 18)( 12, 17)( 13, 16)( 27, 28)( 29, 39)
( 30, 38)( 31, 37)( 32, 36)( 33, 35)( 40, 54)( 41, 53)( 42, 65)( 43, 64)
( 44, 63)( 45, 62)( 46, 61)( 47, 60)( 48, 59)( 49, 58)( 50, 57)( 51, 56)
( 52, 55)( 66, 67)( 68, 78)( 69, 77)( 70, 76)( 71, 75)( 72, 74)( 79, 93)
( 80, 92)( 81,104)( 82,103)( 83,102)( 84,101)( 85,100)( 86, 99)( 87, 98)
( 88, 97)( 89, 96)( 90, 95)( 91, 94)(105,106)(107,117)(108,116)(109,115)
(110,114)(111,113)(118,132)(119,131)(120,143)(121,142)(122,141)(123,140)
(124,139)(125,138)(126,137)(127,136)(128,135)(129,134)(130,133)(144,145)
(146,156)(147,155)(148,154)(149,153)(150,152);
s3 := Sym(158)!(157,158);
poly := sub<Sym(158)|s0,s1,s2,s3>;

Finitely Presented Group Representation (Magma) :

poly<s0,s1,s2,s3> := Group< s0,s1,s2,s3 | s0*s0, s1*s1, s2*s2, 
s3*s3, s0*s2*s0*s2, s0*s3*s0*s3, s1*s3*s1*s3, 
s2*s3*s2*s3, s0*s1*s0*s1*s0*s1*s0*s1, 
s0*s1*s2*s1*s0*s1*s2*s1, s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;

to this polytope