\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)

CGAL 4.8 - Number Types

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
CGAL::Root_of_traits< RT > Class Template Reference
Relates Algebraic Extensions

`#include <CGAL/Root_of_traits.h>`

## Definition

For a `RealEmbeddable` `IntegralDomain` `RT`, the class template `Root_of_traits<RT>` associates a type `Root_of_2`, which represents algebraic numbers of degree 2 over `RT`.

Moreover, the class provides `Root_of_1`, which represents the quotient field of `RT`.

See Also
  `RootOf_2`
  `CGAL::compute_roots_of_2()`
  `CGAL::make_root_of_2()`

## Types
typedef unspecified_type | Root_of_1
| A `RealEmbeddable` `Field` representing the quotient field of `RT`.
typedef unspecified_type | Root_of_2
| Model of `RootOf_2`.