FieldWithSqrt Concept Reference 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 alsoIntegralDomainWithoutDivision IntegralDomain UniqueFactorizationDomain EuclideanRing Field FieldWithSqrt FieldWithKthRoot FieldWithRootOf AlgebraicStructureTraits FieldWithSqrt Generated by 1.17.0

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