CGAL::Algebraic_kernel_rs_gmpq_d_1

#include <CGAL/Algebraic_kernel_rs_gmpq_d_1.h>

Definition

This univariate algebraic kernel uses the RS library to perform rational univariate polynomial root isolation. It is a model of the AlgebraicKernel_d_1 concept. Due to the fact that RS can only isolate integer polynomials, the operations of this kernel have the overhead of converting the polynomials to integer.

Types

Algebraic_kernel_rs_gmpq_d_1::Coefficient
It is a typedef to CGAL::Gmpq.


Algebraic_kernel_rs_gmpq_d_1::Polynomial_1
It is defined as CGAL::Polynomial<CGAL::Gmpq>.


Algebraic_kernel_rs_gmpq_d_1::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_rs_gmpq_d_1::Bound
Since the isolating intervals of the roots have type CGAL::Gmpfi, the bounds have type CGAL::Gmpfr.


Algebraic_kernel_rs_gmpq_d_1::Multiplicity_type
The multiplicity is an int.

Is Model for the Concepts

AlgebraicKernel_d_1

See Also

Algebraic_kernel_rs_gmpz_d_1