9 #define REAL_LONG_DOUBLE 2
10 #define REAL_SINGLE_FAST2SUM 3 //TODO: Remove, is FITH
11 #define REAL_RATIONAL 4
12 #define REAL_RATIONAL_ARBINT 5
15 #error "REAL was not defined!"
18 #if REAL >= REAL_SINGLE_FAST2SUM
19 #include "real_fast2sum.h"
22 #if REAL == REAL_RATIONAL
26 #if REAL == REAL_RATIONAL_ARBINT
34 extern const char * g_real_name[];
36 #if REAL == REAL_SINGLE
38 #elif REAL == REAL_DOUBLE
40 #elif REAL == REAL_LONG_DOUBLE
41 typedef long double Real;
42 #elif REAL == REAL_SINGLE_FAST2SUM
43 typedef RealF2S<float> Real;
44 inline float Float(const Real & r) {return r.m_value;}
45 inline double Double(const Real & r) {return r.m_value;}
46 #elif REAL == REAL_RATIONAL
48 typedef Rational<int64_t> Real;
49 inline float Float(const Real & r) {return (float)r.ToDouble();}
50 inline double Double(const Real & r) {return r.ToDouble();}
51 #elif REAL == REAL_RATIONAL_ARBINT
52 #define ARBINT Gmpint // Set to Gmpint or Arbint here
54 typedef Rational<ARBINT> Real;
55 inline float Float(const Real & r) {return (float)r.ToDouble();}
56 inline double Double(const Real & r) {return r.ToDouble();}
57 inline Rational<ARBINT> pow(const Rational<ARBINT> & a, const Rational<ARBINT> & b)
59 ARBINT P(std::pow(static_cast<double>(a.P), b.ToDouble()));
60 ARBINT Q(std::pow(static_cast<double>(a.Q), b.ToDouble()));
61 return Rational<ARBINT>(P,Q);
64 #error "Type of Real unspecified."
67 // Allow us to call Float on the primative types
68 // Useful so I can template some things that could be either (a more complicated) Real or a primitive type
69 // Mostly in the testers.
70 inline float Float(float f) {return (float)f;}
71 inline float Float(double f) {return (float)f;}
72 inline float Float(long double f) {return (float)(f);}
73 inline double Double(float f) {return (double)f;}
74 inline double Double(double f) {return (double)f;}
75 inline double Double(long double f) {return (double)(f);}