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