CGAL 5.6.3 - Algebraic Foundations

Loading...
Searching...
No Matches
FieldWithSqrt Concept Reference
Algebraic Foundations Reference » Concepts

## 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`