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