AlgebraicStructureTraits_::RootOf Concept Reference

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.

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.

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.