\( \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.12 - Algebraic Foundations
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