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