Ralf Dentzer asked, on how to obtain the presentation back from an AgGroup.
The command FpGroup will create a finitely presented group from an AgGroup.
The result has an entry .relators, that contains the relators of the
underlying Ag presentation. (The routine basically recomputes the
presentation by decomposing products and powers in the CGS).