Computes an isolating interval for the first 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 first coordinate x of a with respect to the real roots of p.
It is not required that x is a root of p.
