Polytope of Type {16,4}

Play with this polytope as a twisty puzzle

This page is part of the Atlas of Small Regular Polytopes
Atlas Canonical Name : {16,4}*512e
if this polytope has a name.
Group : SmallGroup(512,60809)
Rank : 3
Schlafli Type : {16,4}
Number of vertices, edges, etc : 64, 128, 16
Order of s0s1s2 : 4
Order of s0s1s2s1 : 8
Special Properties :
   Compact Hyperbolic Quotient
   Locally Spherical
   Orientable
Related Polytopes :
   Facet
   Vertex Figure
   Dual
   Petrial
   Skewing Operation
Facet Of :
   None in this Atlas
Vertex Figure Of :
   None in this Atlas
Quotients (Maximal Quotients in Boldface) :
   2-fold quotients : {8,4}*256b
   4-fold quotients : {8,4}*128b
   8-fold quotients : {4,4}*64
   16-fold quotients : {4,4}*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.
Irregular Quotients (of which this is a minimal cover):
   P/N, where N=<s0*s1*s0*s1*s2*s1*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1> of order 2.
      8 facets:
         8 of {16}*32
      32 vertex figures:
         32 of {4}*8
   P/N, where N=<s1*s0*s1*s2*s1*s0*s1*s2> of order 4.
      4 facets:
         4 of {16}*32
      16 vertex figures:
         16 of {4}*8
   P/N, where N=<s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s2*s1*s0*s1*s2*s1> of order 4.
      4 facets:
         4 of {16}*32
      16 vertex figures:
         16 of {4}*8

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

Twisty Puzzle