You want
f:=FreeGroupOfFpGroup(G);
FreeGeneratorsOfFpGroup(G) gives the generators of f directly. It is
equivalent to GeneratorsOfGroup(FreeGroupOfFpGroup(G)) or
List(GeneratorsOfGroup(G),UnderlyingElement);
On 2008-10-28, at 22:44, Josh Roberts wrote:
Suppose I give a finitely presented group F/R, where
F:=FreeGroup("a","b",etc) and R is a list of words in "a", "b",
etc. I then
use TzGoGo to simplify the presentation. I can do
G:=FpGroupPresentation to
get the new presentation. But how can I obtain the generators and
relators
again? If I do f:=GeneratorsofGroup(G) for a list of the generators
and
r:=RelatorsOfFpGroup(G) for a list of the relators f/r gives an error.
I understand that this is caused by f being a list and not actually
a free
group. But is there a way to build the group using the new, simplifed
presentation? I want to be able to use f/r and get my group.
Thanks,
Josh
--
Josh Roberts, Graduate Student
University of Kentucky - Mathematics
http://www.ms.uky.edu/~jroberts
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
