Processing math: 100%
CGAL 5.1.3 - Algebraic Kernel
All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Modules Pages
AlgebraicKernel_d_2::NumberOfSolutions_2 Concept Reference

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

◆ operator()()

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.