# these are the operators and group for megaminx # the N suffix indicates an anti-clockwise turn M_UN:=(1,26,12,15,3)(2,25,11,16,4)(61,77,90,73,64)(62,78,88,74,65)(63,76,89,75,66); M_U:=M_UN * M_UN * M_UN * M_UN; M_DN:=(29,31,50,56,58)(30,32,49,55,57)(91,110,116,119,96)(92,111,117,120,94)(93,109,115,118,95); M_D:=M_DN * M_DN * M_DN * M_DN; M_FN:=(3,10,19,7,17)(4,9,20,8,18)(64,74,87,82,70)(65,75,85,83,71)(66,73,86,84,72); M_F:=M_FN * M_FN * M_FN * M_FN; M_BFN:=(37,39,60,55,51)(38,40,59,56,52)(103,107,120,115,112)(104,108,118,116,113)(105,106,119,117,114); M_BF:=M_BFN * M_BFN * M_BFN * M_BFN; M_LN:=(9,15,23,35,21)(10,16,24,36,22)(73,88,100,97,85)(74,89,101,98,86)(75,90,102,99,87); M_L:=M_LN * M_LN * M_LN * M_LN; M_EN:=(41,57,59,53,43)(42,58,60,54,44)(67,94,118,106,79)(68,95,119,107,80)(69,96,120,108,81); M_E:=M_EN * M_EN * M_EN * M_EN; M_BLN:=(11,47,37,45,23)(12,48,38,46,24)(76,105,112,102,88)(77,103,113,100,89)(78,104,114,101,90); M_BL:=M_BLN * M_BLN * M_BLN * M_BLN; M_CN:=(5,7,27,29,41)(6,8,28,30,42)(67,72,82,93,96)(68,70,83,91,94)(69,71,84,92,95); M_C:=M_CN * M_CN * M_CN * M_CN; M_BRN:=(13,53,39,48,25)(14,54,40,47,26)(61,79,107,104,76)(62,80,108,105,77)(63,81,106,103,78); M_BR:=M_BRN * M_BRN * M_BRN * M_BRN; M_AN:=(19,21,33,31,28)(20,22,34,32,27)(82,85,98,110,92)(83,86,99,111,93)(84,87,97,109,91); M_A:=M_AN * M_AN * M_AN * M_AN; M_RN:=(1,18,5,44,13)(2,17,6,43,14)(61,65,72,68,81)(62,66,70,69,79)(63,64,71,67,80); M_R:=M_RN * M_RN * M_RN * M_RN; M_IN:=(33,36,45,52,49)(34,35,46,51,50)(97,101,112,116,111)(98,102,113,117,109)(99,100,114,115,110); M_I:=M_IN * M_IN * M_IN * M_IN; # Gen is the full megaminx generators Gen:=[ M_U,M_D,M_F,M_BF,M_L,M_E,M_BL,M_C,M_BR,M_A,M_R,M_I ]; dod := Group(Gen); # Gen1 is the generators for working on 10 spot Gen1:=[ M_L,M_F,M_R,M_BR,M_BL,M_E,M_C,M_A,M_I,M_BF ]; Gentwo :=[ M_U,M_D ]; dod1 := Group(Gen1); dod2 := Group(Gentwo); # (L E' BL C' BR A' R I' F BF')7 L E' spot10 := (M_L * M_EN * M_BL * M_CN * M_BR * M_AN * M_R * M_IN * M_F * M_BFN)^7 * M_L * M_EN; # # F2' L2 F L' F' L' F2 R U L U' R' L' flip2 := M_FN * M_FN * M_L * M_L * M_F * M_LN * M_FN * M_LN * M_F * M_F * M_R * M_U * M_L * M_UN * M_RN * M_LN; ip:=[[1],[3],[5],[7],[9],[11],[13],[15],[17],[19],[21],[23],[25],[27],[29],[31],[33],[35],[37],[39],[41],[43],[45],[47],[49],[51],[53],[55],[57],[59],[61],[64],[67],[70],[73],[76],[79],[82],[85],[88],[91],[94],[97],[100],[103],[106],[109],[112],[115],[118]];