1 ///////////////////////////////////////////////////////////////
2 // Copyright 2012 John Maddock. Distributed under the Boost
3 // Software License, Version 1.0. (See accompanying file
4 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_
6 #ifndef BOOST_MATH_CONCEPTS_ER_HPP
7 #define BOOST_MATH_CONCEPTS_ER_HPP
13 #include <boost/cstdint.hpp>
14 #include <boost/multiprecision/number.hpp>
15 #include <boost/math/special_functions/fpclassify.hpp>
16 #include <boost/mpl/list.hpp>
19 namespace multiprecision{
24 #pragma warning(disable:4244)
27 struct number_backend_float_architype
29 typedef mpl::list<boost::long_long_type> signed_types;
30 typedef mpl::list<boost::ulong_long_type> unsigned_types;
31 typedef mpl::list<long double> float_types;
32 typedef int exponent_type;
34 number_backend_float_architype()
37 std::cout << "Default construct" << std::endl;
39 number_backend_float_architype(const number_backend_float_architype& o)
41 std::cout << "Copy construct" << std::endl;
44 number_backend_float_architype& operator = (const number_backend_float_architype& o)
47 std::cout << "Assignment (" << m_value << ")" << std::endl;
50 number_backend_float_architype& operator = (boost::ulong_long_type i)
53 std::cout << "UInt Assignment (" << i << ")" << std::endl;
56 number_backend_float_architype& operator = (boost::long_long_type i)
59 std::cout << "Int Assignment (" << i << ")" << std::endl;
62 number_backend_float_architype& operator = (long double d)
65 std::cout << "long double Assignment (" << d << ")" << std::endl;
68 number_backend_float_architype& operator = (const char* s)
70 #ifndef BOOST_NO_EXCEPTIONS
74 m_value = boost::lexical_cast<long double>(s);
75 #ifndef BOOST_NO_EXCEPTIONS
77 catch(const std::exception&)
79 BOOST_THROW_EXCEPTION(std::runtime_error(std::string("Unable to parse input string: \"") + s + std::string("\" as a valid floating point number.")));
82 std::cout << "const char* Assignment (" << s << ")" << std::endl;
85 void swap(number_backend_float_architype& o)
87 std::cout << "Swapping (" << m_value << " with " << o.m_value << ")" << std::endl;
88 std::swap(m_value, o.m_value);
90 std::string str(std::streamsize digits, std::ios_base::fmtflags f)const
97 ss.precision(std::numeric_limits<long double>::digits10 + 3);
98 boost::intmax_t i = m_value;
99 boost::uintmax_t u = m_value;
100 if(!(f & std::ios_base::scientific) && m_value == i)
102 else if(!(f & std::ios_base::scientific) && m_value == u)
106 std::string s = ss.str();
107 std::cout << "Converting to string (" << s << ")" << std::endl;
112 std::cout << "Negating (" << m_value << ")" << std::endl;
115 int compare(const number_backend_float_architype& o)const
117 std::cout << "Comparison" << std::endl;
118 return m_value > o.m_value ? 1 : (m_value < o.m_value ? -1 : 0);
120 int compare(boost::long_long_type i)const
122 std::cout << "Comparison with int" << std::endl;
123 return m_value > i ? 1 : (m_value < i ? -1 : 0);
125 int compare(boost::ulong_long_type i)const
127 std::cout << "Comparison with unsigned" << std::endl;
128 return m_value > i ? 1 : (m_value < i ? -1 : 0);
130 int compare(long double d)const
132 std::cout << "Comparison with long double" << std::endl;
133 return m_value > d ? 1 : (m_value < d ? -1 : 0);
138 inline void eval_add(number_backend_float_architype& result, const number_backend_float_architype& o)
140 std::cout << "Addition (" << result.m_value << " += " << o.m_value << ")" << std::endl;
141 result.m_value += o.m_value;
143 inline void eval_subtract(number_backend_float_architype& result, const number_backend_float_architype& o)
145 std::cout << "Subtraction (" << result.m_value << " -= " << o.m_value << ")" << std::endl;
146 result.m_value -= o.m_value;
148 inline void eval_multiply(number_backend_float_architype& result, const number_backend_float_architype& o)
150 std::cout << "Multiplication (" << result.m_value << " *= " << o.m_value << ")" << std::endl;
151 result.m_value *= o.m_value;
153 inline void eval_divide(number_backend_float_architype& result, const number_backend_float_architype& o)
155 std::cout << "Division (" << result.m_value << " /= " << o.m_value << ")" << std::endl;
156 result.m_value /= o.m_value;
159 inline void eval_convert_to(boost::ulong_long_type* result, const number_backend_float_architype& val)
161 *result = static_cast<boost::ulong_long_type>(val.m_value);
163 inline void eval_convert_to(boost::long_long_type* result, const number_backend_float_architype& val)
165 *result = static_cast<boost::long_long_type>(val.m_value);
167 inline void eval_convert_to(long double* result, number_backend_float_architype& val)
169 *result = val.m_value;
172 inline void eval_frexp(number_backend_float_architype& result, const number_backend_float_architype& arg, int* exp)
174 result = std::frexp(arg.m_value, exp);
177 inline void eval_ldexp(number_backend_float_architype& result, const number_backend_float_architype& arg, int exp)
179 result = std::ldexp(arg.m_value, exp);
182 inline void eval_floor(number_backend_float_architype& result, const number_backend_float_architype& arg)
184 result = std::floor(arg.m_value);
187 inline void eval_ceil(number_backend_float_architype& result, const number_backend_float_architype& arg)
189 result = std::ceil(arg.m_value);
192 inline void eval_sqrt(number_backend_float_architype& result, const number_backend_float_architype& arg)
194 result = std::sqrt(arg.m_value);
197 inline int eval_fpclassify(const number_backend_float_architype& arg)
199 return (boost::math::fpclassify)(arg.m_value);
202 typedef boost::multiprecision::number<number_backend_float_architype> mp_number_float_architype;
207 struct number_category<concepts::number_backend_float_architype> : public mpl::int_<number_kind_floating_point>{};
213 template <boost::multiprecision::expression_template_option ExpressionTemplates>
214 class numeric_limits<boost::multiprecision::number<boost::multiprecision::concepts::number_backend_float_architype, ExpressionTemplates> > : public std::numeric_limits<long double>
216 typedef std::numeric_limits<long double> base_type;
217 typedef boost::multiprecision::number<boost::multiprecision::concepts::number_backend_float_architype, ExpressionTemplates> number_type;
219 static number_type (min)() BOOST_NOEXCEPT { return (base_type::min)(); }
220 static number_type (max)() BOOST_NOEXCEPT { return (base_type::max)(); }
221 static number_type lowest() BOOST_NOEXCEPT { return -(max)(); }
222 static number_type epsilon() BOOST_NOEXCEPT { return base_type::epsilon(); }
223 static number_type round_error() BOOST_NOEXCEPT { return base_type::round_error(); }
224 static number_type infinity() BOOST_NOEXCEPT { return base_type::infinity(); }
225 static number_type quiet_NaN() BOOST_NOEXCEPT { return base_type::quiet_NaN(); }
226 static number_type signaling_NaN() BOOST_NOEXCEPT { return base_type::signaling_NaN(); }
227 static number_type denorm_min() BOOST_NOEXCEPT { return base_type::denorm_min(); }