AlgebraicStructureTraits_::RootOf Class Reference

#include <Concepts/AlgebraicStructureTraits--RootOf.h>

Definition

AdaptableFunctor computes a real root of a square-free univariate polynomial.

Refines:

AdaptableFunctor

See also

FieldWithRootOf

AlgebraicStructureTraits

Types
typedef unspecified_type	result_type
	Is AlgebraicStructureTraits::Type. More...

Operations
template<class InputIterator >
result_type	operator() (int k, InputIterator begin, InputIterator end)
	returns the k-th real root of the univariate polynomial, which is defined by the iterator range, where begin refers to the constant term. More...

Member Typedef Documentation

result_type

typedef unspecified_type AlgebraicStructureTraits_::RootOf::result_type

Is AlgebraicStructureTraits::Type.

Member Function Documentation

operator()()

template<class InputIterator >

result_type AlgebraicStructureTraits_::RootOf::operator()	(	int	k,
		InputIterator	begin,
		InputIterator	end
	)

returns the k-th real root of the univariate polynomial, which is defined by the iterator range, where begin refers to the constant term.

Precondition

The polynomial is square-free.

The value type of the InputIterator is AlgebraicStructureTraits::Type.