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