Ask Your Question

Revision history [back]

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.