AlgebraicKernel_d_2::NumberOfSolutions_2 Class Reference

#include <Concepts/AlgebraicKernel_d_2--NumberOfSolutions_2.h>

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 Typedef Documentation

first_argument_type

typedef AlgebraicKernel_d_2::Polynomial_2 AlgebraicKernel_d_2::NumberOfSolutions_2::first_argument_type

result_type

typedef AlgebraicKernel_d_2::size_type AlgebraicKernel_d_2::NumberOfSolutions_2::result_type

second_argument_type

typedef AlgebraicKernel_d_2::Polynomial_2 AlgebraicKernel_d_2::NumberOfSolutions_2::second_argument_type

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.