On Isolating Roots in a Multiple Field Extension

Christina Katsamaki, Fabrice Rouillier

We address univariate root isolation when the polynomial's coefficients are in a multiple field extension. We consider a polynomial $F\in L[Y]$, where $L$ is a multiple algebraic…