/* A presentation for S11 in terms of some `near-standard' generators. */ G<x,y>:=Group<x,y| x^11, y^2, (x*y)^10, (x,y)^3, (x^2,y)^2, (x^3,y)^2, // (x^5,y)^2, // This is redundant. (x^4,y)^2 >; M1:=sub<G|x*y,y^x>; M2:=sub<G|y,x*y*x^-1*y*x,y^(x^2)>;