CGAL 6.1.2 - Algebraic Kernel: AlgebraicKernel_d_2::ComputePolynomialX_2 Concept Reference

CGAL 6.1.2 - Algebraic Kernel

Loading...
Searching...
No Matches
List of all members
AlgebraicKernel_d_2::ComputePolynomialX_2 Concept Reference
Reference Manual » Concepts » Bivariate Algebraic Kernel

## Definition

Computes a univariate square free polynomial \( p\), such that the first coordinate of a given `AlgebraicKernel_d_2::Algebraic_real_2` is a real root of \( p\).

Refines
  `AdaptableUnaryFunction`

See also
  `AlgebraicKernel_d_2::ComputePolynomialY_2`

## Types
typedef AlgebraicKernel_d_2::Polynomial_1 | result_type
typedef AlgebraicKernel_d_2::Algebraic_real_2 | argument_type

## Operations
result_type | operator() (argument_type a)
| Computes a univariate square free polynomial \( p\), such that the first coordinate of \( a\) is a real root of \( p\).