Loading [MathJax]/extensions/TeX/newcommand.js
\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.12.1 - Number Types
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Friends Modules Pages
List of all members
CGAL::Root_of_traits< RT > Struct Template Reference
Number Types 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.