CGAL 6.1.1 - Algebraic Kernel

Loading...
Searching...
No Matches
Modules
Reference Manual

##

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-26a
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