f:=FreeGroup(n);
h:=GroupHomomorphismByGenerators(g,f,g.generators,f.generators);
h.isMapping:=true;h.isHomomorphism:=true; # this is not really true
Image(h,el); #yields word in generators

Alexander Hulpke

Oh well, thanks for the helpful information on defining homomorphisms from
permutation groups; I would certainly never have thought os applying the
trick in the example above (although I have checked now that there is a
reference to it in the manual). But this is all a bit sneaky isn't it?
I'm quite shocked at the idea that someone would tell a poor innocent
computer that a map was a homorphism when it wasn't, just to trick it into
answering a question.

Derek Holt.