#Example: "PqEpimorphism" . . . based on `PqEpimorphism' manual example
#vars: F, procId, phi;
#options: 
F := FreeGroup (2, "F");
#alt: do
#procId := PqStart( F );
#alt: sub <procId> for <F>
phi := PqEpimorphism( F : Prime := 5, ClassBound := 2 );
Image( phi );
