Thank you very much. Best William Il giorno gio 5 set 2019 alle 22:21 Jean Michel <jean.mic...@imj-prg.fr> ha scritto:
> 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
