/*
A presentation for A11 in terms of standard generators.
*/

G<x,y>:=Group<x,y|
x^3,
y^9,
(x*y)^11,
(x*x^y)^2,
(x*x^(y^2))^2,
(x*x^(y^3))^2,
(x*x^(y^4))^2
>;

M1:=sub<G|y,x*y*x^-1>;