Chris@16
|
1 // (C) Copyright John Maddock 2006.
|
Chris@16
|
2 // (C) Copyright Johan Rade 2006.
|
Chris@16
|
3 // (C) Copyright Paul A. Bristow 2011 (added changesign).
|
Chris@16
|
4
|
Chris@16
|
5 // Use, modification and distribution are subject to the
|
Chris@16
|
6 // Boost Software License, Version 1.0. (See accompanying file
|
Chris@16
|
7 // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
|
Chris@16
|
8
|
Chris@16
|
9 #ifndef BOOST_MATH_TOOLS_SIGN_HPP
|
Chris@16
|
10 #define BOOST_MATH_TOOLS_SIGN_HPP
|
Chris@16
|
11
|
Chris@16
|
12 #ifdef _MSC_VER
|
Chris@16
|
13 #pragma once
|
Chris@16
|
14 #endif
|
Chris@16
|
15
|
Chris@16
|
16 #include <boost/math/tools/config.hpp>
|
Chris@16
|
17 #include <boost/math/special_functions/math_fwd.hpp>
|
Chris@16
|
18 #include <boost/math/special_functions/detail/fp_traits.hpp>
|
Chris@16
|
19
|
Chris@16
|
20 namespace boost{ namespace math{
|
Chris@16
|
21
|
Chris@16
|
22 namespace detail {
|
Chris@16
|
23
|
Chris@16
|
24 // signbit
|
Chris@16
|
25
|
Chris@16
|
26 #ifdef BOOST_MATH_USE_STD_FPCLASSIFY
|
Chris@16
|
27 template<class T>
|
Chris@16
|
28 inline int signbit_impl(T x, native_tag const&)
|
Chris@16
|
29 {
|
Chris@16
|
30 return (std::signbit)(x);
|
Chris@16
|
31 }
|
Chris@16
|
32 #endif
|
Chris@16
|
33
|
Chris@16
|
34 template<class T>
|
Chris@16
|
35 inline int signbit_impl(T x, generic_tag<true> const&)
|
Chris@16
|
36 {
|
Chris@16
|
37 return x < 0;
|
Chris@16
|
38 }
|
Chris@16
|
39
|
Chris@16
|
40 template<class T>
|
Chris@16
|
41 inline int signbit_impl(T x, generic_tag<false> const&)
|
Chris@16
|
42 {
|
Chris@16
|
43 return x < 0;
|
Chris@16
|
44 }
|
Chris@16
|
45
|
Chris@16
|
46 template<class T>
|
Chris@16
|
47 inline int signbit_impl(T x, ieee_copy_all_bits_tag const&)
|
Chris@16
|
48 {
|
Chris@16
|
49 typedef BOOST_DEDUCED_TYPENAME fp_traits<T>::type traits;
|
Chris@16
|
50
|
Chris@16
|
51 BOOST_DEDUCED_TYPENAME traits::bits a;
|
Chris@16
|
52 traits::get_bits(x,a);
|
Chris@16
|
53 return a & traits::sign ? 1 : 0;
|
Chris@16
|
54 }
|
Chris@16
|
55
|
Chris@16
|
56 template<class T>
|
Chris@16
|
57 inline int signbit_impl(T x, ieee_copy_leading_bits_tag const&)
|
Chris@16
|
58 {
|
Chris@16
|
59 typedef BOOST_DEDUCED_TYPENAME fp_traits<T>::type traits;
|
Chris@16
|
60
|
Chris@16
|
61 BOOST_DEDUCED_TYPENAME traits::bits a;
|
Chris@16
|
62 traits::get_bits(x,a);
|
Chris@16
|
63
|
Chris@16
|
64 return a & traits::sign ? 1 : 0;
|
Chris@16
|
65 }
|
Chris@16
|
66
|
Chris@16
|
67 // Changesign
|
Chris@16
|
68
|
Chris@16
|
69 template<class T>
|
Chris@16
|
70 inline T (changesign_impl)(T x, generic_tag<true> const&)
|
Chris@16
|
71 {
|
Chris@16
|
72 return -x;
|
Chris@16
|
73 }
|
Chris@16
|
74
|
Chris@16
|
75 template<class T>
|
Chris@16
|
76 inline T (changesign_impl)(T x, generic_tag<false> const&)
|
Chris@16
|
77 {
|
Chris@16
|
78 return -x;
|
Chris@16
|
79 }
|
Chris@16
|
80
|
Chris@16
|
81
|
Chris@16
|
82 template<class T>
|
Chris@16
|
83 inline T changesign_impl(T x, ieee_copy_all_bits_tag const&)
|
Chris@16
|
84 {
|
Chris@16
|
85 typedef BOOST_DEDUCED_TYPENAME fp_traits<T>::sign_change_type traits;
|
Chris@16
|
86
|
Chris@16
|
87 BOOST_DEDUCED_TYPENAME traits::bits a;
|
Chris@16
|
88 traits::get_bits(x,a);
|
Chris@16
|
89 a ^= traits::sign;
|
Chris@16
|
90 traits::set_bits(x,a);
|
Chris@16
|
91 return x;
|
Chris@16
|
92 }
|
Chris@16
|
93
|
Chris@16
|
94 template<class T>
|
Chris@16
|
95 inline T (changesign_impl)(T x, ieee_copy_leading_bits_tag const&)
|
Chris@16
|
96 {
|
Chris@16
|
97 typedef BOOST_DEDUCED_TYPENAME fp_traits<T>::sign_change_type traits;
|
Chris@16
|
98
|
Chris@16
|
99 BOOST_DEDUCED_TYPENAME traits::bits a;
|
Chris@16
|
100 traits::get_bits(x,a);
|
Chris@16
|
101 a ^= traits::sign;
|
Chris@16
|
102 traits::set_bits(x,a);
|
Chris@16
|
103 return x;
|
Chris@16
|
104 }
|
Chris@16
|
105
|
Chris@16
|
106
|
Chris@16
|
107 } // namespace detail
|
Chris@16
|
108
|
Chris@16
|
109 template<class T> int (signbit)(T x)
|
Chris@16
|
110 {
|
Chris@16
|
111 typedef typename detail::fp_traits<T>::type traits;
|
Chris@16
|
112 typedef typename traits::method method;
|
Chris@16
|
113 // typedef typename boost::is_floating_point<T>::type fp_tag;
|
Chris@16
|
114 typedef typename tools::promote_args_permissive<T>::type result_type;
|
Chris@16
|
115 return detail::signbit_impl(static_cast<result_type>(x), method());
|
Chris@16
|
116 }
|
Chris@16
|
117
|
Chris@16
|
118 template <class T>
|
Chris@16
|
119 inline int sign BOOST_NO_MACRO_EXPAND(const T& z)
|
Chris@16
|
120 {
|
Chris@16
|
121 return (z == 0) ? 0 : (boost::math::signbit)(z) ? -1 : 1;
|
Chris@16
|
122 }
|
Chris@16
|
123
|
Chris@16
|
124 template <class T> typename tools::promote_args_permissive<T>::type (changesign)(const T& x)
|
Chris@16
|
125 { //!< \brief return unchanged binary pattern of x, except for change of sign bit.
|
Chris@16
|
126 typedef typename detail::fp_traits<T>::sign_change_type traits;
|
Chris@16
|
127 typedef typename traits::method method;
|
Chris@16
|
128 // typedef typename boost::is_floating_point<T>::type fp_tag;
|
Chris@16
|
129 typedef typename tools::promote_args_permissive<T>::type result_type;
|
Chris@16
|
130
|
Chris@16
|
131 return detail::changesign_impl(static_cast<result_type>(x), method());
|
Chris@16
|
132 }
|
Chris@16
|
133
|
Chris@16
|
134 template <class T, class U>
|
Chris@16
|
135 inline typename tools::promote_args_permissive<T, U>::type
|
Chris@16
|
136 copysign BOOST_NO_MACRO_EXPAND(const T& x, const U& y)
|
Chris@16
|
137 {
|
Chris@16
|
138 BOOST_MATH_STD_USING
|
Chris@16
|
139 typedef typename tools::promote_args_permissive<T, U>::type result_type;
|
Chris@16
|
140 return (boost::math::signbit)(static_cast<result_type>(x)) != (boost::math::signbit)(static_cast<result_type>(y))
|
Chris@16
|
141 ? (boost::math::changesign)(static_cast<result_type>(x)) : static_cast<result_type>(x);
|
Chris@16
|
142 }
|
Chris@16
|
143
|
Chris@16
|
144 } // namespace math
|
Chris@16
|
145 } // namespace boost
|
Chris@16
|
146
|
Chris@16
|
147
|
Chris@16
|
148 #endif // BOOST_MATH_TOOLS_SIGN_HPP
|
Chris@16
|
149
|
Chris@16
|
150
|