AlgebraicKernel_d_1::NumberOfSolutions_1 Class Reference

#include <Concepts/AlgebraicKernel_d_1--NumberOfSolutions_1.h>

Definition

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

Refines

AdaptableUnaryFunction

See also

AlgebraicKernel_d_1::ConstructAlgebraicReal_1

Types
A model of this type must provide:
typedef AlgebraicKernel_d_1::size_type	result_type
typedef AlgebraicKernel_d_1::Polynomial_1	argument_type

Operations
result_type	operator() (argument_type p)
	Returns the number of real solutions of $p$.

Member Typedef Documentation

argument_type

typedef AlgebraicKernel_d_1::Polynomial_1 AlgebraicKernel_d_1::NumberOfSolutions_1::argument_type

result_type

typedef AlgebraicKernel_d_1::size_type AlgebraicKernel_d_1::NumberOfSolutions_1::result_type

Member Function Documentation

operator()()

result_type AlgebraicKernel_d_1::NumberOfSolutions_1::operator()

(

argument_type

p

)

Returns the number of real solutions of $p$.

Precondition

$p$ is square free.