Dear Forum,
first, many thanks to Tim Hsu for answering my initial question
on free groups. Now, I have a little problem with the implementation.

Let F be a finitely generated free group and H a finite index subgroup
of F, given by finitely many generators (words in F).
The command FactorCosetOperation(F,H) works well, but what I need
is something like
FactorCosetOperation(F, NormalClosure(F,H)),
but NormalClosure(F,H) doesn't work.
What can I do?
Phil

_________________________________________________________________
Downloaden Sie MSN Explorer kostenlos unter http://explorer.msn.de/intl.asp