Polytope of Type {48,4}
This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {48,4}*1152b
if this polytope has a name.
Group : SmallGroup(1152,32300)
Rank : 3
Schlafli Type : {48,4}
Number of vertices, edges, etc : 144, 288, 12
Order of s0s1s2 : 16
Order of s0s1s2s1 : 12
Special Properties :
Compact Hyperbolic Quotient
Locally Spherical
Orientable
Related Polytopes :
Facet
Vertex Figure
Dual
Petrial
Facet Of :
None in this Atlas
Vertex Figure Of :
None in this Atlas
Quotients (Maximal Quotients in Boldface) :
2-fold quotients : {24,4}*576a
4-fold quotients : {12,4}*288
8-fold quotients : {6,4}*144
9-fold quotients : {16,4}*128b
16-fold quotients : {6,4}*72
18-fold quotients : {8,4}*64a
36-fold quotients : {4,4}*32, {8,2}*32
72-fold quotients : {2,4}*16, {4,2}*16
144-fold quotients : {2,2}*8
Covers (Minimal Covers in Boldface) :
None in this atlas.
Permutation Representation (GAP) :
s0 := ( 1,289)( 2,291)( 3,290)( 4,295)( 5,297)( 6,296)( 7,292)( 8,294)
( 9,293)( 10,298)( 11,300)( 12,299)( 13,304)( 14,306)( 15,305)( 16,301)
( 17,303)( 18,302)( 19,316)( 20,318)( 21,317)( 22,322)( 23,324)( 24,323)
( 25,319)( 26,321)( 27,320)( 28,307)( 29,309)( 30,308)( 31,313)( 32,315)
( 33,314)( 34,310)( 35,312)( 36,311)( 37,334)( 38,336)( 39,335)( 40,340)
( 41,342)( 42,341)( 43,337)( 44,339)( 45,338)( 46,325)( 47,327)( 48,326)
( 49,331)( 50,333)( 51,332)( 52,328)( 53,330)( 54,329)( 55,343)( 56,345)
( 57,344)( 58,349)( 59,351)( 60,350)( 61,346)( 62,348)( 63,347)( 64,352)
( 65,354)( 66,353)( 67,358)( 68,360)( 69,359)( 70,355)( 71,357)( 72,356)
( 73,379)( 74,381)( 75,380)( 76,385)( 77,387)( 78,386)( 79,382)( 80,384)
( 81,383)( 82,388)( 83,390)( 84,389)( 85,394)( 86,396)( 87,395)( 88,391)
( 89,393)( 90,392)( 91,361)( 92,363)( 93,362)( 94,367)( 95,369)( 96,368)
( 97,364)( 98,366)( 99,365)(100,370)(101,372)(102,371)(103,376)(104,378)
(105,377)(106,373)(107,375)(108,374)(109,424)(110,426)(111,425)(112,430)
(113,432)(114,431)(115,427)(116,429)(117,428)(118,415)(119,417)(120,416)
(121,421)(122,423)(123,422)(124,418)(125,420)(126,419)(127,406)(128,408)
(129,407)(130,412)(131,414)(132,413)(133,409)(134,411)(135,410)(136,397)
(137,399)(138,398)(139,403)(140,405)(141,404)(142,400)(143,402)(144,401)
(145,433)(146,435)(147,434)(148,439)(149,441)(150,440)(151,436)(152,438)
(153,437)(154,442)(155,444)(156,443)(157,448)(158,450)(159,449)(160,445)
(161,447)(162,446)(163,460)(164,462)(165,461)(166,466)(167,468)(168,467)
(169,463)(170,465)(171,464)(172,451)(173,453)(174,452)(175,457)(176,459)
(177,458)(178,454)(179,456)(180,455)(181,478)(182,480)(183,479)(184,484)
(185,486)(186,485)(187,481)(188,483)(189,482)(190,469)(191,471)(192,470)
(193,475)(194,477)(195,476)(196,472)(197,474)(198,473)(199,487)(200,489)
(201,488)(202,493)(203,495)(204,494)(205,490)(206,492)(207,491)(208,496)
(209,498)(210,497)(211,502)(212,504)(213,503)(214,499)(215,501)(216,500)
(217,523)(218,525)(219,524)(220,529)(221,531)(222,530)(223,526)(224,528)
(225,527)(226,532)(227,534)(228,533)(229,538)(230,540)(231,539)(232,535)
(233,537)(234,536)(235,505)(236,507)(237,506)(238,511)(239,513)(240,512)
(241,508)(242,510)(243,509)(244,514)(245,516)(246,515)(247,520)(248,522)
(249,521)(250,517)(251,519)(252,518)(253,568)(254,570)(255,569)(256,574)
(257,576)(258,575)(259,571)(260,573)(261,572)(262,559)(263,561)(264,560)
(265,565)(266,567)(267,566)(268,562)(269,564)(270,563)(271,550)(272,552)
(273,551)(274,556)(275,558)(276,557)(277,553)(278,555)(279,554)(280,541)
(281,543)(282,542)(283,547)(284,549)(285,548)(286,544)(287,546)(288,545);;
s1 := ( 1, 40)( 2, 38)( 3, 45)( 4, 37)( 5, 44)( 6, 42)( 7, 43)( 8, 41)
( 9, 39)( 10, 49)( 11, 47)( 12, 54)( 13, 46)( 14, 53)( 15, 51)( 16, 52)
( 17, 50)( 18, 48)( 19, 67)( 20, 65)( 21, 72)( 22, 64)( 23, 71)( 24, 69)
( 25, 70)( 26, 68)( 27, 66)( 28, 58)( 29, 56)( 30, 63)( 31, 55)( 32, 62)
( 33, 60)( 34, 61)( 35, 59)( 36, 57)( 73,130)( 74,128)( 75,135)( 76,127)
( 77,134)( 78,132)( 79,133)( 80,131)( 81,129)( 82,139)( 83,137)( 84,144)
( 85,136)( 86,143)( 87,141)( 88,142)( 89,140)( 90,138)( 91,112)( 92,110)
( 93,117)( 94,109)( 95,116)( 96,114)( 97,115)( 98,113)( 99,111)(100,121)
(101,119)(102,126)(103,118)(104,125)(105,123)(106,124)(107,122)(108,120)
(145,148)(147,153)(149,152)(154,157)(156,162)(158,161)(163,175)(164,173)
(165,180)(166,172)(167,179)(168,177)(169,178)(170,176)(171,174)(181,184)
(183,189)(185,188)(190,193)(192,198)(194,197)(199,211)(200,209)(201,216)
(202,208)(203,215)(204,213)(205,214)(206,212)(207,210)(217,238)(218,236)
(219,243)(220,235)(221,242)(222,240)(223,241)(224,239)(225,237)(226,247)
(227,245)(228,252)(229,244)(230,251)(231,249)(232,250)(233,248)(234,246)
(253,274)(254,272)(255,279)(256,271)(257,278)(258,276)(259,277)(260,275)
(261,273)(262,283)(263,281)(264,288)(265,280)(266,287)(267,285)(268,286)
(269,284)(270,282)(289,400)(290,398)(291,405)(292,397)(293,404)(294,402)
(295,403)(296,401)(297,399)(298,409)(299,407)(300,414)(301,406)(302,413)
(303,411)(304,412)(305,410)(306,408)(307,427)(308,425)(309,432)(310,424)
(311,431)(312,429)(313,430)(314,428)(315,426)(316,418)(317,416)(318,423)
(319,415)(320,422)(321,420)(322,421)(323,419)(324,417)(325,364)(326,362)
(327,369)(328,361)(329,368)(330,366)(331,367)(332,365)(333,363)(334,373)
(335,371)(336,378)(337,370)(338,377)(339,375)(340,376)(341,374)(342,372)
(343,391)(344,389)(345,396)(346,388)(347,395)(348,393)(349,394)(350,392)
(351,390)(352,382)(353,380)(354,387)(355,379)(356,386)(357,384)(358,385)
(359,383)(360,381)(433,517)(434,515)(435,522)(436,514)(437,521)(438,519)
(439,520)(440,518)(441,516)(442,508)(443,506)(444,513)(445,505)(446,512)
(447,510)(448,511)(449,509)(450,507)(451,526)(452,524)(453,531)(454,523)
(455,530)(456,528)(457,529)(458,527)(459,525)(460,535)(461,533)(462,540)
(463,532)(464,539)(465,537)(466,538)(467,536)(468,534)(469,553)(470,551)
(471,558)(472,550)(473,557)(474,555)(475,556)(476,554)(477,552)(478,544)
(479,542)(480,549)(481,541)(482,548)(483,546)(484,547)(485,545)(486,543)
(487,562)(488,560)(489,567)(490,559)(491,566)(492,564)(493,565)(494,563)
(495,561)(496,571)(497,569)(498,576)(499,568)(500,575)(501,573)(502,574)
(503,572)(504,570);;
s2 := ( 1,145)( 2,147)( 3,146)( 4,149)( 5,148)( 6,150)( 7,153)( 8,152)
( 9,151)( 10,154)( 11,156)( 12,155)( 13,158)( 14,157)( 15,159)( 16,162)
( 17,161)( 18,160)( 19,163)( 20,165)( 21,164)( 22,167)( 23,166)( 24,168)
( 25,171)( 26,170)( 27,169)( 28,172)( 29,174)( 30,173)( 31,176)( 32,175)
( 33,177)( 34,180)( 35,179)( 36,178)( 37,181)( 38,183)( 39,182)( 40,185)
( 41,184)( 42,186)( 43,189)( 44,188)( 45,187)( 46,190)( 47,192)( 48,191)
( 49,194)( 50,193)( 51,195)( 52,198)( 53,197)( 54,196)( 55,199)( 56,201)
( 57,200)( 58,203)( 59,202)( 60,204)( 61,207)( 62,206)( 63,205)( 64,208)
( 65,210)( 66,209)( 67,212)( 68,211)( 69,213)( 70,216)( 71,215)( 72,214)
( 73,226)( 74,228)( 75,227)( 76,230)( 77,229)( 78,231)( 79,234)( 80,233)
( 81,232)( 82,217)( 83,219)( 84,218)( 85,221)( 86,220)( 87,222)( 88,225)
( 89,224)( 90,223)( 91,244)( 92,246)( 93,245)( 94,248)( 95,247)( 96,249)
( 97,252)( 98,251)( 99,250)(100,235)(101,237)(102,236)(103,239)(104,238)
(105,240)(106,243)(107,242)(108,241)(109,262)(110,264)(111,263)(112,266)
(113,265)(114,267)(115,270)(116,269)(117,268)(118,253)(119,255)(120,254)
(121,257)(122,256)(123,258)(124,261)(125,260)(126,259)(127,280)(128,282)
(129,281)(130,284)(131,283)(132,285)(133,288)(134,287)(135,286)(136,271)
(137,273)(138,272)(139,275)(140,274)(141,276)(142,279)(143,278)(144,277)
(289,433)(290,435)(291,434)(292,437)(293,436)(294,438)(295,441)(296,440)
(297,439)(298,442)(299,444)(300,443)(301,446)(302,445)(303,447)(304,450)
(305,449)(306,448)(307,451)(308,453)(309,452)(310,455)(311,454)(312,456)
(313,459)(314,458)(315,457)(316,460)(317,462)(318,461)(319,464)(320,463)
(321,465)(322,468)(323,467)(324,466)(325,469)(326,471)(327,470)(328,473)
(329,472)(330,474)(331,477)(332,476)(333,475)(334,478)(335,480)(336,479)
(337,482)(338,481)(339,483)(340,486)(341,485)(342,484)(343,487)(344,489)
(345,488)(346,491)(347,490)(348,492)(349,495)(350,494)(351,493)(352,496)
(353,498)(354,497)(355,500)(356,499)(357,501)(358,504)(359,503)(360,502)
(361,514)(362,516)(363,515)(364,518)(365,517)(366,519)(367,522)(368,521)
(369,520)(370,505)(371,507)(372,506)(373,509)(374,508)(375,510)(376,513)
(377,512)(378,511)(379,532)(380,534)(381,533)(382,536)(383,535)(384,537)
(385,540)(386,539)(387,538)(388,523)(389,525)(390,524)(391,527)(392,526)
(393,528)(394,531)(395,530)(396,529)(397,550)(398,552)(399,551)(400,554)
(401,553)(402,555)(403,558)(404,557)(405,556)(406,541)(407,543)(408,542)
(409,545)(410,544)(411,546)(412,549)(413,548)(414,547)(415,568)(416,570)
(417,569)(418,572)(419,571)(420,573)(421,576)(422,575)(423,574)(424,559)
(425,561)(426,560)(427,563)(428,562)(429,564)(430,567)(431,566)(432,565);;
poly := Group([s0,s1,s2]);;
Finitely Presented Group Representation (GAP) :
F := FreeGroup("s0","s1","s2");;
s0 := F.1;; s1 := F.2;; s2 := F.3;;
rels := [ s0*s0, s1*s1, s2*s2, s0*s2*s0*s2, s1*s2*s1*s2*s1*s2*s1*s2,
s2*s0*s1*s0*s1*s2*s1*s0*s1*s2*s0*s1*s0*s1*s2*s1*s0*s1,
s2*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s0*s1 ];;
poly := F / rels;;
Permutation Representation (Magma) :
s0 := Sym(576)!( 1,289)( 2,291)( 3,290)( 4,295)( 5,297)( 6,296)( 7,292)
( 8,294)( 9,293)( 10,298)( 11,300)( 12,299)( 13,304)( 14,306)( 15,305)
( 16,301)( 17,303)( 18,302)( 19,316)( 20,318)( 21,317)( 22,322)( 23,324)
( 24,323)( 25,319)( 26,321)( 27,320)( 28,307)( 29,309)( 30,308)( 31,313)
( 32,315)( 33,314)( 34,310)( 35,312)( 36,311)( 37,334)( 38,336)( 39,335)
( 40,340)( 41,342)( 42,341)( 43,337)( 44,339)( 45,338)( 46,325)( 47,327)
( 48,326)( 49,331)( 50,333)( 51,332)( 52,328)( 53,330)( 54,329)( 55,343)
( 56,345)( 57,344)( 58,349)( 59,351)( 60,350)( 61,346)( 62,348)( 63,347)
( 64,352)( 65,354)( 66,353)( 67,358)( 68,360)( 69,359)( 70,355)( 71,357)
( 72,356)( 73,379)( 74,381)( 75,380)( 76,385)( 77,387)( 78,386)( 79,382)
( 80,384)( 81,383)( 82,388)( 83,390)( 84,389)( 85,394)( 86,396)( 87,395)
( 88,391)( 89,393)( 90,392)( 91,361)( 92,363)( 93,362)( 94,367)( 95,369)
( 96,368)( 97,364)( 98,366)( 99,365)(100,370)(101,372)(102,371)(103,376)
(104,378)(105,377)(106,373)(107,375)(108,374)(109,424)(110,426)(111,425)
(112,430)(113,432)(114,431)(115,427)(116,429)(117,428)(118,415)(119,417)
(120,416)(121,421)(122,423)(123,422)(124,418)(125,420)(126,419)(127,406)
(128,408)(129,407)(130,412)(131,414)(132,413)(133,409)(134,411)(135,410)
(136,397)(137,399)(138,398)(139,403)(140,405)(141,404)(142,400)(143,402)
(144,401)(145,433)(146,435)(147,434)(148,439)(149,441)(150,440)(151,436)
(152,438)(153,437)(154,442)(155,444)(156,443)(157,448)(158,450)(159,449)
(160,445)(161,447)(162,446)(163,460)(164,462)(165,461)(166,466)(167,468)
(168,467)(169,463)(170,465)(171,464)(172,451)(173,453)(174,452)(175,457)
(176,459)(177,458)(178,454)(179,456)(180,455)(181,478)(182,480)(183,479)
(184,484)(185,486)(186,485)(187,481)(188,483)(189,482)(190,469)(191,471)
(192,470)(193,475)(194,477)(195,476)(196,472)(197,474)(198,473)(199,487)
(200,489)(201,488)(202,493)(203,495)(204,494)(205,490)(206,492)(207,491)
(208,496)(209,498)(210,497)(211,502)(212,504)(213,503)(214,499)(215,501)
(216,500)(217,523)(218,525)(219,524)(220,529)(221,531)(222,530)(223,526)
(224,528)(225,527)(226,532)(227,534)(228,533)(229,538)(230,540)(231,539)
(232,535)(233,537)(234,536)(235,505)(236,507)(237,506)(238,511)(239,513)
(240,512)(241,508)(242,510)(243,509)(244,514)(245,516)(246,515)(247,520)
(248,522)(249,521)(250,517)(251,519)(252,518)(253,568)(254,570)(255,569)
(256,574)(257,576)(258,575)(259,571)(260,573)(261,572)(262,559)(263,561)
(264,560)(265,565)(266,567)(267,566)(268,562)(269,564)(270,563)(271,550)
(272,552)(273,551)(274,556)(275,558)(276,557)(277,553)(278,555)(279,554)
(280,541)(281,543)(282,542)(283,547)(284,549)(285,548)(286,544)(287,546)
(288,545);
s1 := Sym(576)!( 1, 40)( 2, 38)( 3, 45)( 4, 37)( 5, 44)( 6, 42)( 7, 43)
( 8, 41)( 9, 39)( 10, 49)( 11, 47)( 12, 54)( 13, 46)( 14, 53)( 15, 51)
( 16, 52)( 17, 50)( 18, 48)( 19, 67)( 20, 65)( 21, 72)( 22, 64)( 23, 71)
( 24, 69)( 25, 70)( 26, 68)( 27, 66)( 28, 58)( 29, 56)( 30, 63)( 31, 55)
( 32, 62)( 33, 60)( 34, 61)( 35, 59)( 36, 57)( 73,130)( 74,128)( 75,135)
( 76,127)( 77,134)( 78,132)( 79,133)( 80,131)( 81,129)( 82,139)( 83,137)
( 84,144)( 85,136)( 86,143)( 87,141)( 88,142)( 89,140)( 90,138)( 91,112)
( 92,110)( 93,117)( 94,109)( 95,116)( 96,114)( 97,115)( 98,113)( 99,111)
(100,121)(101,119)(102,126)(103,118)(104,125)(105,123)(106,124)(107,122)
(108,120)(145,148)(147,153)(149,152)(154,157)(156,162)(158,161)(163,175)
(164,173)(165,180)(166,172)(167,179)(168,177)(169,178)(170,176)(171,174)
(181,184)(183,189)(185,188)(190,193)(192,198)(194,197)(199,211)(200,209)
(201,216)(202,208)(203,215)(204,213)(205,214)(206,212)(207,210)(217,238)
(218,236)(219,243)(220,235)(221,242)(222,240)(223,241)(224,239)(225,237)
(226,247)(227,245)(228,252)(229,244)(230,251)(231,249)(232,250)(233,248)
(234,246)(253,274)(254,272)(255,279)(256,271)(257,278)(258,276)(259,277)
(260,275)(261,273)(262,283)(263,281)(264,288)(265,280)(266,287)(267,285)
(268,286)(269,284)(270,282)(289,400)(290,398)(291,405)(292,397)(293,404)
(294,402)(295,403)(296,401)(297,399)(298,409)(299,407)(300,414)(301,406)
(302,413)(303,411)(304,412)(305,410)(306,408)(307,427)(308,425)(309,432)
(310,424)(311,431)(312,429)(313,430)(314,428)(315,426)(316,418)(317,416)
(318,423)(319,415)(320,422)(321,420)(322,421)(323,419)(324,417)(325,364)
(326,362)(327,369)(328,361)(329,368)(330,366)(331,367)(332,365)(333,363)
(334,373)(335,371)(336,378)(337,370)(338,377)(339,375)(340,376)(341,374)
(342,372)(343,391)(344,389)(345,396)(346,388)(347,395)(348,393)(349,394)
(350,392)(351,390)(352,382)(353,380)(354,387)(355,379)(356,386)(357,384)
(358,385)(359,383)(360,381)(433,517)(434,515)(435,522)(436,514)(437,521)
(438,519)(439,520)(440,518)(441,516)(442,508)(443,506)(444,513)(445,505)
(446,512)(447,510)(448,511)(449,509)(450,507)(451,526)(452,524)(453,531)
(454,523)(455,530)(456,528)(457,529)(458,527)(459,525)(460,535)(461,533)
(462,540)(463,532)(464,539)(465,537)(466,538)(467,536)(468,534)(469,553)
(470,551)(471,558)(472,550)(473,557)(474,555)(475,556)(476,554)(477,552)
(478,544)(479,542)(480,549)(481,541)(482,548)(483,546)(484,547)(485,545)
(486,543)(487,562)(488,560)(489,567)(490,559)(491,566)(492,564)(493,565)
(494,563)(495,561)(496,571)(497,569)(498,576)(499,568)(500,575)(501,573)
(502,574)(503,572)(504,570);
s2 := Sym(576)!( 1,145)( 2,147)( 3,146)( 4,149)( 5,148)( 6,150)( 7,153)
( 8,152)( 9,151)( 10,154)( 11,156)( 12,155)( 13,158)( 14,157)( 15,159)
( 16,162)( 17,161)( 18,160)( 19,163)( 20,165)( 21,164)( 22,167)( 23,166)
( 24,168)( 25,171)( 26,170)( 27,169)( 28,172)( 29,174)( 30,173)( 31,176)
( 32,175)( 33,177)( 34,180)( 35,179)( 36,178)( 37,181)( 38,183)( 39,182)
( 40,185)( 41,184)( 42,186)( 43,189)( 44,188)( 45,187)( 46,190)( 47,192)
( 48,191)( 49,194)( 50,193)( 51,195)( 52,198)( 53,197)( 54,196)( 55,199)
( 56,201)( 57,200)( 58,203)( 59,202)( 60,204)( 61,207)( 62,206)( 63,205)
( 64,208)( 65,210)( 66,209)( 67,212)( 68,211)( 69,213)( 70,216)( 71,215)
( 72,214)( 73,226)( 74,228)( 75,227)( 76,230)( 77,229)( 78,231)( 79,234)
( 80,233)( 81,232)( 82,217)( 83,219)( 84,218)( 85,221)( 86,220)( 87,222)
( 88,225)( 89,224)( 90,223)( 91,244)( 92,246)( 93,245)( 94,248)( 95,247)
( 96,249)( 97,252)( 98,251)( 99,250)(100,235)(101,237)(102,236)(103,239)
(104,238)(105,240)(106,243)(107,242)(108,241)(109,262)(110,264)(111,263)
(112,266)(113,265)(114,267)(115,270)(116,269)(117,268)(118,253)(119,255)
(120,254)(121,257)(122,256)(123,258)(124,261)(125,260)(126,259)(127,280)
(128,282)(129,281)(130,284)(131,283)(132,285)(133,288)(134,287)(135,286)
(136,271)(137,273)(138,272)(139,275)(140,274)(141,276)(142,279)(143,278)
(144,277)(289,433)(290,435)(291,434)(292,437)(293,436)(294,438)(295,441)
(296,440)(297,439)(298,442)(299,444)(300,443)(301,446)(302,445)(303,447)
(304,450)(305,449)(306,448)(307,451)(308,453)(309,452)(310,455)(311,454)
(312,456)(313,459)(314,458)(315,457)(316,460)(317,462)(318,461)(319,464)
(320,463)(321,465)(322,468)(323,467)(324,466)(325,469)(326,471)(327,470)
(328,473)(329,472)(330,474)(331,477)(332,476)(333,475)(334,478)(335,480)
(336,479)(337,482)(338,481)(339,483)(340,486)(341,485)(342,484)(343,487)
(344,489)(345,488)(346,491)(347,490)(348,492)(349,495)(350,494)(351,493)
(352,496)(353,498)(354,497)(355,500)(356,499)(357,501)(358,504)(359,503)
(360,502)(361,514)(362,516)(363,515)(364,518)(365,517)(366,519)(367,522)
(368,521)(369,520)(370,505)(371,507)(372,506)(373,509)(374,508)(375,510)
(376,513)(377,512)(378,511)(379,532)(380,534)(381,533)(382,536)(383,535)
(384,537)(385,540)(386,539)(387,538)(388,523)(389,525)(390,524)(391,527)
(392,526)(393,528)(394,531)(395,530)(396,529)(397,550)(398,552)(399,551)
(400,554)(401,553)(402,555)(403,558)(404,557)(405,556)(406,541)(407,543)
(408,542)(409,545)(410,544)(411,546)(412,549)(413,548)(414,547)(415,568)
(416,570)(417,569)(418,572)(419,571)(420,573)(421,576)(422,575)(423,574)
(424,559)(425,561)(426,560)(427,563)(428,562)(429,564)(430,567)(431,566)
(432,565);
poly := sub<Sym(576)|s0,s1,s2>;
Finitely Presented Group Representation (Magma) :
poly<s0,s1,s2> := Group< s0,s1,s2 | s0*s0, s1*s1, s2*s2,
s0*s2*s0*s2, s1*s2*s1*s2*s1*s2*s1*s2,
s2*s0*s1*s0*s1*s2*s1*s0*s1*s2*s0*s1*s0*s1*s2*s1*s0*s1,
s2*s0*s1*s0*s1*s0*s1*s0*s1*s2*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1*s2*s1*s0*s1*s0*s1 >;
References : None.
to this polytope