\( \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.5 - Algebraic Foundations
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Groups Pages
List of all members
RealEmbeddable Concept Reference
Concepts

Definition

A model of this concepts represents numbers that are embeddable on the real axis. The type obeys the algebraic structure and compares two values according to the total order of the real numbers.

Moreover, CGAL::Real_embeddable_traits< RealEmbeddable > is a model of RealEmbeddableTraits

with:

and functors :

Remark:

If a number type is a model of both IntegralDomainWithoutDivision and RealEmbeddable, it follows that the ring represented by such a number type is a sub-ring of the real numbers and hence has characteristic zero.

Refines:

EqualityComparable

LessThanComparable

See Also
RealEmbeddableTraits

Operations

bool operator== (const RealEmbeddable &a, const RealEmbeddable &b)
 
bool operator!= (const RealEmbeddable &a, const RealEmbeddable &b)
 
bool operator< (const RealEmbeddable &a, const RealEmbeddable &b)
 
bool operator<= (const RealEmbeddable &a, const RealEmbeddable &b)
 
bool operator> (const RealEmbeddable &a, const RealEmbeddable &b)
 
bool operator>= (const RealEmbeddable &a, const RealEmbeddable &b)