Play with this polytope as a twisty puzzle
This page is part of the Atlas of Small Regular Polytopess0 := ( 8,29)( 9,30)(10,31)(11,32)(12,33)(13,34)(14,35)(15,22)(16,23)(17,24)(18,25)(19,26)(20,27)(21,28)(43,64)(44,65)(45,66)(46,67)(47,68)(48,69)(49,70)(50,57)(51,58)(52,59)(53,60)(54,61)(55,62)(56,63);; s1 := ( 1, 8)( 2,14)( 3,13)( 4,12)( 5,11)( 6,10)( 7, 9)(15,29)(16,35)(17,34)(18,33)(19,32)(20,31)(21,30)(23,28)(24,27)(25,26)(36,43)(37,49)(38,48)(39,47)(40,46)(41,45)(42,44)(50,64)(51,70)(52,69)(53,68)(54,67)(55,66)(56,65)(58,63)(59,62)(60,61);; s2 := ( 1,37)( 2,36)( 3,42)( 4,41)( 5,40)( 6,39)( 7,38)( 8,44)( 9,43)(10,49)(11,48)(12,47)(13,46)(14,45)(15,51)(16,50)(17,56)(18,55)(19,54)(20,53)(21,52)(22,58)(23,57)(24,63)(25,62)(26,61)(27,60)(28,59)(29,65)(30,64)(31,70)(32,69)(33,68)(34,67)(35,66);; 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*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(70)!( 8,29)( 9,30)(10,31)(11,32)(12,33)(13,34)(14,35)(15,22)(16,23)(17,24)(18,25)(19,26)(20,27)(21,28)(43,64)(44,65)(45,66)(46,67)(47,68)(48,69)(49,70)(50,57)(51,58)(52,59)(53,60)(54,61)(55,62)(56,63); s1 := Sym(70)!( 1, 8)( 2,14)( 3,13)( 4,12)( 5,11)( 6,10)( 7, 9)(15,29)(16,35)(17,34)(18,33)(19,32)(20,31)(21,30)(23,28)(24,27)(25,26)(36,43)(37,49)(38,48)(39,47)(40,46)(41,45)(42,44)(50,64)(51,70)(52,69)(53,68)(54,67)(55,66)(56,65)(58,63)(59,62)(60,61); s2 := Sym(70)!( 1,37)( 2,36)( 3,42)( 4,41)( 5,40)( 6,39)( 7,38)( 8,44)( 9,43)(10,49)(11,48)(12,47)(13,46)(14,45)(15,51)(16,50)(17,56)(18,55)(19,54)(20,53)(21,52)(22,58)(23,57)(24,63)(25,62)(26,61)(27,60)(28,59)(29,65)(30,64)(31,70)(32,69)(33,68)(34,67)(35,66); poly := sub<Sym(70)|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*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.