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