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