Algebraic Kernel Reference

Eric Berberich, Michael Hemmer, Michael Kerber, Sylvain Lazard, Luis Peñaranda, and Monique Teillaud

Real solving of polynomials is a fundamental problem with a wide application range. This package is targeted to provide black-box implementation algorithms to determine, compare and approximate real roots of univariate polynomials and bivariate polynomial systems. Such a black-box is called an Algebraic Kernel. So far the package only provides models for the univariate kernel. Nevertheless, it already defines concepts for the bivariate kernel, since this settles the interface for upcoming implementations.

Introduced in: CGAL 3.6
BibTeX: cgal:bht-ak-24b
License: LGPL

Classified Reference Pages

Concepts

Univariate Algebraic Kernel

• AlgebraicKernel_d_1
• AlgebraicKernel_d_1::ConstructAlgebraicReal_1
• AlgebraicKernel_d_1::ComputePolynomial_1
• AlgebraicKernel_d_1::Isolate_1
• AlgebraicKernel_d_1::IsSquareFree_1
• AlgebraicKernel_d_1::MakeSquareFree_1
• AlgebraicKernel_d_1::SquareFreeFactorize_1
• AlgebraicKernel_d_1::IsCoprime_1
• AlgebraicKernel_d_1::MakeCoprime_1
• AlgebraicKernel_d_1::Solve_1
• AlgebraicKernel_d_1::NumberOfSolutions_1
• AlgebraicKernel_d_1::SignAt_1
• AlgebraicKernel_d_1::IsZeroAt_1
• AlgebraicKernel_d_1::Compare_1
• AlgebraicKernel_d_1::BoundBetween_1
• AlgebraicKernel_d_1::ApproximateAbsolute_1
• AlgebraicKernel_d_1::ApproximateRelative_1

Bivariate Algebraic Kernel

• AlgebraicKernel_d_2
• AlgebraicKernel_d_2::ConstructAlgebraicReal_2
• AlgebraicKernel_d_2::ComputePolynomialX_2
• AlgebraicKernel_d_2::ComputePolynomialY_2
• AlgebraicKernel_d_2::Isolate_2
• AlgebraicKernel_d_2::IsolateX_2
• AlgebraicKernel_d_2::IsolateY_2
• AlgebraicKernel_d_2::IsSquareFree_2
• AlgebraicKernel_d_2::MakeSquareFree_2
• AlgebraicKernel_d_2::SquareFreeFactorize_2
• AlgebraicKernel_d_2::IsCoprime_2
• AlgebraicKernel_d_2::MakeCoprime_2
• AlgebraicKernel_d_2::Solve_2
• AlgebraicKernel_d_2::NumberOfSolutions_2
• AlgebraicKernel_d_2::SignAt_2
• AlgebraicKernel_d_2::IsZeroAt_2
• AlgebraicKernel_d_2::ComputeX_2
• AlgebraicKernel_d_2::ComputeY_2
• AlgebraicKernel_d_2::CompareX_2
• AlgebraicKernel_d_2::CompareY_2
• AlgebraicKernel_d_2::CompareXY_2
• AlgebraicKernel_d_2::ApproximateAbsoluteX_2
• AlgebraicKernel_d_2::ApproximateRelativeX_2
• AlgebraicKernel_d_2::ApproximateAbsoluteY_2
• AlgebraicKernel_d_2::ApproximateRelativeY_2
• AlgebraicKernel_d_2::BoundBetweenX_2
• AlgebraicKernel_d_2::BoundBetweenY_2

Models

• CGAL::Algebraic_kernel_d_1<Coeff>
• CGAL::Algebraic_kernel_d_2<Coeff>

Modules
	Concepts
	Models