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 _______________________________________________ Forum mailing list Forum@gap-system.org https://mail.gap-system.org/mailman/listinfo/forum
