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