AlgebraicKernel_d_1::Isolate

Navigation: Up Table of Contents Package Overview Bibliography Index Title Acknowledging CGAL

AlgebraicKernel_d_1::Isolate_1

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

AdaptableBinaryFunction

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;

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.