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