AlgebraicKernel_d_1::NumberOfSolutions_1

Definition

Computes the number of real solutions of the given univariate polynomial.

Refines

AdaptableUnaryFunction

Types

typedef AlgebraicKernel_d_1::size_type
result_type;
typedef AlgebraicKernel_d_1::Polynomial_1
argument_type;

A model of this type must provide:

Operations

result_type fo ( argument_type p ) Returns the number of real solutions of p.
Precondition:  p is square free.

See Also

AlgebraicKernel_d_1::ConstructAlgebraicReal_1