I've been looking for an explicit isomorphism between the following two groups (h and g):
gap> q := FreeGroup( "x", "y","z");;
gap> g := q / [ q.1^25, q.2^5,q.3^5*q.1^-10,q.1^-1*q.2^-1*q.1*q.2*q.1^-5,q.1^-1*q.3^-1*q.1*q.3*q.2^-1,q.2^-1*q.3^-1*q.2*q.3 ];
gap> f := FreeGroup( "a", "b","c");;
gap> h := f / [ f.1^25, f.2^5,f.3^5*f.1^-10,f.1^-1*f.2^-1*f.1*f.2,f.1^-1*f.3^-1*f.1*f.3*f.2^-1,f.2^-1*f.3^-1*f.2*f.3*f.1^-10 ];
I applied the GAP's Code at the link: Explicit Isomorphism Between Two $p$-Groups in GAP
However, it did not work for me. FYI, I loaded the "anupq" and "sonata" pakages, and used IsomorphismGroups and IsISomorphicPGroup. They are, however, extremely slow at computing the isomorphism between P-groups of a high order.
I'm not sure if MAGMA has a code that does the same thing for me. If so, could you please share it?
Any assistance with this situation would be greatly appreciated.
Thank you.