1 | initial version |
Hello,
Free group are currently implemented using GAP and it seems that morphisms are not supported.
You may have a look at sage-train-track where a ad-hoc implementation of FreeGroup is provided together with its automorphisms... and much more.