[GAP Forum] Rewriting steps in fp groups

[GH UQ]

On Wed, 20 Jun 2007, Gábor Nagy wrote:

> I have a relatively small fp group G of order 3840 given by 2 generators and 
> 6 relators. According to GAP, a given word w of G is equal to One(G). 
> However, for a publication, I want to show w=1 in a "human readable" format.
>
> Therefore I need the steps how GAP rewrites w to 1.
>
> My question is if it is possible to output the steps of the rewriting process 
> in GAP?
>
Not yet. A package called PEACE (Proof Extraction After Coset Enumeration)
which is in the process of being finalized for submission as a Gap
package can (in principle) do this.  I will try to see how well it goes
on this problem.

Best wishes...  George Havas   http://www.itee.uq.edu.au/~havas