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
_______________________________________________
Forum mailing list
[email protected]
http://mail.gap-system.org/mailman/listinfo/forum
