FunctionObjectConcept

AlgebraicKernel_d_2::NumberOfSolutions_2

Definition

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

Refines

AdaptableBinaryFunction

Types

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;

A model of this type must provide:

Operations

result_type fo ( 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.
Precondition:  g is square free.
Precondition:  f and g are coprime.

See Also

AlgebraicKernel_d_2::ConstructAlgebraicReal_2