[GAP Forum] Identifying a large Fp group

[Jean Michel]

On Thu, Sep 05, 2019 at 02:47:03PM +0100, Paul Timmons wrote:
> I used Monoid Automata Factory (MAF) to simplify your presentation for XX -
> see below.

I used the Vcurve package of GAP3 to obtain a smaller presentation:

f:=FreeGroup(3);

g:=f/[f.3^3, f.1*f.3*f.1*f.3, f.1^-1*f.2^-1*f.1^-1*f.2^-1*f.1^-1*f.2^-1,
  f.2^7, f.1^-2*f.2^-1*f.1^-2*f.2*f.1*f.2, f.1^-3*f.3*f.1^-3*f.3, 
  f.2^-1*f.1*f.2^-1*f.1*f.2^-1*f.1*f.2^-1*f.1, f.1^8, 
  f.1*f.3^-1*f.2^-3*f.1*f.2^2*f.3*f.1, f.2*f.3*f.2^-2*f.1*f.2*f.3*f.2^-2*f.1, 
  f.3*f.1^3*f.2^-1*f.1*f.2^-1*f.3^-1*f.2^-1*f.1*f.2^-1*f.1^-1, 
  f.1*f.2^-1*f.1*f.2^-2*f.3*f.2^-1*f.1*f.2^-1*f.3*f.1*f.2, 
  f.1^-3*f.2*f.3*f.2^-1*f.1^-1*f.2^2*f.1^-2*f.3*f.2^-2, 
  f.1^-1*f.2^-2*f.1^-3*f.3*f.2^-1*f.3*f.2*f.1^-1*f.3*f.1*f.2^-1*f.3^-1*f.1*
  f.2^2*f.1^-1*f.3*f.1^-1*f.2^-2*f.1^-3*f.3^-1*f.1*f.2^-1*f.1*f.3*f.2^2*f.3*
  f.1^2*f.2]);

Best regards,
------------------------------------------------------------------------------
Jean MICHEL, Groupes et representations, IMJ-PRG UMR7586 tel.(33)157279144
Bureau 639 Bat. Sophie Germain Case 7012 - 75205 PARIS Cedex 13