CGAL 5.5.2 - Algebraic Foundations: FieldWithSqrt Concept Reference

CGAL 5.5.2 - Algebraic Foundations

Definition

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

Refines:: Field

See also: IntegralDomainWithoutDivision; IntegralDomain; UniqueFactorizationDomain; EuclideanRing; Field; FieldWithSqrt; FieldWithKthRoot; FieldWithRootOf; AlgebraicStructureTraits