Thanks for the reply. I was trying to check further the order of y^2 x_2 in GAP. It seems to take a very long time. regards, Siddhartha On Tue, Mar 31, 2009 at 3:55 PM, Bettina Eick <[email protected]> wrote:
> > Dear Sidhartha, > > starting from your presentation, you can do the following: > > # define your group as fp-group in GAP > F := FreeGroup(3); x1 := F.1; x2 := F.2; y := F.3; > r := [x1^8, x2^8, y^4/(x2^4), x1^y/(x1*x2), x2^y/(x1^-2*x2^3), > Comm(x2,x1)]; > G := F/r; > > # get a pc-presentation for your group > H := Image(EpimorphismQuotientSystem(PQuotient(G,2,6))); > > # identify it in the SmallGroups Library > l := IdGroup(H); > > This yields l = [256, 519] and it means that your group is > isomorphic to SmallGroup(256, 519). > > Best wishes, > Bettina > > > > _______________________________________________ Forum mailing list [email protected] http://mail.gap-system.org/mailman/listinfo/forum
