/*
A presentation of L2(17) on its standard (ie (2,3,17)-) generators.
[A rewrite of the J.G.Sunday presentation.]
*/

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

M1:=sub<G|x,y*x*y*x*y^-1*x*y^-1*x*y>;
M2:=sub<G|x,y*x*y*x*y*x*y*x*y^-1*x*y*x*y^-1>;
M3:=sub<G|x,y*x*y*x*y^-1*x*y*x*y*x*y*x*y^-1>;
M4:=sub<G|x,x^y>;
M5:=sub<G|x,x^(y*x*y^-1*x*y*x*y)>;

H1:=sub<G|x,x^(y*x*y)>;