CGAL::Algebraic_kernel_d_1_RS_Gmpz

Definition

This univariate algebraic kernel uses the RS library to perform integer univariate polynomial root isolation. It is a model of the AlgebraicKernel_d_1 concept.

#include <CGAL/Algebraic_kernel_d_1_RS_Gmpz.h>

Types

Algebraic_kernel_d_1_RS_Gmpz::Coefficient
It is a typedef to CGAL::Gmpz.


Algebraic_kernel_d_1_RS_Gmpz::Polynomial_1
It is defined as CGAL::Polynomial<CGAL::Gmpz>.


Algebraic_kernel_d_1_RS_Gmpz::Algebraic_real_1
Type that represents the real roots of integer univariate polynomials, containing a pointer to the polynomial of which the represented algebraic number is root and and a CGAL::Gmpfi isolating interval.


Algebraic_kernel_d_1_RS_Gmpz::Bound
Since the isolating intervals of the roots have type CGAL::Gmpfi, the bounds have type CGAL::Gmpfr.


Algebraic_kernel_d_1_RS_Gmpz::Multiplicity_type
The multiplicity is an int.

Is Model for the Concepts

AlgebraicKernel_d_1.

See Also

Algebraic_kernel_d_1_RS_Gmpz