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

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

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