Algebraic Foundations
Reference Manual

Michael Hemmer

3.7   Classified Reference Pages

Algebraic Structures

Concepts

IntegralDomainWithoutDivision
IntegralDomain
UniqueFactorizationDomain
EuclideanRing
Field
FieldWithSqrt
FieldWithKthRoot
FieldWithRootOf

AlgebraicStructureTraits
AlgebraicStructureTraits::IsZero
AlgebraicStructureTraits::IsOne
AlgebraicStructureTraits::Square
AlgebraicStructureTraits::Simplify
AlgebraicStructureTraits::UnitPart
AlgebraicStructureTraits::IntegralDivision
AlgebraicStructureTraits::Divides
AlgebraicStructureTraits::Gcd
AlgebraicStructureTraits::DivMod
AlgebraicStructureTraits::Div
AlgebraicStructureTraits::Mod
AlgebraicStructureTraits::Sqrt
AlgebraicStructureTraits::IsSquare
AlgebraicStructureTraits::KthRoot
AlgebraicStructureTraits::RootOf

Classes

CGAL::Algebraic_structure_traits<T>
CGAL::Integral_domain_without_division_tag
CGAL::Integral_domain_tag
CGAL::Field_tag
CGAL::Field_with_sqrt_tag
CGAL::Unique_factorization_domain_tag
CGAL::Euclidean_ring_tag

Global Functions

CGAL::is_zero
CGAL::is_one
CGAL::square
CGAL::simplify
CGAL::unit_part
CGAL::integral_division
CGAL::is_square
CGAL::gcd
CGAL::div_mod
CGAL::div
CGAL::mod
CGAL::sqrt
CGAL::kth_root
CGAL::root_of

Real Embeddable

Concepts

RealEmbeddable

RealEmbeddableTraits
RealEmbeddableTraits::IsZero
RealEmbeddableTraits::Abs
RealEmbeddableTraits::Sgn
RealEmbeddableTraits::IsPositive
RealEmbeddableTraits::IsNegative
RealEmbeddableTraits::Compare
RealEmbeddableTraits::ToDouble
RealEmbeddableTraits::ToInterval

Classes

CGAL::Real_embeddable_traits<T>

Global Functions

CGAL::is_zero
CGAL::abs
CGAL::sign
CGAL::is_positive
CGAL::is_negative
CGAL::compare
CGAL::to_double
CGAL::to_interval

Real Number Types

Concepts

RingNumberType
FieldNumberType

Interoperability

Concepts

ExplicitInteroperable
ImplicitInteroperable

Classes

CGAL::Coercion_traits<A,B>

Fractions

Concepts

Fraction
FractionTraits
FractionTraits::Decompose
FractionTraits::Compose
FractionTraits::CommonFactor

Classes

CGAL::Fraction_traits<T>

Miscellaneous

Concepts

FromIntConstructible
FromDoubleConstructible

3.8   Alphabetical List of Reference Pages

abs
AlgebraicStructureTraits::Divides
AlgebraicStructureTraits::DivMod
AlgebraicStructureTraits::Div
AlgebraicStructureTraits::Gcd
AlgebraicStructureTraits::IntegralDivision
AlgebraicStructureTraits::IsOne
AlgebraicStructureTraits::IsSquare
AlgebraicStructureTraits::IsZero
AlgebraicStructureTraits::KthRoot
AlgebraicStructureTraits::Mod
AlgebraicStructureTraits::RootOf
AlgebraicStructureTraits::Simplify
AlgebraicStructureTraits::Sqrt
AlgebraicStructureTraits::Square
AlgebraicStructureTraits::UnitPart
AlgebraicStructureTraits
Algebraic_structure_traits<T>
Coercion_traits<A,B>
compare
div_mod
div
EuclideanRing
Euclidean_ring_tag
ExplicitInteroperable
FieldNumberType
FieldWithKthRoot
FieldWithRootOf
FieldWithSqrt
Field_tag
Field_with_kth_root_tag
Field_with_root_of_tag
Field_with_sqrt_tag
Field
FractionTraits::CommonFactor
FractionTraits::Compose
FractionTraits::Decompose
FractionTraits
Fraction_traits<T>
Fraction
FromDoubleConstructible
FromIntConstructible
gcd
ImplicitInteroperable
IntegralDomainWithoutDivision
IntegralDomain
integral_division
Integral_domain_tag
Integral_domain_without_division_tag
is_negative
is_one
is_positive
is_square
is_zero
kth_root
mod
RealEmbeddableTraits::Abs
RealEmbeddableTraits::Compare
RealEmbeddableTraits::IsNegative
RealEmbeddableTraits::IsPositive
RealEmbeddableTraits::IsZero
RealEmbeddableTraits::Sgn
RealEmbeddableTraits::ToDouble
RealEmbeddableTraits::ToInterval
RealEmbeddableTraits
RealEmbeddable
Real_embeddable_traits<T>
RingNumberType
root_of
sign
simplify
sqrt
square
to_double
to_interval
UniqueFactorizationDomain
Unique_factorization_domain_tag
unit_part