[GAP Forum] "Knuth-Bendix Rewriting Confluent" hangs

Christian Sievers sievers at math2.nat.tu-bs.de
Thu Apr 29 18:32:14 BST 2004

Dear Robert, dear Forum,

Robert Eckert asked about the FGA package:

> Are there some useful new commands in there?  All I see written up is
> "Centralizer".

I certainly hope that the commands in the FGA package are useful.  It mainly
installs methods for operations that GAP already knew, but could not compute
for free groups.  I am not sure if these method installations should be called
"new commands".  In any case, they provide new functionality.

Most of the methods work with finitely generated subgroups of free groups.
They allow a (constructive) membership test and compute the rank, the index,
the normalizer, the centralizer and (a new command: FreeGeneratorsOfGroup) a
free generating set of such subgroups.  It is also possible to compute their
intersection and to test conjugacy of elements or subgroups.  Finally, the
package also provides a presentation of the automorphism group of a free

Alas, I don't see how this might help you to solve your problem.  If you have
an idea and need help with the package, please feel free to ask me.

All the best
Christian Sievers

More information about the Forum mailing list