FieldWithRootOf Concept Reference

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