h.isMapping:=true;h.isHomomorphism:=true; # this is not really true
Image(h,el); #yields word in generators
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.