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