123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317 |
- #ifndef MANDEL_TYPES_H
- #define MANDEL_TYPES_H
- #include "Real.h"
- #include <cinttypes>
- #include <cmath>
- #include <string>
- #include "Fixed.h"
- #ifdef WITH_BOOST
- # include <boost/multiprecision/cpp_bin_float.hpp>
- # if (defined(__GNUC__) || defined(__INTEL_COMPILER)) && defined(WITH_QUADMATH)
- # include <boost/multiprecision/float128.hpp>
- # endif
- # include <boost/multiprecision/cpp_int.hpp>
- # include <boost/functional/hash.hpp>
- #endif
- //#include <qd/dd_real.h>
- //#include <qd/qd_real.h>
- #include "LightDoubleDouble.h"
- #include "QuadDouble.h"
- #include "TripleDouble.h"
- #include "TripleFloat.h"
- #include "HexDouble.h"
- #include "OctaDouble.h"
- namespace mnd
- {
- #ifdef WITH_BOOST
- # if (defined(__GNUC__) || defined(__INTEL_COMPILER)) && defined(WITH_QUADMATH)
- using Float128 = boost::multiprecision::float128;
- # else
- using Float128 = boost::multiprecision::cpp_bin_float_quad;
- /*using Float128 = boost::multiprecision::number<
- boost::multiprecision::backends::cpp_bin_float<
- 112, boost::multiprecision::backends::digit_base_2, void, boost::int16_t, -16382, 16383>,
- boost::multiprecision::et_off>;*/
- # endif
- inline Float128 abs(const Float128& x) { return boost::multiprecision::abs(x); }
- inline Float128 sqrt(const Float128& x) { return boost::multiprecision::sqrt(x); }
- inline Float128 floor(const Float128& x) { return boost::multiprecision::floor(x); }
- inline Float128 log(const Float128& x) { return boost::multiprecision::log(x); }
- inline Float128 log2(const Float128& x) { return boost::multiprecision::log2(x); }
- inline Float128 pow(const Float128& x, const Float128& y) { return boost::multiprecision::pow(x, y); }
- inline Float128 atan2(const Float128& y, const Float128& x) { return boost::multiprecision::atan2(y, x); }
- inline Float128 cos(const Float128& x) { return boost::multiprecision::cos(x); }
- inline Float128 sin(const Float128& x) { return boost::multiprecision::sin(x); }
- inline Float128 exp(const Float128& x) { return boost::multiprecision::exp(x); }
- using Float256 = boost::multiprecision::number<
- boost::multiprecision::backends::cpp_bin_float<
- 237, boost::multiprecision::backends::digit_base_2, void, boost::int32_t, -262142, 262143>,
- boost::multiprecision::et_off>;
- //using Float256 = long double;
- inline Float256 abs(const Float256& x) { return boost::multiprecision::abs(x); }
- inline Float256 sqrt(const Float256& x) { return boost::multiprecision::sqrt(x); }
- inline Float256 floor(const Float256& x) { return boost::multiprecision::floor(x); }
- inline Float256 log(const Float256& x) { return boost::multiprecision::log(x); }
- inline Float256 log2(const Float256& x) { return boost::multiprecision::log2(x); }
- inline Float256 pow(const Float256& x, const Float256& y) { return boost::multiprecision::pow(x, y); }
- inline Float256 atan2(const Float256& y, const Float256& x) { return boost::multiprecision::atan2(y, x); }
- inline Float256 cos(const Float256& x) { return boost::multiprecision::cos(x); }
- inline Float256 sin(const Float256& x) { return boost::multiprecision::sin(x); }
- inline Float256 exp(const Float256& x) { return boost::multiprecision::exp(x); }
- #endif
- using DoubleDouble = mnd::LightDoubleDouble;
- //using QuadDouble = qd_real;
- /*inline DoubleDouble abs(const DoubleDouble& x) { return ::abs(x); }
- inline DoubleDouble sqrt(const DoubleDouble& x) { return ::sqrt(x); }
- inline DoubleDouble floor(const DoubleDouble& x) { return ::floor(x); }
- inline DoubleDouble log(const DoubleDouble& x) { return ::log(x); }
- inline DoubleDouble log2(const DoubleDouble& x) { return ::log(x) / ::log(DoubleDouble(2.0)); }
- inline DoubleDouble pow(const DoubleDouble& x, const DoubleDouble& y) { return ::pow(x, y); }
- inline DoubleDouble atan2(const DoubleDouble& y, const DoubleDouble& x) { return ::atan2(y, x); }
- inline DoubleDouble cos(const DoubleDouble& x) { return ::cos(x); }
- inline DoubleDouble sin(const DoubleDouble& x) { return ::sin(x); }
- inline DoubleDouble exp(const DoubleDouble& x) { return ::exp(x); }*/
- /*inline QuadDouble abs(const QuadDouble& x) { return ::abs(x); }
- inline QuadDouble sqrt(const QuadDouble& x) { return ::sqrt(x); }
- inline QuadDouble floor(const QuadDouble& x) { return ::floor(x); }
- inline QuadDouble log(const QuadDouble& x) { return ::log(x); }
- inline QuadDouble log2(const QuadDouble& x) { return ::log(x) / ::log(QuadDouble(2.0)); }
- inline QuadDouble pow(const QuadDouble& x, const QuadDouble& y) { return ::pow(x, y); }
- inline QuadDouble atan2(const QuadDouble& y, const QuadDouble& x) { return ::atan2(y, x); }
- inline QuadDouble cos(const QuadDouble& x) { return ::cos(x); }
- inline QuadDouble sin(const QuadDouble& x) { return ::sin(x); }
- inline QuadDouble exp(const QuadDouble& x) { return ::exp(x); }*/
- inline double abs(double x) { return ::abs(x); }
- inline float abs(float x) { return ::abs(x); }
- inline double sqrt(double x) { return ::sqrt(x); }
- inline float sqrt(float x) { return ::sqrtf(x); }
- inline double floor(double x) { return ::floor(x); }
- inline float floor(float x) { return ::floorf(x); }
- inline double log(double x) { return ::log(x); }
- inline float log(float x) { return ::logf(x); }
- inline double log2(double x) { return ::log2(x); }
- inline float log2(float x) { return ::log2f(x); }
- inline double atan2(double x, double y) { return ::atan2(x, y); }
- inline float atan2(float x, float y) { return ::atan2(x, y); }
- inline double pow(double x, double y) { return ::pow(x, y); }
- inline float pow(float x, float y) { return ::powf(x, y); }
- inline double cos(double x) { return ::cos(x); }
- inline float cos(float x) { return ::cos(x); }
- inline double sin(double x) { return ::sin(x); }
- inline float sin(float x) { return ::sin(x); }
- inline double exp(double x) { return ::exp(x); }
- inline float exp(float x) { return ::exp(x); }
- template<typename T, typename U>
- T convert(const U& x)
- {
- return static_cast<T>(x);
- }
- #if defined(WITH_BOOST)
- template<>
- inline TripleFloat convert<TripleFloat, Real>(const Real& x)
- {
- float s = static_cast<float>(x);
- Real t = x - s;
- float e1 = static_cast<float>(t);
- float e2 = static_cast<float>(t - e1);
- return TripleFloat{ s, e1, e2 };
- }
- template<>
- inline Real convert<Real, TripleFloat>(const TripleFloat& x)
- {
- return Real{ x[0] } + x[1] + x[2];
- }
-
- /*template<>
- inline DoubleDouble convert<DoubleDouble, Real>(const Real& x)
- {
- double s = static_cast<double>(x);
- double e = static_cast<double>(x - s);
- return DoubleDouble{ s, e };
- }*/
- template<>
- inline LightDoubleDouble convert<LightDoubleDouble, Real>(const Real& x)
- {
- double s = static_cast<double>(x);
- double e = static_cast<double>(x - s);
- return LightDoubleDouble{ s, e };
- }
- /*template<>
- inline float convert<float, DoubleDouble>(const DoubleDouble& x)
- {
- return float(x.x[0] + x.x[1]);
- }*/
- template<>
- inline float convert<float, LightDoubleDouble>(const LightDoubleDouble& x)
- {
- return float(x[0] + x[1]);
- }
- template<>
- inline Real convert<Real, LightDoubleDouble>(const LightDoubleDouble& x)
- {
- return Real{ x[0] } + x[1];
- }
- template<>
- inline TripleDouble convert<TripleDouble, Real>(const Real& x)
- {
- double s = static_cast<double>(x);
- Real tmp = x - s;
- double e1 = static_cast<double>(tmp);
- tmp = tmp - e1;
- double e2 = static_cast<double>(tmp);
- return TripleDouble { s, e1, e2 };
- }
- template<>
- inline Real convert<Real, TripleDouble>(const TripleDouble& x)
- {
- return Real{ x[0] } + Real{ x[1] } + Real{ x[2] };
- }
- template<>
- inline float convert<float, TripleDouble>(const TripleDouble& x)
- {
- return float(x.x[0] + x.x[1] + x.x[2]);
- }
- template<>
- inline QuadDouble convert<QuadDouble, Real>(const Real& x)
- {
- double s = static_cast<double>(x);
- Real tmp = x - s;
- double e1 = static_cast<double>(tmp);
- tmp = tmp - e1;
- double e2 = static_cast<double>(tmp);
- tmp = tmp - e2;
- double e3 = static_cast<double>(tmp);
- return QuadDouble{ s, e1, e2, e3 };
- }
- template<>
- inline float convert<float, QuadDouble>(const QuadDouble& x)
- {
- return float(x.x[0] + x.x[1]);
- }
- template<>
- inline Real convert<Real, HexDouble>(const HexDouble& x)
- {
- return Real{ x[0] } + x[1] + x[2] + x[3] + x[4] + x[5];
- }
- template<>
- inline HexDouble convert<HexDouble, Real>(const Real& x)
- {
- double s = static_cast<double>(x);
- Real tmp = x - s;
- double e1 = static_cast<double>(tmp);
- tmp = tmp - e1;
- double e2 = static_cast<double>(tmp);
- tmp = tmp - e2;
- double e3 = static_cast<double>(tmp);
- tmp = tmp - e3;
- double e4 = static_cast<double>(tmp);
- tmp = tmp - e4;
- double e5 = static_cast<double>(tmp);
- return HexDouble { s, e1, e2, e3, e4, e5 };
- }
- template<>
- inline float convert<float, HexDouble>(const HexDouble& x)
- {
- return float(x.x[0] + x.x[1]);
- }
- template<>
- inline Real convert<Real, OctaDouble>(const OctaDouble& x)
- {
- return Real{ x[0] } + x[1] + x[2] + x[3] + x[4] + x[5] + x[6] + x[7];
- }
- template<>
- inline OctaDouble convert<OctaDouble, Real>(const Real& x)
- {
- double s = static_cast<double>(x);
- Real tmp = x - s;
- double e1 = static_cast<double>(tmp);
- tmp = tmp - e1;
- double e2 = static_cast<double>(tmp);
- tmp = tmp - e2;
- double e3 = static_cast<double>(tmp);
- tmp = tmp - e3;
- double e4 = static_cast<double>(tmp);
- tmp = tmp - e4;
- double e5 = static_cast<double>(tmp);
- tmp = tmp - e5;
- double e6 = static_cast<double>(tmp);
- tmp = tmp - e6;
- double e7 = static_cast<double>(tmp);
- return OctaDouble{ s, e1, e2, e3, e4, e5, e6, e7 };
- }
- template<>
- inline float convert<float, OctaDouble>(const OctaDouble& x)
- {
- return float(x.x[0] + x.x[1]);
- }
- template<>
- inline float convert<float, Fixed512>(const Fixed512& x)
- {
- return float(Real(x));
- }
- template<>
- inline Fixed64 convert<Fixed64, Real>(const Real& x)
- {
- return Fixed64{ static_cast<int64_t>(x * 0xFFFFFFFFFFFFLL), true };
- }
- template<>
- inline Fixed128 convert<Fixed128, Real>(const Real& x)
- {
- mnd::Integer i = mnd::Integer(x * mnd::pow(Real(1LL << 32), 3));
- uint64_t lo = uint64_t(i & 0xFFFFFFFFFFFFFFFFULL);
- uint64_t hi = uint64_t((i >> 64) & 0xFFFFFFFFFFFFFFFFULL);
- return Fixed128(hi, lo);
- }
- #endif
- std::string toString(const Real& num);
- std::string toLegibleString(const Real& num);
- /*
- template<typename T>
- constexpr mnd::Real precision(void);
- */
- }
- #endif // MANDEL_TYPES_H
|