leda_real

Definition

The class leda_real is a wrapper class that provides the functions needed to use the number type real, representing exact real numbers numbers provided by LEDA. The class leda_real provides exact computation over the subset of real numbers that contains integers, and which is closed by the operations +,-, × ,/,sqrt() and kth_root. For LEDA version 5.0 or later leda_real is also able to represent real roots of polynomials. Operations and comparisons between objects of this type are guaranteed to be exact.

#include <CGAL/leda_real.h>

Is Model for the Concepts

FieldWithRootOf

RealEmbeddable

For more details on the number types of LEDA we refer to the LEDA manual [MNSU].