gap> g:=FreeGroup(2);
<free group on the generators [ f1, f2 ]>
gap> a:=g.1;
f1
gap> b:=g.2;
f2
gap> lis:=[a^2, a^2, b*a];
[ f1^2, f1^2, f2*f1 ]
gap> h:=g/lis;
<fp group on the generators [ f1, f2 ]>
gap> SaveWorkspace("/tmp/libgap.ws");

true
# done
