\( \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.1 - Algebraic Kernel
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
AlgebraicKernel_d_2::NumberOfSolutions_2 Concept Reference
Bivariate Algebraic Kernel

Definition

Computes the number of real solutions of the given bivariate polynomial system.

Refines:
AdaptableBinaryFunction
See Also
AlgebraicKernel_d_2::ConstructAlgebraicReal_2

Types

A model of this type must provide:

typedef
AlgebraicKernel_d_2::size_type 		result_type
 
typedef
AlgebraicKernel_d_2::Polynomial_2 		first_argument_type
 
typedef
AlgebraicKernel_d_2::Polynomial_2 		second_argument_type
 

Operations

result_type operator() (first_argument_type f, second_argument_type g)
 Returns the number of real solutions of the bivariate polynomial system \( (f,g)\). More...
 

Member Function Documentation

result_type AlgebraicKernel_d_2::NumberOfSolutions_2::operator() ( first_argument_type  f,
second_argument_type  g 
)

Returns the number of real solutions of the bivariate polynomial system \( (f,g)\).

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