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

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

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