Polytope of Type {4,25}

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

Permutation Representation (Magma) :

s0 := Sym(400)!(  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);
s1 := Sym(400)!(  2,  9)(  3, 16)(  4,  8)(  6, 13)(  7, 12)( 11, 15)( 17, 65)
( 18, 73)( 19, 80)( 20, 72)( 21, 69)( 22, 77)( 23, 76)( 24, 68)( 25, 66)
( 26, 74)( 27, 79)( 28, 71)( 29, 70)( 30, 78)( 31, 75)( 32, 67)( 33, 49)
( 34, 57)( 35, 64)( 36, 56)( 37, 53)( 38, 61)( 39, 60)( 40, 52)( 41, 50)
( 42, 58)( 43, 63)( 44, 55)( 45, 54)( 46, 62)( 47, 59)( 48, 51)( 81,337)
( 82,345)( 83,352)( 84,344)( 85,341)( 86,349)( 87,348)( 88,340)( 89,338)
( 90,346)( 91,351)( 92,343)( 93,342)( 94,350)( 95,347)( 96,339)( 97,321)
( 98,329)( 99,336)(100,328)(101,325)(102,333)(103,332)(104,324)(105,322)
(106,330)(107,335)(108,327)(109,326)(110,334)(111,331)(112,323)(113,385)
(114,393)(115,400)(116,392)(117,389)(118,397)(119,396)(120,388)(121,386)
(122,394)(123,399)(124,391)(125,390)(126,398)(127,395)(128,387)(129,369)
(130,377)(131,384)(132,376)(133,373)(134,381)(135,380)(136,372)(137,370)
(138,378)(139,383)(140,375)(141,374)(142,382)(143,379)(144,371)(145,353)
(146,361)(147,368)(148,360)(149,357)(150,365)(151,364)(152,356)(153,354)
(154,362)(155,367)(156,359)(157,358)(158,366)(159,363)(160,355)(161,257)
(162,265)(163,272)(164,264)(165,261)(166,269)(167,268)(168,260)(169,258)
(170,266)(171,271)(172,263)(173,262)(174,270)(175,267)(176,259)(177,241)
(178,249)(179,256)(180,248)(181,245)(182,253)(183,252)(184,244)(185,242)
(186,250)(187,255)(188,247)(189,246)(190,254)(191,251)(192,243)(193,305)
(194,313)(195,320)(196,312)(197,309)(198,317)(199,316)(200,308)(201,306)
(202,314)(203,319)(204,311)(205,310)(206,318)(207,315)(208,307)(209,289)
(210,297)(211,304)(212,296)(213,293)(214,301)(215,300)(216,292)(217,290)
(218,298)(219,303)(220,295)(221,294)(222,302)(223,299)(224,291)(225,273)
(226,281)(227,288)(228,280)(229,277)(230,285)(231,284)(232,276)(233,274)
(234,282)(235,287)(236,279)(237,278)(238,286)(239,283)(240,275);
s2 := Sym(400)!(  1, 81)(  2, 91)(  3, 90)(  4, 84)(  5, 93)(  6, 87)(  7, 86)
(  8, 96)(  9, 89)( 10, 83)( 11, 82)( 12, 92)( 13, 85)( 14, 95)( 15, 94)
( 16, 88)( 17,145)( 18,155)( 19,154)( 20,148)( 21,157)( 22,151)( 23,150)
( 24,160)( 25,153)( 26,147)( 27,146)( 28,156)( 29,149)( 30,159)( 31,158)
( 32,152)( 33,129)( 34,139)( 35,138)( 36,132)( 37,141)( 38,135)( 39,134)
( 40,144)( 41,137)( 42,131)( 43,130)( 44,140)( 45,133)( 46,143)( 47,142)
( 48,136)( 49,113)( 50,123)( 51,122)( 52,116)( 53,125)( 54,119)( 55,118)
( 56,128)( 57,121)( 58,115)( 59,114)( 60,124)( 61,117)( 62,127)( 63,126)
( 64,120)( 65, 97)( 66,107)( 67,106)( 68,100)( 69,109)( 70,103)( 71,102)
( 72,112)( 73,105)( 74, 99)( 75, 98)( 76,108)( 77,101)( 78,111)( 79,110)
( 80,104)(161,337)(162,347)(163,346)(164,340)(165,349)(166,343)(167,342)
(168,352)(169,345)(170,339)(171,338)(172,348)(173,341)(174,351)(175,350)
(176,344)(177,321)(178,331)(179,330)(180,324)(181,333)(182,327)(183,326)
(184,336)(185,329)(186,323)(187,322)(188,332)(189,325)(190,335)(191,334)
(192,328)(193,385)(194,395)(195,394)(196,388)(197,397)(198,391)(199,390)
(200,400)(201,393)(202,387)(203,386)(204,396)(205,389)(206,399)(207,398)
(208,392)(209,369)(210,379)(211,378)(212,372)(213,381)(214,375)(215,374)
(216,384)(217,377)(218,371)(219,370)(220,380)(221,373)(222,383)(223,382)
(224,376)(225,353)(226,363)(227,362)(228,356)(229,365)(230,359)(231,358)
(232,368)(233,361)(234,355)(235,354)(236,364)(237,357)(238,367)(239,366)
(240,360)(241,257)(242,267)(243,266)(244,260)(245,269)(246,263)(247,262)
(248,272)(249,265)(250,259)(251,258)(252,268)(253,261)(254,271)(255,270)
(256,264)(273,305)(274,315)(275,314)(276,308)(277,317)(278,311)(279,310)
(280,320)(281,313)(282,307)(283,306)(284,316)(285,309)(286,319)(287,318)
(288,312)(290,299)(291,298)(293,301)(294,295)(296,304)(302,303);
poly := sub<Sym(400)|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, 
s1*s0*s1*s2*s0*s1*s2*s0*s1*s2*s1*s0*s1*s2*s0*s1*s2*s1*s2, 
s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;

References : None.
to this polytope