OK I found few things, I thought I'll write it here to be recorded in the history. First of all, sage is happy with this:
quoKer = F2.Subgroup([F2.1^4, F2.2^2, (F2.1 *F2.2)^2]) myD4 = F2/quoKer But, I'll end up with an error from Gap that I'm generating more than 250000 cosets. Basically the quotient is not finite. But then, I can do this: F2 = gap.FreeGroup(a, b) Rel := gap.List([F2.1^4, F2.2^2, (F2.1*F2.2)^2]) myD4 = F2/Rel Which works. I'm myself surprised that taking quotient by a relation and the quotient by subgroup is different. But it makes sense, because, for example taking quotient by relation always results in a group but not taking quotient with a subgroup. I'll think about a more mathematical explanation. On Dec 12, 4:11 pm, "syd.lavas...@gmail.com" <syd.lavas...@gmail.com> wrote: > Hi there, > > I would like to make a finite group using gen/relation. As far as I > read my only chance is to use the Gap wrapper. So I can make the > group, I can also make the subgroup but the '/' of Gap doesn't work in > sage. So what's the wrapper function for that '/' notation: > > F2 = gap.FreeGroup(a, b) > quoKer = F2.Subgroup([F2.1^2, F2.2^3, F2.1 *F2.2]) > > Then? > > Thanks a lot. -- To post to this group, send email to sage-support@googlegroups.com To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-support URL: http://www.sagemath.org
