Polytope of Type {4,30}

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