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

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

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