[GAP Forum] AssocWordByLetterRep

[Dmytro Savchuk]

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