Play with this polytope as a twisty puzzle
This page is part of the Atlas of Small Regular Polytopess0 := ( 44, 87)( 45, 88)( 46, 89)( 47, 90)( 48, 91)( 49, 92)( 50, 93)( 51, 94)( 52, 95)( 53, 96)( 54, 97)( 55, 98)( 56, 99)( 57,100)( 58,101)( 59,102)( 60,103)( 61,104)( 62,105)( 63,106)( 64,107)( 65,108)( 66,109)( 67,110)( 68,111)( 69,112)( 70,113)( 71,114)( 72,115)( 73,116)( 74,117)( 75,118)( 76,119)( 77,120)( 78,121)( 79,122)( 80,123)( 81,124)( 82,125)( 83,126)( 84,127)( 85,128)( 86,129)(173,216)(174,217)(175,218)(176,219)(177,220)(178,221)(179,222)(180,223)(181,224)(182,225)(183,226)(184,227)(185,228)(186,229)(187,230)(188,231)(189,232)(190,233)(191,234)(192,235)(193,236)(194,237)(195,238)(196,239)(197,240)(198,241)(199,242)(200,243)(201,244)(202,245)(203,246)(204,247)(205,248)(206,249)(207,250)(208,251)(209,252)(210,253)(211,254)(212,255)(213,256)(214,257)(215,258);; s1 := ( 1, 44)( 2, 86)( 3, 85)( 4, 84)( 5, 83)( 6, 82)( 7, 81)( 8, 80)( 9, 79)( 10, 78)( 11, 77)( 12, 76)( 13, 75)( 14, 74)( 15, 73)( 16, 72)( 17, 71)( 18, 70)( 19, 69)( 20, 68)( 21, 67)( 22, 66)( 23, 65)( 24, 64)( 25, 63)( 26, 62)( 27, 61)( 28, 60)( 29, 59)( 30, 58)( 31, 57)( 32, 56)( 33, 55)( 34, 54)( 35, 53)( 36, 52)( 37, 51)( 38, 50)( 39, 49)( 40, 48)( 41, 47)( 42, 46)( 43, 45)( 88,129)( 89,128)( 90,127)( 91,126)( 92,125)( 93,124)( 94,123)( 95,122)( 96,121)( 97,120)( 98,119)( 99,118)(100,117)(101,116)(102,115)(103,114)(104,113)(105,112)(106,111)(107,110)(108,109)(130,173)(131,215)(132,214)(133,213)(134,212)(135,211)(136,210)(137,209)(138,208)(139,207)(140,206)(141,205)(142,204)(143,203)(144,202)(145,201)(146,200)(147,199)(148,198)(149,197)(150,196)(151,195)(152,194)(153,193)(154,192)(155,191)(156,190)(157,189)(158,188)(159,187)(160,186)(161,185)(162,184)(163,183)(164,182)(165,181)(166,180)(167,179)(168,178)(169,177)(170,176)(171,175)(172,174)(217,258)(218,257)(219,256)(220,255)(221,254)(222,253)(223,252)(224,251)(225,250)(226,249)(227,248)(228,247)(229,246)(230,245)(231,244)(232,243)(233,242)(234,241)(235,240)(236,239)(237,238);; s2 := ( 1,131)( 2,130)( 3,172)( 4,171)( 5,170)( 6,169)( 7,168)( 8,167)( 9,166)( 10,165)( 11,164)( 12,163)( 13,162)( 14,161)( 15,160)( 16,159)( 17,158)( 18,157)( 19,156)( 20,155)( 21,154)( 22,153)( 23,152)( 24,151)( 25,150)( 26,149)( 27,148)( 28,147)( 29,146)( 30,145)( 31,144)( 32,143)( 33,142)( 34,141)( 35,140)( 36,139)( 37,138)( 38,137)( 39,136)( 40,135)( 41,134)( 42,133)( 43,132)( 44,174)( 45,173)( 46,215)( 47,214)( 48,213)( 49,212)( 50,211)( 51,210)( 52,209)( 53,208)( 54,207)( 55,206)( 56,205)( 57,204)( 58,203)( 59,202)( 60,201)( 61,200)( 62,199)( 63,198)( 64,197)( 65,196)( 66,195)( 67,194)( 68,193)( 69,192)( 70,191)( 71,190)( 72,189)( 73,188)( 74,187)( 75,186)( 76,185)( 77,184)( 78,183)( 79,182)( 80,181)( 81,180)( 82,179)( 83,178)( 84,177)( 85,176)( 86,175)( 87,217)( 88,216)( 89,258)( 90,257)( 91,256)( 92,255)( 93,254)( 94,253)( 95,252)( 96,251)( 97,250)( 98,249)( 99,248)(100,247)(101,246)(102,245)(103,244)(104,243)(105,242)(106,241)(107,240)(108,239)(109,238)(110,237)(111,236)(112,235)(113,234)(114,233)(115,232)(116,231)(117,230)(118,229)(119,228)(120,227)(121,226)(122,225)(123,224)(124,223)(125,222)(126,221)(127,220)(128,219)(129,218);; 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*s2*s1*s0*s1*s2*s1,
s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1,
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*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*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*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 ];;
poly := F / rels;;
Permutation Representation (Magma) : s0 := Sym(258)!( 44, 87)( 45, 88)( 46, 89)( 47, 90)( 48, 91)( 49, 92)( 50, 93)( 51, 94)( 52, 95)( 53, 96)( 54, 97)( 55, 98)( 56, 99)( 57,100)( 58,101)( 59,102)( 60,103)( 61,104)( 62,105)( 63,106)( 64,107)( 65,108)( 66,109)( 67,110)( 68,111)( 69,112)( 70,113)( 71,114)( 72,115)( 73,116)( 74,117)( 75,118)( 76,119)( 77,120)( 78,121)( 79,122)( 80,123)( 81,124)( 82,125)( 83,126)( 84,127)( 85,128)( 86,129)(173,216)(174,217)(175,218)(176,219)(177,220)(178,221)(179,222)(180,223)(181,224)(182,225)(183,226)(184,227)(185,228)(186,229)(187,230)(188,231)(189,232)(190,233)(191,234)(192,235)(193,236)(194,237)(195,238)(196,239)(197,240)(198,241)(199,242)(200,243)(201,244)(202,245)(203,246)(204,247)(205,248)(206,249)(207,250)(208,251)(209,252)(210,253)(211,254)(212,255)(213,256)(214,257)(215,258); s1 := Sym(258)!( 1, 44)( 2, 86)( 3, 85)( 4, 84)( 5, 83)( 6, 82)( 7, 81)( 8, 80)( 9, 79)( 10, 78)( 11, 77)( 12, 76)( 13, 75)( 14, 74)( 15, 73)( 16, 72)( 17, 71)( 18, 70)( 19, 69)( 20, 68)( 21, 67)( 22, 66)( 23, 65)( 24, 64)( 25, 63)( 26, 62)( 27, 61)( 28, 60)( 29, 59)( 30, 58)( 31, 57)( 32, 56)( 33, 55)( 34, 54)( 35, 53)( 36, 52)( 37, 51)( 38, 50)( 39, 49)( 40, 48)( 41, 47)( 42, 46)( 43, 45)( 88,129)( 89,128)( 90,127)( 91,126)( 92,125)( 93,124)( 94,123)( 95,122)( 96,121)( 97,120)( 98,119)( 99,118)(100,117)(101,116)(102,115)(103,114)(104,113)(105,112)(106,111)(107,110)(108,109)(130,173)(131,215)(132,214)(133,213)(134,212)(135,211)(136,210)(137,209)(138,208)(139,207)(140,206)(141,205)(142,204)(143,203)(144,202)(145,201)(146,200)(147,199)(148,198)(149,197)(150,196)(151,195)(152,194)(153,193)(154,192)(155,191)(156,190)(157,189)(158,188)(159,187)(160,186)(161,185)(162,184)(163,183)(164,182)(165,181)(166,180)(167,179)(168,178)(169,177)(170,176)(171,175)(172,174)(217,258)(218,257)(219,256)(220,255)(221,254)(222,253)(223,252)(224,251)(225,250)(226,249)(227,248)(228,247)(229,246)(230,245)(231,244)(232,243)(233,242)(234,241)(235,240)(236,239)(237,238); s2 := Sym(258)!( 1,131)( 2,130)( 3,172)( 4,171)( 5,170)( 6,169)( 7,168)( 8,167)( 9,166)( 10,165)( 11,164)( 12,163)( 13,162)( 14,161)( 15,160)( 16,159)( 17,158)( 18,157)( 19,156)( 20,155)( 21,154)( 22,153)( 23,152)( 24,151)( 25,150)( 26,149)( 27,148)( 28,147)( 29,146)( 30,145)( 31,144)( 32,143)( 33,142)( 34,141)( 35,140)( 36,139)( 37,138)( 38,137)( 39,136)( 40,135)( 41,134)( 42,133)( 43,132)( 44,174)( 45,173)( 46,215)( 47,214)( 48,213)( 49,212)( 50,211)( 51,210)( 52,209)( 53,208)( 54,207)( 55,206)( 56,205)( 57,204)( 58,203)( 59,202)( 60,201)( 61,200)( 62,199)( 63,198)( 64,197)( 65,196)( 66,195)( 67,194)( 68,193)( 69,192)( 70,191)( 71,190)( 72,189)( 73,188)( 74,187)( 75,186)( 76,185)( 77,184)( 78,183)( 79,182)( 80,181)( 81,180)( 82,179)( 83,178)( 84,177)( 85,176)( 86,175)( 87,217)( 88,216)( 89,258)( 90,257)( 91,256)( 92,255)( 93,254)( 94,253)( 95,252)( 96,251)( 97,250)( 98,249)( 99,248)(100,247)(101,246)(102,245)(103,244)(104,243)(105,242)(106,241)(107,240)(108,239)(109,238)(110,237)(111,236)(112,235)(113,234)(114,233)(115,232)(116,231)(117,230)(118,229)(119,228)(120,227)(121,226)(122,225)(123,224)(124,223)(125,222)(126,221)(127,220)(128,219)(129,218); poly := sub<Sym(258)|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*s2*s1*s0*s1*s2*s1, s0*s1*s0*s1*s0*s1*s0*s1*s0*s1*s0*s1, 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*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*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*s1*s2*s1*s2*s1*s2*s1*s2*s1*s2 >;References : None.