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

_______________________________________________
Forum mailing list
Forum@mail.gap-system.org
http://mail.gap-system.org/mailman/listinfo/forum

Reply via email to