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