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

[Christian Sievers]

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
group.

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