Computes an isolating interval for the second coordinate of an AlgebraicKernel_d_2::Algebraic_real_2
with respect to the real roots of a univariate polynomial.
fo (
first_argument_type a
,
second_argument_type p
)
Computes an open isolating interval I=(l,u) for the second coordinate y of a with respect to the real roots of p.
It is not required that x is a root of p.