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

Concepts

conceptAlgebraicKernel_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...
 
conceptAlgebraicKernel_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...
 
conceptAlgebraicKernel_d_1::BoundBetween_1
 Computes a number of type AlgebraicKernel_d_1::Bound in-between two AlgebraicKernel_d_1::Algebraic_real_1 values. More...
 
conceptAlgebraicKernel_d_1::Compare_1
 Compares AlgebraicKernel_d_1::Algebraic_real_1 values. More...
 
conceptAlgebraicKernel_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...
 
conceptAlgebraicKernel_d_1::ConstructAlgebraicReal_1
 Constructs AlgebraicKernel_d_1::Algebraic_real_1. More...
 
conceptAlgebraicKernel_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...
 
conceptAlgebraicKernel_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...
 
conceptAlgebraicKernel_d_1::IsSquareFree_1
 Computes whether the given univariate polynomial is square free. More...
 
conceptAlgebraicKernel_d_1::IsZeroAt_1
 Computes whether an AlgebraicKernel_d_1::Polynomial_1 is zero at a given AlgebraicKernel_d_1::Algebraic_real_1. More...
 
conceptAlgebraicKernel_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...
 
conceptAlgebraicKernel_d_1::MakeSquareFree_1
 Returns a square free part of a univariate polynomial. More...
 
conceptAlgebraicKernel_d_1::NumberOfSolutions_1
 Computes the number of real solutions of the given univariate polynomial. More...
 
conceptAlgebraicKernel_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...
 
conceptAlgebraicKernel_d_1::Solve_1
 Computes the real roots of a univariate polynomial. More...
 
conceptAlgebraicKernel_d_1::SquareFreeFactorize_1
 Computes a square free factorization of an AlgebraicKernel_d_1::Polynomial_1. More...
 
conceptAlgebraicKernel_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...