1: \begin{abstract}

2: Let $F$ be a finitely generated free group, and $H\sgr F$ a finitely generated subgroup. An equation for an element $g\in F$ with coefficients in $H$ is an element $w(x)\in H*\gen{x}$ such that $w(g)=1$ in $F$; the degree of the equation is the number of occurrences of $x$ and $x^{-1}$ in the cyclic reduction of $w(x)$. Given an element $g\in F$, we consider the ideal $\fI_g\subseteq H*\gen{x}$ of equations for $g$ with coefficients in $H$; we study the structure of $\fI_g$ using context-free languages.

3: 

4: We describe a new algorithm that determines whether $\fI_g$ is trivial or not; the algorithm runs in polynomial time. We also describe a polynomial-time algorithm that, given $d\in\bN$, decides whether or not the subset $\fJ_{g,d}\subseteq\fI_g$ of all degree-$d$ equations is empty. We provide a polynomial-time algorithm that computes the minimum degree $d_{\min}$ of a non-trivial equation in $\fI_g$. We provide a sharp upper bound on $d_{\min}$.

5: 

6: Finally, we study the growth of the number of (cyclically reduced) equations in $\fI_g$ and in $\fJ_{g,d}$ as a function of their length. We prove that this growth is either polynomial or exponential, and we provide a polynomial-time algorithm that computes the type of growth (including the degree of the growth if it's polynomial).

7: \end{abstract}