I have a pair of 2-groups of size 1024 which are likely to be
non-isomorhic. On current stage I am interested in obtaining an answer
yes or not, and not in finding an isomorhism if the answer is "yes".
This groups are PcGroups, so they have 10 generators, which is not the
MinimalGeneratingSet. Is it better to generate a pair of another groups
with Group(MinimalGeneratingSet(G)) and then apply IsomorphismGroups to
this new pair ? Are there any another approaches ?