|
| 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...
|
| |
|
|
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.
|
| |