CGAL 4.7 - Algebraic Foundations: Refinement Relationships

\( \newcommand{\E}{\mathrm{E}} \) \( \newcommand{\A}{\mathrm{A}} \) \( \newcommand{\R}{\mathrm{R}} \) \( \newcommand{\N}{\mathrm{N}} \) \( \newcommand{\Q}{\mathrm{Q}} \) \( \newcommand{\Z}{\mathrm{Z}} \) \( \def\ccSum #1#2#3{ \sum_{#1}^{#2}{#3} } \def\ccProd #1#2#3{ \sum_{#1}^{#2}{#3} }\)

CGAL 4.7 - Algebraic Foundations

All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
Refinement Relationships

Concept AlgebraicStructureTraits_::Div
  `AdaptableBinaryFunction`
Concept AlgebraicStructureTraits_::Divides
  `AdaptableBinaryFunction`
Concept AlgebraicStructureTraits_::DivMod
  `AdaptableFunctor`
Concept AlgebraicStructureTraits_::Gcd
  `AdaptableBinaryFunction`
Concept AlgebraicStructureTraits_::IntegralDivision
  `AdaptableBinaryFunction`
Concept AlgebraicStructureTraits_::Inverse
  `AdaptableUnaryFunction`
Concept AlgebraicStructureTraits_::IsOne
  `AdaptableUnaryFunction`
Concept AlgebraicStructureTraits_::IsSquare
  `AdaptableBinaryFunction`
Concept AlgebraicStructureTraits_::IsZero
  `AdaptableUnaryFunction`
Concept AlgebraicStructureTraits_::KthRoot
  `AdaptableBinaryFunction`
Concept AlgebraicStructureTraits_::Mod
  `AdaptableBinaryFunction`
Concept AlgebraicStructureTraits_::RootOf
  `AdaptableFunctor`
Concept AlgebraicStructureTraits_::Simplify
  `AdaptableUnaryFunction`
Concept AlgebraicStructureTraits_::Sqrt
  `AdaptableUnaryFunction`
Concept AlgebraicStructureTraits_::Square
  `AdaptableUnaryFunction`
Concept AlgebraicStructureTraits_::UnitPart
  `AdaptableUnaryFunction`
Concept EuclideanRing
  `UniqueFactorizationDomain`
Concept Field
  `IntegralDomain`
Concept FieldNumberType

  `Field`

  `RealEmbeddable`

Concept FieldWithKthRoot
  `FieldWithSqrt`
Concept FieldWithRootOf
  `FieldWithKthRoot`
Concept FieldWithSqrt
  `Field`
Concept FractionTraits_::CommonFactor
  `AdaptableBinaryFunction`
Concept FractionTraits_::Compose
  `AdaptableBinaryFunction`
Concept ImplicitInteroperable
  `ExplicitInteroperable`
Concept IntegralDomain
  `IntegralDomainWithoutDivision`
Concept IntegralDomainWithoutDivision

  `Assignable`

  `CopyConstructible`

  `DefaultConstructible`

  `EqualityComparable`

  `FromIntConstructible`

Concept RealEmbeddable

  `EqualityComparable`

  `LessThanComparable`

Concept RealEmbeddableTraits_::Abs
  `AdaptableUnaryFunction`
Concept RealEmbeddableTraits_::Compare
  `AdaptableBinaryFunction`
Concept RealEmbeddableTraits_::IsNegative
  `AdaptableUnaryFunction`
Concept RealEmbeddableTraits_::IsPositive
  `AdaptableUnaryFunction`
Concept RealEmbeddableTraits_::IsZero
  `AdaptableUnaryFunction`
Concept RealEmbeddableTraits_::Sgn
  `AdaptableUnaryFunction`
Concept RealEmbeddableTraits_::ToDouble
  `AdaptableUnaryFunction`
Concept RealEmbeddableTraits_::ToInterval
  `AdaptableUnaryFunction`
Concept RingNumberType

  `IntegralDomainWithoutDivision`

  `RealEmbeddable`

Concept UniqueFactorizationDomain
  `IntegralDomain`