CGAL 4.5 - 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.5 - Algebraic Kernel

•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages

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...