> < ^ Date: Fri, 13 Jan 1995 16:30:00 +0000
> < ^ From: Chris Wensley <c.d.wensley@bangor.ac.uk >
^ Subject: MappedWord etc.

I am trying to use WORD functions on the elements of a finitely
presented group - but perhaps this is not allowed?
The following log file illustrates the problem:

gap> F:=FreeGroup(4,"F");;
gap> rels := [ F.1^2, F.2^3, (F.1*F.2)^2, F.3, F.4 ];;

gap> S3 := F/rels;;
gap> el := Elements(S3);
[ IdWord, F.1, F.2, F.1*F.2, F.2*F.1, F.2^2 ]

gap> w := el[4];
F.1*F.2
gap> IsWord(w);
true

gap> MappedWord( w, [F.1,F.2], [F.3,F.4] );
F.1*F.2
                                   !! the answer I wanted was:  F.3*F.4
gap> gens := F.generators;;
gap> IsWord(gens[1]);
true
gap> IsWord(el[2]);
true
gap> gens[1];
F.1
gap> el[2];
F.1
gap> Position(gens,F.1);
1
gap> Position(gens,el[2]);
false                              !! and here I expected:  1

Chris Wensley
University of Wales at Bangor
mas023@uk.ac.bangor


> < [top]