CGAL 4.9.1 - Algebraic Foundations: FieldWithKthRoot Concept Reference

$\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.9.1 - Algebraic Foundations

•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages

CGAL 4.9.1 - Algebraic Foundations

Definition

A model of FieldWithKthRoot is a FieldWithSqrt that has operations to take k-th roots.

Moreover, CGAL::Algebraic_structure_traits< FieldWithKthRoot > is a model of AlgebraicStructureTraits providing:

CGAL::Algebraic_structure_traits< FieldWithKthRoot >::Algebraic_category derived from CGAL::Field_with_kth_root_tag
CGAL::Algebraic_structure_traits< FieldWithKthRoot >::Kth_root which is a model of AlgebraicStructureTraits_::KthRoot

Refines:: FieldWithSqrt

See Also: IntegralDomainWithoutDivision; IntegralDomain; UniqueFactorizationDomain; EuclideanRing; Field; FieldWithSqrt; FieldWithKthRoot; FieldWithRootOf; AlgebraicStructureTraits