/*
A presentation for S7 in terms of some `near-standard' generators.
*/

G<x,y>:=Group<x,y|
x^7,
y^2,
(x*y)^6,
(x,y)^3,
// (x^3,y)^2, // This is redundant.
(x^2,y)^2
>;

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