Dear forum
gap> f; <free group on the generators [ f1, f2 ]> gap> x:=f/[f.1^8,f.2^2*f.1^-4,f.2*f.1*f.2^-1/f.1]; <fp group on the generators [ f1, f2 ]>
x is the quaterniongroup of Order 16.
Is there a function in GAP that calculates such a presentation of any group
G ?
Best wishes
K.Ewald