|
CGAL 6.0 - 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_tagCGAL::Algebraic_structure_traits< FieldWithSqrt >::Sqrt which is a model of AlgebraicStructureTraits_::SqrtField