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

AlgebraicKernel_d_2::IsolateX_2

Definition

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.

Refines

AdaptableBinaryFunction

Types

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

typedef AlgebraicKernel_d_2::Algebraic_real_2
first_argument_type;

typedef AlgebraicKernel_d_2::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 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.
Postcondition:  x ∈ I.
Postcondition:  p(α) ≠ 0 | ∀ α ∈ I\x.

See Also

AlgebraicKernel_d_2::IsolateY_2
AlgebraicKernel_d_2::ComputePolynomialX_2
AlgebraicKernel_d_2::ComputePolynomialY_2

Next: AlgebraicKernel_d_2::IsolateY_2
Navigation: Up   Table of Contents   Package Overview   Bibliography   Index   Title   Acknowledging CGAL
CGAL Open Source Project. Release 3.7. 14 October 2010.