AlgebraicKernel_d_1::Isolate_1

Definition

Computes an open isolating interval for an AlgebraicKernel_d_1::Algebraic_real_1 with respect to the real roots of a given univariate polynomial.

Refines

AdaptableBinaryFunction

Types

typedef std::pair<AlgebraicKernel_d_1::Bound,AlgebraicKernel_d_1::Bound>
result_type;

typedef AlgebraicKernel_d_1::Algebraic_real_1
first_argument_type;

typedef AlgebraicKernel_d_1::Polynomial_1
second_argument_type;

Operations

result_type fo ( first_argument_type a , second_argument_type p )
Computes an open isolating interval I=(l,u) for a with respect to the real roots of p. It is not required that a is a root of p.
Postcondition:  a I.
Postcondition:  p(x) 0 | x I\a.

See Also

AlgebraicKernel_d_1::ComputePolynomial_1