X-Git-Url: https://git.ucc.asn.au/?p=ipdf%2Fcode.git;a=blobdiff_plain;f=src%2Freal.h;h=8dea9533c1a2dccf43b8e46913f9a431898070af;hp=73aca6dc9cc9d9bb84f7ae9a83f6cc59f0ef3d5d;hb=a2fab335f6502b3a0a37055486620615e643ad35;hpb=9fb7c94d259a623a5cad36f8ccb6f8a49f21cf52 diff --git a/src/real.h b/src/real.h index 73aca6d..8dea953 100644 --- a/src/real.h +++ b/src/real.h @@ -3,20 +3,73 @@ #include "common.h" -namespace IPDF -{ -#define REAL_SINGLE -//#define REAL_DOUBLE -//#define REAL_HALF +#define REAL_SINGLE 0 +#define REAL_DOUBLE 1 +#define REAL_LONG_DOUBLE 2 +#define REAL_SINGLE_FAST2SUM 3 //TODO: Remove, is FITH +#define REAL_RATIONAL 4 +#define REAL_RATIONAL_ARBINT 5 + +#ifndef REAL + #error "REAL was not defined!" +#endif + +#if REAL >= REAL_SINGLE_FAST2SUM + #include "real_fast2sum.h" +#endif //REAL + +#if REAL == REAL_RATIONAL + #include "rational.h" +#endif //REAL -#ifdef REAL_SINGLE +#if REAL == REAL_RATIONAL_ARBINT + #include "rational.h" + #include "arbint.h" +#endif //REAL + +namespace IPDF +{ + extern const char * g_real_name[]; + +#if REAL == REAL_SINGLE typedef float Real; - inline float Float(Real r) {return r;} -#elif defined REAL_DOUBLE +#elif REAL == REAL_DOUBLE typedef double Real; - inline double Float(Real r) {return r;} -#endif +#elif REAL == REAL_LONG_DOUBLE + typedef long double Real; +#elif REAL == REAL_SINGLE_FAST2SUM + typedef RealF2S Real; + inline float Float(const Real & r) {return r.m_value;} + inline double Double(const Real & r) {return r.m_value;} +#elif REAL == REAL_RATIONAL + + typedef Rational Real; + inline float Float(const Real & r) {return (float)r.ToDouble();} + inline double Double(const Real & r) {return r.ToDouble();} +#elif REAL == REAL_RATIONAL_ARBINT + typedef Rational Real; + inline float Float(const Real & r) {return (float)r.ToDouble();} + inline double Double(const Real & r) {return r.ToDouble();} + inline Rational pow(const Rational & a, const Rational & b) + { + Arbint P(std::pow(static_cast(a.P), b.ToDouble())); + Arbint Q(std::pow(static_cast(a.Q), b.ToDouble())); + return Rational(P,Q); + } +#else + #error "Type of Real unspecified." +#endif //REAL + + // Allow us to call Float on the primative types + // Useful so I can template some things that could be either (a more complicated) Real or a primitive type + // Mostly in the testers. + inline float Float(float f) {return (float)f;} + inline float Float(double f) {return (float)f;} + inline float Float(long double f) {return (float)(f);} + inline double Double(float f) {return (double)f;} + inline double Double(double f) {return (double)f;} + inline double Double(long double f) {return (double)(f);} } #endif //_REAL_H