In the fact, the algorithm is also fitted for the real algebraic numbers which have simple real roots in both definitional polynomials.