Are there any plans to implement the command GroupHomomorphismByImages
for homomorphisms of Finitely Presented groups to, say, permutation groups?
There is no theoretical obstruction to doing so, as it is a matter of checking
whether the images of the relators in the permutation group are all trivial.
Failing that, if anyone has written GAP routines to accomplish this task, could
they please let me know.