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

• 该算法同样适用于二个定义多项式均仅含单实根的实代数数。