CGAL::Algebraic_kernel_d_1_RS_Gmpq

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.

#include <CGAL/Algebraic_kernel_d_1_RS_Gmpq.h>

Types

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


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


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


Algebraic_kernel_d_1_RS_Gmpq::Multiplicity_type
The multiplicity is an int.

Is Model for the Concepts

AlgebraicKernel_d_1

See Also

Algebraic_kernel_d_1_RS_Gmpz