"Fossies" - the Fresh Open Source Software Archive

Member "doc_html/Algebraic_kernel_d/classCGAL_1_1Algebraic__kernel__d__1.html" (8 Nov 2019, 19967 Bytes) of package /linux/misc/CGAL-4.14.2-doc_html.tar.xz:

Caution: In this restricted "Fossies" environment the current HTML page may not be correctly presentated and may have some non-functional links. You can here alternatively try to browse the pure source code or just view or download the uninterpreted raw source code. If the rendering is insufficient you may try to find and view the page on the CGAL-4.14.2-doc_html.tar.xz project site itself.

\( \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.14.2 - Algebraic Kernel
CGAL::Algebraic_kernel_d_1< Coeff > Class Template Reference

#include <CGAL/Algebraic_kernel_d_1.h>


The class represents an algebraic real root by a square free polynomial and an isolating interval that uniquely defines the root.

The template argument Coeff determines the coefficient type of the kernel, which is also the coefficient type of the supported polynomials.

Currently, the following coefficient types are supported:


The template argument type can also be set to Sqrt_extension<NT,ROOT>, where NT is one of the types listed above. ROOT should be one of the integer types. See also the documentation of Sqrt_extension<NT,ROOT>.

The current method to isolate roots is the bitstream Descartes method presented in [6]. The used method to refine the approximation of an algebraic real root is a slightly modified (filtered) version of the one presented in [1]. The method has quadratic convergence.

Is Model Of:
See also
Algebraic_kernel_d/Compare_1.cpp, Algebraic_kernel_d/Construct_algebraic_real_1.cpp, Algebraic_kernel_d/Isolate_1.cpp, Algebraic_kernel_d/Sign_at_1.cpp, and Algebraic_kernel_d/Solve_1.cpp.


typedef unspecified_type Coefficient
 Same type as the template argument Coeff.
typedef unspecified_type Polynomial_1
 A model of AlgebraicKernel_d_1::Polynomial_1.
typedef unspecified_type Algebraic_real_1
 A model of AlgebraicKernel_d_1::Algebraic_real_1.
typedef unspecified_type Bound
 The choice of Coeff also determines the provided bound type. More...
typedef unspecified_type Multiplicity_type
 The multiplicity type is int.

Member Typedef Documentation

◆ Bound

template<typename Coeff >
typedef unspecified_type CGAL::Algebraic_kernel_d_1< Coeff >::Bound

The choice of Coeff also determines the provided bound type.

In case of Coeff is: