\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)
CGAL 4.12.2 - Algebraic Kernel
List of all members
AlgebraicKernel_d_1::ApproximateAbsolute_1 Concept Reference
Algebraic Kernel Reference » Concepts » Univariate Algebraic Kernel

Definition

A model of AlgebraicKernel_d_1::ApproximateAbsolute_1 is an AdaptableBinaryFunction that computes an approximation of an AlgebraicKernel_d_1::Algebraic_real_1 value with respect to a given absolute precision.

Refines:
AdaptableBinaryFunction
See also
AlgebraicKernel_d_1::ApproximateRelative_1

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 int second_argument_type
 

Operations

result_type operator() (const first_argument_type &x, const second_argument_type &a)
 The function computes a pair \( p\) of AlgebraicKernel_d_1::Bound, where \( p.first\) represents the lower approximation and \( p.second\) represents the upper approximation. More...
 

Member Function Documentation

◆ operator()()

result_type AlgebraicKernel_d_1::ApproximateAbsolute_1::operator() ( const first_argument_type &  x,
const second_argument_type &  a 
)

The function computes a pair \( p\) of AlgebraicKernel_d_1::Bound, where \( p.first\) represents the lower approximation and \( p.second\) represents the upper approximation.

The pair \( p\) approximates the given value \( x\) with respect to the given absolute precision \( a\).

Postcondition
\( p.first <= x \)
\( x <= p.second \)
\( (x - p.first) <= 2^{-a} \)
\( (p.second - x) <= 2^{-a} \)