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.