include/realroot/GMP.hpp File Reference

#include <realroot/texp_kernelof.hpp>
#include <realroot/scalar_integer.hpp>
#include <realroot/scalar_rational.hpp>
#include <realroot/scalar_floating.hpp>
#include <realroot/scalar_extended_integer.hpp>
#include <realroot/scalar_extended_rational.hpp>
#include <realroot/Interval.hpp>

Go to the source code of this file.

Classes

• struct GMP

  Numerical kernel based on gmp. More...
  

• struct is_extended< type >
• struct is_extended< EQQ >
• struct is_extended< EZZ >
• struct kernelof_< GMP::ieee >
• struct kernelof_< GMP::integer >
• struct kernelof_< GMP::rational >
• struct kernelof_< GMP::floating >
• struct kernelof_< GMP::extended_integer >
• struct kernelof_< GMP::extended_rational >
• struct as_helper< QQ, ZZ >
• struct as_helper< ZZ, QQ >
• struct as_helper< QQ, RR >
• struct as_helper< RR, QQ >
• struct as_helper< ZZ, unsigned >
• struct as_helper< ZZ, double >
• struct as_helper< RR, double >
• struct as_helper< double, RR >
• struct as_helper< double, mpf_t >
• struct as_helper< Interval< double >, QQ >

Namespaces

• namespace mmx
• namespace mmx::texp
• namespace mmx::let

  Namespace for explicit type conversion.

  
  

Typedefs

• typedef GMP::rational QQ
• typedef GMP::integer ZZ
• typedef GMP::floating RR
• typedef GMP::extended_rational EQQ
• typedef GMP::extended_integer EZZ

Functions

• int sign (const QQ &a)
• bool with_plus_sign (const ZZ &c)
• double to_double (const RR &a)
• double as_double (const RR &a)
• double to_XT (const ZZ &a)
• void bit_precision (unsigned long l)
• void bit_precision (RR b, unsigned long l)
• double gcd (const double &, const double &)
• void assign (ZZ &x, const QQ &r)
• void assign (mpz_t r, const ZZ &x)
• void assign (mpf_t r, const ZZ &x)
• QQ to_FT (const ZZ &a, const ZZ &b=1)