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