CGAL 6.0.2 - Algebraic Foundations

Loading...
Searching...
No Matches
List of all members
RealEmbeddable Concept Reference
Algebraic Foundations 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:

- `CGAL::Real_embeddable_traits< RealEmbeddable >::Is_real_embeddable` set to `Tag_true`

and functors :

- `CGAL::Real_embeddable_traits< RealEmbeddable >::Is_zero` which is a model of `RealEmbeddableTraits_::IsZero`
- `CGAL::Real_embeddable_traits< RealEmbeddable >::Abs` which is a model of `RealEmbeddableTraits_::Abs`
- `CGAL::Real_embeddable_traits< RealEmbeddable >::Sgn` which is a model of `RealEmbeddableTraits_::Sgn`
- `CGAL::Real_embeddable_traits< RealEmbeddable >::Is_positive` which is a model of `RealEmbeddableTraits_::IsPositive`
- `CGAL::Real_embeddable_traits< RealEmbeddable >::Is_negative` which is a model of `RealEmbeddableTraits_::IsNegative`
- `CGAL::Real_embeddable_traits< RealEmbeddable >::Compare` which is a model of `RealEmbeddableTraits_::Compare`
- `CGAL::Real_embeddable_traits< RealEmbeddable >::To_double` which is a model of `RealEmbeddableTraits_::ToDouble`
- `CGAL::Real_embeddable_traits< RealEmbeddable >::To_interval` which is a model of `RealEmbeddableTraits_::ToInterval`

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)