[GAP Forum] Fp group

[Victor D. Mazurov]

Dear GAP forum,

Suppose that GAP shows (using coset enumeration algorithm) that a group
$G=<F| R>$ where $F$ is a finitely generated free group and $R$ is a finite
set of words in $F$ is finite. Let $w\in F$ such that the image of  $w$ in
$G$ is 1.  How one can find (using GAP) some $r_1,...,r_m\in (R\cup R^{-1})$
and $t_1,...,t_m\in F$ such that $w=r_1^{t_1}\cdots r_m^{t_m}$? Best wishes,
V.D. Mazurov

-- 
Victor Danilovich Mazurov
Institute of Mathematics
Novosibirsk 630090
Russia