Solving genus zero Diophantine equations over number fields (Q607162): Difference between revisions

Let \(K\) be an algebraic number field and \(F(X,Y)\) an absolutely irreducible polynomial with coefficients in \(K\) such that the curve defined by the equation \(F(X,Y)=0\) is rational. Continuing the works of \textit{D. Poulakis} and \textit{E. Voskos} [J. Symb. Comput. 30, No. 5, 573---582 (2000; Zbl 0985.11051), J. Symb. Comput. 33, No. 4, 479--491 (2002; Zbl 0998.11014)] the authors of the present paper give an algorithm to determine all solutions of \(F(X,Y)=0\) in algebraic integers of \(K\). The paper is illustrated by interesting examples. The algebraic number theory procedures necessary for these calculations are available in the well known packages.