Problem: Given a presentation as 'FpGroup' in GAP, how does one
convert this fp-group into an ag-group? Why does 'AgGroup'
not work?

Answer: 'AgGroup' only works for groups in which the elements can
be compared (see M.Schoenert's letter). For permutation groups
there will be a faster 'AgGroup' in the near future.

If your presentation happens to be a power/commutator
or power/conjugate presentations, use 'AgGroupFpGroup'.
Otherwise you can try to find a permutation representations
using a TC or, if your group is a p-group, use a p-quotient
algorithm ('pQuotient').

A solvable quotient algorithm will not be available
in the next few month.

mfg Frank Celler