[GAP Forum] AssocWordByLetterRep

Dmytro Savchuk savchuk at math.tamu.edu
Thu Dec 21 18:23:05 GMT 2006


Dear GAP forum,

I have a question about the function AssocWordByLetterRep. Here is a
code:

gap> f:=FreeGroup(2);
<free group on the generators [ f1, f2 ]>

gap> w:=AssocWordByLetterRep(FamilyObj(f.1),[1,-1]);
f1^0

gap> IsOne(w);
false

Should it be like that or it should return <identity ...>? And if it
works correctly, than is there an easy way to reduce f1^0 to
<identity ...>? (of course, we can reduce [1,-1] before applying
AssocWordByLetterRep, but maybe there is something more natural?)

Thank you,
Dmytro Savchuk



More information about the Forum mailing list