CGAL 6.1.2 - Algebraic Foundations: AlgebraicStructureTraits_::RootOf Concept Reference

CGAL 6.1.2 - Algebraic Foundations

Loading...
Searching...
No Matches
List of all members
AlgebraicStructureTraits_::RootOf Concept Reference
Reference Manual » Concepts

## 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`.