Concept

FieldWithSqrt

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_type derived from Field_with_sqrt_tag
- CGAL::Algebraic_structure_traits< FieldWithSqrt >::Sqrt

Refines

Field

See Also

IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
Field
FieldWithSqrt
FieldWithKthRoot
FieldWithRootOf
AlgebraicStructureTraits