A model of FieldWithKthRoot is a FieldWithSqrt that has operations to take k-th roots.
FieldWithKthRoot
FieldWithSqrt
Moreover, CGAL::Algebraic_structure_traits< FieldWithKthRoot > is a model of AlgebraicStructureTraits providing:
CGAL::Algebraic_structure_traits< FieldWithKthRoot >
AlgebraicStructureTraits
CGAL::Algebraic_structure_traits< FieldWithKthRoot >::Algebraic_category
CGAL::Field_with_kth_root_tag
CGAL::Algebraic_structure_traits< FieldWithKthRoot >::Kth_root
AlgebraicStructureTraits_::KthRoot
IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
Field
FieldWithRootOf