CGAL 6.0.1  Algebraic Foundations

A model of FieldWithSqrt
is a Field
that has operations to take square roots.
Moreover, CGAL::Algebraic_structure_traits< FieldWithSqrt >
is a model of AlgebraicStructureTraits
providing:
CGAL::Algebraic_structure_traits< FieldWithSqrt >::Algebraic_category
derived from CGAL::Field_with_sqrt_tag
CGAL::Algebraic_structure_traits< FieldWithSqrt >::Sqrt
which is a model of AlgebraicStructureTraits_::Sqrt
Field