Dear all,
in this file we have
elif IsAbelian(E) and IsCyclic(F) then
I think it should be
elif IsAbelian(E) and IsCyclic(E) then
If I were wrong, why then the test later on?
if not IsCyclic(F) then return fail;fi;
Best,
Mathieu