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