FunctionObjectConcept

AlgebraicKernel_d_2::Isolate_2

Definition

Computes an isolating box for a given AlgebraicKernel_d_2::Algebraic_real_2.

Refines

AdaptableFunctor

Types

typedef CGAL::cpp0x::array<AlgebraicKernel_d_1::Bound, 4>
result_type;

Operations

result_type fo ( AlgebraicKernel_d_2::Algebraic_real_2 a , AlgebraicKernel_d_2::Polynomial_2 f )
The returned CGAL::cpp0x::array [xl,xu,yl,yu] represents an open isolating box B=(xl,xu) × (yl,yu) for a with respect to f.
Precondition: f(a) 0
Postcondition: a B.
Postcondition: { r | f(r)=0 } B = ∅.

result_type
fo ( AlgebraicKernel_d_2::Algebraic_real_2 a ,
AlgebraicKernel_d_2::Polynomial_2 f ,
AlgebraicKernel_d_2::Polynomial_2 g )
The returned CGAL::cpp0x::array [xl,xu,yl,yu] represents an open isolating box B=(xl,xu) × (yl,yu) for a with respect to the common solutions of f and g. It is not necessary that a is a common solution of f and g.
Postcondition:  a B.
Postcondition:  { r | f(r)=g(r)=0 } B {{a},∅}.

See Also

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