Representation of groups with generators and relations

Question

Every finite small group in GAP has an id. Now my question is: Is there a way to find a presentation of a given SmallGroup(m,n)?

By presentation, I mean a set of generators and a set of relations

Answer 1

Try the following commands:

G:=SmallGroup(m,n);
H:=Image(IsomorphismFpGroup(G));
RelatorsOfFpGroup(H);