Periodic Jacobi-Perron expansions associated with a unit. II (Q2199505)

Let \(K\) be an algebraic number field of degree \(n+1\) over \(\mathbb{Q}\). The Jacobi-Perron algorithm (JPA) is a generalization of the usual continued fraction algorithm and starts with a vector \(\alpha^{(0)}= (\alpha_1^{(0)}, \alpha_2^{(0)}, \dots, \alpha_n^{(0)}) \in\mathbb{R}^n \quad (n\ge 1)\) and defines for \(v\ge 1\) the vectors \((\alpha_1^{(v)}, \alpha_2^{(v)}, \dots, \alpha_n^{(v)}) \) and \((a_1^{(v)}, a_2^{(v)}, \dots, a_n^{(v)})\) where \(a_i^{(v)}=[\alpha_i^{(v)}]\). If the JPA is periodic of length \(\ell\), then \(\varepsilon = \prod^{\ell -1}_{v=0} \alpha_n^{(v)}\) is a Hasse-Bernstein unit and we say that the JPA is associated with the unit \(\varepsilon\). Perron defined vectors \(A^{(v)}\) allowing the unit \(\varepsilon\) to be written \(A_0^{(\ell)}+\alpha_1A_0^{(\ell +1)}+dots +\alpha_n A_0^{(\ell +n)}\), the case \(n=1\) giving the unit obtained via the continued fraction algorithm. Adam and Rhin previously proved that there exist only a finite number of \(n\)-tuples of \(\mathbf{K}^n\) associated with \(\varepsilon\) and whose JPA expansion is purely periodic. In the paper under review, the authors describe an algorithm which allows to list all these \(n\)-tuples associated to \(\varepsilon\).