|
CGAL 6.0 - Algebraic Foundations
|
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 :
CGAL::Real_embeddable_traits< RealEmbeddable >::Is_zero which is a model of RealEmbeddableTraits_::IsZeroCGAL::Real_embeddable_traits< RealEmbeddable >::Abs which is a model of RealEmbeddableTraits_::AbsCGAL::Real_embeddable_traits< RealEmbeddable >::Sgn which is a model of RealEmbeddableTraits_::SgnCGAL::Real_embeddable_traits< RealEmbeddable >::Is_positive which is a model of RealEmbeddableTraits_::IsPositiveCGAL::Real_embeddable_traits< RealEmbeddable >::Is_negative which is a model of RealEmbeddableTraits_::IsNegativeCGAL::Real_embeddable_traits< RealEmbeddable >::Compare which is a model of RealEmbeddableTraits_::CompareCGAL::Real_embeddable_traits< RealEmbeddable >::To_double which is a model of RealEmbeddableTraits_::ToDoubleCGAL::Real_embeddable_traits< RealEmbeddable >::To_interval which is a model of RealEmbeddableTraits_::ToIntervalRemark:
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.
EqualityComparable LessThanComparable 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) |