Algorithmic Advance: The Group Isomorphism Problem : compare