I meant to say that I have a presentation for it, though not the one I want.
However, I think I sort of understand how to do this. Namely, I can add a generator, say x, to the given presentation of G, and add the relation x^-1*(...), where "(...)" is what I want the generator to be in terms of the given presentation. Then, I can use TzGo via gap to simplify the presentation, though sometimes TzGo ends up removing the generator I added... On Friday, April 4, 2014 12:43:59 AM UTC-4, Will wrote: > > Suppose I have a group G, which I know is finitely presentable and > infinite. > > Suppose I have a small list of generators for G (in this case, 5). How can > I find a presentation for G using those generators? > > thanks, > > - will > > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
