Chris Wensley asks about recognition of small groups.
The function "GroupId" present in GAP 3.4 essentially
returns the identifier of a group of small order
wrt some catalogue. In particular, for a 2-group
or 3-group of relevant order, it returns its
identifier in the 2- or 3-group library supplied