FieldWithKthRoot Concept Reference

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