#gap_pyraminx.txt
#per de base: 2arete,1centre
pG := (2,4,11)(8,10,5)(21,15,16);
pD := (1,12,4)(7,6,10)(17,14,24) ;
pH := (1,8,9)(7,2,3)(22,13,20)   ;
pP := (3,5,12)(9,11,6)(23,19,18) ;
#permutations étendues (violer les lois)
pGamma := (1,7) ;
pOmega := (1,2)(7,8);
#permutation sommet
pg := (30,28,29);
pd := (33,31,32);
ph := (27,25,26);
pp := (35,34,36);
LAMBDAPLUS :=  Group( pG, pD, pH, pP, pg, pd, ph, pp, pGamma, pOmega );
LAMBDA := Group( pG, pD, pH, pP, pg, pd, ph, pp);
Print( "\n" );
Print( "|LAMBDA+| = ",Size( LAMBDAPLUS ), "\n" );
Print( "|LAMBDA| = ", Size( LAMBDA ) , "\n" );
Print( "N = ",  2 * 2 , "\n" );
Print( "|G+| = ",  Factorial(6) * (2^6) * (3^4) *(3^4), "\n" );
Print( "|G| = |G+|/N = ", (Factorial(6) * (2^6)*(3^4)*(3^4))  / ( 2 * 2 ), "\n" );