CGAL 5.6.2 - Algebraic Foundations: FieldWithRootOf Concept Reference

Loading [MathJax]/extensions/TeX/AMSsymbols.js

CGAL 5.6.2 - Algebraic Foundations

•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages

Definition

A model of FieldWithRootOf is a FieldWithKthRoot with the possibility to construct it as the root of a univariate polynomial.

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

CGAL::Algebraic_structure_traits< FieldWithRootOf >::Algebraic_category derived from CGAL::Field_with_kth_root_tag
CGAL::Algebraic_structure_traits< FieldWithRootOf >::Root_of which is a model of AlgebraicStructureTraits_::RootOf

Refines: FieldWithKthRoot

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