CGAL 4.7 - Algebraic Kernel: Univariate Algebraic Kernel

\( \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.7 - Algebraic Kernel

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
Classes
Univariate Algebraic Kernel
Concepts

##

## Concepts

concept | AlgebraicKernel_d_1::ApproximateAbsolute_1
| 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. More...
concept | AlgebraicKernel_d_1::ApproximateRelative_1
| A model of `AlgebraicKernel_d_1::ApproximateRelative_1` is an `AdaptableBinaryFunction` that computes an approximation of an `AlgebraicKernel_d_1::Algebraic_real_1` value with respect to a given relative precision. More...
concept | AlgebraicKernel_d_1::BoundBetween_1
| Computes a number of type `AlgebraicKernel_d_1::Bound` in-between two `AlgebraicKernel_d_1::Algebraic_real_1` values. More...
concept | AlgebraicKernel_d_1::Compare_1
| Compares `AlgebraicKernel_d_1::Algebraic_real_1` values. More...
concept | AlgebraicKernel_d_1::ComputePolynomial_1
| Computes a square free univariate polynomial \( p\), such that the given `AlgebraicKernel_d_1::Algebraic_real_1` is a root of \( p\). More...
concept | AlgebraicKernel_d_1::ConstructAlgebraicReal_1
| Constructs `AlgebraicKernel_d_1::Algebraic_real_1`. More...
concept | AlgebraicKernel_d_1::IsCoprime_1
| Determines whether a given pair of univariate polynomials \( p_1, p_2\) is coprime, namely if \( \deg({\rm gcd}(p_1 ,p_2)) = 0\). More...
concept | AlgebraicKernel_d_1::Isolate_1
| Computes an open isolating interval for an `AlgebraicKernel_d_1::Algebraic_real_1` with respect to the real roots of a given univariate polynomial. More...
concept | AlgebraicKernel_d_1::IsSquareFree_1
| Computes whether the given univariate polynomial is square free. More...
concept | AlgebraicKernel_d_1::IsZeroAt_1
| Computes whether an `AlgebraicKernel_d_1::Polynomial_1` is zero at a given `AlgebraicKernel_d_1::Algebraic_real_1`. More...
concept | AlgebraicKernel_d_1::MakeCoprime_1
| Computes for a given pair of univariate polynomials \( p_1\), \( p_2\) their common part \( g\) up to a constant factor and coprime parts \( q_1\), \( q_2\) respectively. More...
concept | AlgebraicKernel_d_1::MakeSquareFree_1
| Returns a square free part of a univariate polynomial. More...
concept | AlgebraicKernel_d_1::NumberOfSolutions_1
| Computes the number of real solutions of the given univariate polynomial. More...
concept | AlgebraicKernel_d_1::SignAt_1
| Computes the sign of a univariate polynomial `AlgebraicKernel_d_1::Polynomial_1` at a real value of type `AlgebraicKernel_d_1::Algebraic_real_1`. More...
concept | AlgebraicKernel_d_1::Solve_1
| Computes the real roots of a univariate polynomial. More...
concept | AlgebraicKernel_d_1::SquareFreeFactorize_1
| Computes a square free factorization of an `AlgebraicKernel_d_1::Polynomial_1`. More...
concept | AlgebraicKernel_d_1
| A model of the `AlgebraicKernel_d_1` concept is meant to provide the algebraic functionalities on univariate polynomials of general degree \( d\). More...