Concept

FieldWithKthRoot

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_type derived from Field_with_kth_root_tag
- CGAL::Algebraic_structure_traits< FieldWithKthRoot >::Kth_root

Refines

FieldWithSqrt

See Also

IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
Field
FieldWithSqrt
FieldWithKthRoot
FieldWithRootOf
AlgebraicStructureTraits