CGAL 4.7 - Algebraic Foundations
AlgebraicStructureTraits_::RootOf Concept Reference

Definition

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

Refines:
AdaptableFunctor
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. More...

Member Function Documentation

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.