CGAL 5.6.2 - Algebraic Foundations
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. More...
 

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.