CGAL Namespace Reference

Classes
class	Gmpfi
	An object of the class Gmpfi is a closed interval, with endpoints represented as Gmpfr floating-point numbers. More...
class	Gmpfr
	An object of the class Gmpfr is a fixed precision floating-point number, based on the MPFR library. More...
class	Gmpq
	An object of the class Gmpq is an arbitrary precision rational number based on the GMP library. More...
class	Gmpz
	An object of the class Gmpz is an arbitrary precision integer based on the GMP Library. More...
class	Gmpzf
	An object of the class Gmpzf is a multiple-precision floating-point number which can represent numbers of the form \( m*2^e\), where \( m\) is an arbitrary precision integer based on the GMP library, and \( e\) is of type long. More...
class	Interval_nt
	The class Interval_nt provides an interval arithmetic number type. More...
class	Is_valid
	Not all values of a type need to be valid. More...
class	Lazy_exact_nt
	An object of the class Lazy_exact_nt<NT> is able to represent any real embeddable number which NT is able to represent. More...
struct	Max
	The function object class Max returns the larger of two values. More...
struct	Min
	The function object class Min returns the smaller of two values. More...
class	MP_Float
	An object of the class MP_Float is able to represent a floating point value with arbitrary precision. More...
struct	Mpzf
	An object of the class Mpzf is a multiple-precision floating-point number which can represent numbers of the form \( m*2^e\), where \( m\) is an arbitrary precision integer based on the GMP library, and \( e\) is of type int. More...
struct	NT_converter
	A number type converter usable as default, for Cartesian_converter and Homogeneous_converter. More...
class	Number_type_checker
	Number_type_checker is a number type whose instances store two numbers of types NT1 and NT2. More...
struct	Protect_FPU_rounding
	The class Protect_FPU_rounding allows to reduce the number of rounding mode changes when evaluating sequences of interval arithmetic operations. More...
class	Quotient
	An object of the class Quotient<NT> is an element of the field of quotients of the integral domain type NT. More...
class	Rational_traits
	The class Rational_traits can be used to determine the type of the numerator and denominator of a rational number type as Quotient, Gmpq, mpq_class or leda_rational. More...
struct	Root_of_traits
	For a RealEmbeddable IntegralDomain RT, the class template Root_of_traits<RT> associates a type Root_of_2, which represents algebraic numbers of degree 2 over RT. More...
class	Set_ieee_double_precision
	The class Set_ieee_double_precision provides a mechanism to set the correct 53 bits precision for a block of code. More...
class	Sqrt_extension
	An instance of this class represents an extension of the type NT by one square root of the type Root. More...

Typedefs
typedef Interval_nt< false >	Interval_nt_advanced
	This typedef (at namespace CGAL scope) exists for backward compatibility, as well as removing the need to remember the Boolean value for the template parameter.
typedef unspecified_type	Exact_integer
	Exact_integer is an exact integer number type.
typedef unspecified_type	Exact_rational
	Exact_rational is an exact rational number type, constructible from double.

Functions
bool	is_finite (double x)
	Determines whether the argument represents a value in \( \mathbb{R}\).
bool	is_finite (float x)
	Determines whether the argument represents a value in \( \mathbb{R}\).
bool	is_finite (long double x)
	Determines whether the argument represents a value in \( \mathbb{R}\).
template<typename RT , typename OutputIterator >
OutputIterator	compute_roots_of_2 (const RT &a, const RT &b, const RT &c, OutputIterator oit)
	The function compute_roots_of_2() solves a univariate polynomial as it is defined by the coefficients given to the function.
template<typename RT >
Root_of_traits< RT >::Root_of_2	make_root_of_2 (const RT &a, const RT &b, const RT &c, bool s)
	The function make_root_of_2() constructs an algebraic number of degree 2 over a ring number type.
template<typename RT >
Root_of_traits< RT >::Root_of_2	make_root_of_2 (RT alpha, RT beta, RT gamma)
	The function make_root_of_2() constructs an algebraic number of degree 2 over a ring number type.
template<typename RT >
Root_of_traits< RT >::Root_of_2	make_sqrt (const RT &x)
	The function make_sqrt() constructs a square root of a given value of type RT.
template<typename Rational >
Rational	simplest_rational_in_interval (double d1, double d2)
	computes the rational number with the smallest denominator in the interval [d1,d2].
template<typename Rational >
Rational	to_rational (double d)
	computes the rational number that equals d.
template<typename T >
bool	is_valid (const T &x)
	Not all values of a type need to be valid.
template<typename T >
T	max (const T &x, const T &y)
	Returns the larger of two values.
template<typename T >
T	min (const T &x, const T &y)
	Returns the smaller of two values.