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

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

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