I have a question related to Chris Charnes' problem.
I would need functions to compute all automorphisms on a group
and also all homomorphisms from one group to another.
This includes, of course, as a special case, finding all
endomorphisms on a given group. Wouldn't it be possible to
include such functions in a later version of GAP ?
Is there any theory of computing endomorphisms on non-abelian