A model of FieldWithSqrt is a Field that has operations to take square roots.
FieldWithSqrt
Field
Moreover, CGAL::Algebraic_structure_traits< FieldWithSqrt > is a model of AlgebraicStructureTraits providing:
CGAL::Algebraic_structure_traits< FieldWithSqrt >
AlgebraicStructureTraits
CGAL::Algebraic_structure_traits< FieldWithSqrt >::Algebraic_category
CGAL::Field_with_sqrt_tag
CGAL::Algebraic_structure_traits< FieldWithSqrt >::Sqrt
AlgebraicStructureTraits_::Sqrt
IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
FieldWithKthRoot
FieldWithRootOf