CGAL 4.7 - Algebraic Kernel: AlgebraicKernel_d_2::ConstructAlgebraicReal_2 Concept Reference

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

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
AlgebraicKernel_d_2::ConstructAlgebraicReal_2 Concept Reference
Bivariate Algebraic Kernel

## Definition

Constructs an `AlgebraicKernel_d_2::Algebraic_real_2`.

Refines:
  `AdaptableFunctor`

See Also
  `AlgebraicKernel_d_1::ConstructAlgebraicReal_1`

## Types

typedef AlgebraicKernel_d_2::Algebraic_real_2 | result_type

## Operations

result_type | operator() (int x, int y)
| introduces an `AlgebraicKernel_d_2::Algebraic_real_2` initialized to \( (x,y)\).
result_type | operator() (AlgebraicKernel_d_2::Bound x, AlgebraicKernel_d_2::Bound y)
| introduces an `AlgebraicKernel_d_2::Algebraic_real_2` initialized to \( (x,y)\).
result_type | operator() (AlgebraicKernel_d_2::Coefficient x, AlgebraicKernel_d_2::Coefficient y)
| introduces an `AlgebraicKernel_d_2::Algebraic_real_2` initialized to \( (x,y)\).
result_type | operator() (AlgebraicKernel_d_2::Algebraic_real_1 x, AlgebraicKernel_d_2::Algebraic_real_1 y)
| introduces an `AlgebraicKernel_d_2::Algebraic_real_2` initialized to \( (x,y)\).
result_type | operator() (AlgebraicKernel_d_2::Polynomial_2 f, AlgebraicKernel_d_2::Polynomial_2 g, AlgebraicKernel_d_2::size_type i)
| introduces an `AlgebraicKernel_d_2::Algebraic_real_2` initialized to the \( i\)-th real common solution of \( f\) and \( g\), with respect to `xy`-lexicographic order. More...
result_type | operator() (AlgebraicKernel_d_2::Polynomial_2 f, AlgebraicKernel_d_2::Polynomial_2 g, AlgebraicKernel_d_2::Bound x_l, AlgebraicKernel_d_2::Bound x_u, AlgebraicKernel_d_2::Bound y_l, AlgebraicKernel_d_2::Bound y_u)
| introduces an `AlgebraicKernel_d_2::Algebraic_real_2` initialized to the only real intersection of \( f\) and \( g\) in the open box \( B = (x_l,x_u)\times(y_l,y_u)\). More...

## Member Function Documentation

result_type AlgebraicKernel_d_2::ConstructAlgebraicReal_2::operator() | ( | AlgebraicKernel_d_2::Polynomial_2 | f,
|  | AlgebraicKernel_d_2::Polynomial_2 | g,
|  | AlgebraicKernel_d_2::size_type | i
| ) |  |

introduces an `AlgebraicKernel_d_2::Algebraic_real_2` initialized to the \( i\)-th real common solution of \( f\) and \( g\), with respect to `xy`-lexicographic order.

The index starts at \( 0\), that is, the system must have at least \( i+1\) real solutions.

Precondition
  \( f\) is square free.
  \( g\) is square free.
  \( f\) and \( g\) are coprime.

result_type AlgebraicKernel_d_2::ConstructAlgebraicReal_2::operator() | ( | AlgebraicKernel_d_2::Polynomial_2 | f,
|  | AlgebraicKernel_d_2::Polynomial_2 | g,
|  | AlgebraicKernel_d_2::Bound | x_l,
|  | AlgebraicKernel_d_2::Bound | x_u,
|  | AlgebraicKernel_d_2::Bound | y_l,
|  | AlgebraicKernel_d_2::Bound | y_u
| ) |  |

introduces an `AlgebraicKernel_d_2::Algebraic_real_2` initialized to the only real intersection of \( f\) and \( g\) in the open box \( B = (x_l,x_u)\times(y_l,y_u)\).

Precondition
  \( x_l < x_u\)
  \( y_l < y_u\)
  \( f\) is square free.
  \( g\) is square free.
  \( f\) and \( g\) are coprime.
  \( f\) and \( g\) have exactly one common solution in \( B\)
  \( f\) and \( g\) have no common solution on \( \partial B\)