"Fossies" - the Fresh Open Source Software Archive

Member "doc_html/Algebraic_foundations/classAlgebraicStructureTraits.html" (8 Nov 2019, 60933 Bytes) of package /linux/misc/CGAL-4.14.2-doc_html.tar.xz:

Caution: In this restricted "Fossies" environment the current HTML page may not be correctly presentated and may have some non-functional links. You can here alternatively try to browse the pure source code or just view or download the uninterpreted raw source code. If the rendering is insufficient you may try to find and view the page on the CGAL-4.14.2-doc_html.tar.xz project site itself.

\( \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.14.2 - Algebraic Foundations
AlgebraicStructureTraits Concept Reference


A model of AlgebraicStructureTraits reflects the algebraic structure of an associated type Type.

Depending on the concepts that Type fulfills, it contains various functors and descriptive tags. Moreover it gives access to the several possible algebraic operations within that structure.

See also
Has Models:


A model of AlgebraicStructureTraits is supposed to provide:

typedef unspecified_type Type
 The associated type.
typedef unspecified_type Algebraic_category
 Tag indicating the algebraic structure of the associated type. More...
typedef unspecified_type Is_exact
 Tag indicating whether Type is exact. More...
typedef unspecified_type Is_numerical_sensitive
 Tag indicating whether Type is numerical sensitive. More...
typedef unspecified_type Boolean
 This type specifies the return type of the predicates provided by this traits. More...


In case a functor is not provided, it is set to CGAL::Null_functor.

typedef unspecified_type Is_zero
 A model of AlgebraicStructureTraits_::IsZero. More...
typedef unspecified_type Is_one
 A model of AlgebraicStructureTraits_::IsOne. More...
typedef unspecified_type Square
 A model of AlgebraicStructureTraits_::Square. More...
typedef unspecified_type Simplify
 A model of AlgebraicStructureTraits_::Simplify. More...
typedef unspecified_type Unit_part
 A model of AlgebraicStructureTraits_::UnitPart. More...
typedef unspecified_type Integral_division
 A model of AlgebraicStructureTraits_::IntegralDivision. More...
typedef unspecified_type Divides
 A model of AlgebraicStructureTraits_::Divides. More...
typedef unspecified_type Is_square
 A model of AlgebraicStructureTraits_::IsSquare. More...
typedef unspecified_type Gcd
 A model of AlgebraicStructureTraits_::Gcd. More...
typedef unspecified_type Mod
 A model of AlgebraicStructureTraits_::Mod. More...
typedef unspecified_type Div
 A model of AlgebraicStructureTraits_::Div. More...
typedef unspecified_type Div_mod
 A model of AlgebraicStructureTraits_::DivMod. More...
typedef unspecified_type Inverse
 A model of AlgebraicStructureTraits_::Inverse. More...
typedef unspecified_type Sqrt
 A model of AlgebraicStructureTraits_::Sqrt. More...
typedef unspecified_type Kth_root
 A model of AlgebraicStructureTraits_::KthRoot. More...
typedef unspecified_type Root_of
 A model of AlgebraicStructureTraits_::RootOf. More...

Member Typedef Documentation

◆ Algebraic_category

◆ Boolean

This type specifies the return type of the predicates provided by this traits.

The type must be convertible to bool and typically the type indeed maps to bool. However, there are also cases such as interval arithmetic, in which it is Uncertain<bool> or some similar type.

◆ Div

◆ Div_mod

◆ Divides

◆ Gcd

◆ Integral_division

◆ Inverse

◆ Is_exact

Tag indicating whether Type is exact.

This is either CGAL::Tag_true or CGAL::Tag_false.

An algebraic structure is considered exact, if all operations required by its concept are computed such that a comparison of two algebraic expressions is always correct. The exactness covers only those operations that are required by the algebraic structure concept.

e.g. an exact Field may have a Sqrt functor that is not exact.

◆ Is_numerical_sensitive

Tag indicating whether Type is numerical sensitive.

This is either CGAL::Tag_true or CGAL::Tag_false.

An algebraic structure is considered as numerically sensitive, if the performance of the type is sensitive to the condition number of an algorithm.

◆ Is_one

◆ Is_square

◆ Is_zero

◆ Kth_root

◆ Mod

◆ Root_of

◆ Simplify

◆ Sqrt

◆ Square

◆ Unit_part