Univariate real root isolation in an extension field

Adam Strzebonski, Elias Tsigaridas

We present algorithmic, complexity and implementation results for the problem of isolating the real roots of a univariate polynomial in $B_{\alpha }\in L[y]$, where $L=\QQ(α)$ is a simple…