annotate DEPENDENCIES/generic/include/boost/math/special_functions/sign.hpp @ 16:2665513ce2d3

Add boost headers
author Chris Cannam
date Tue, 05 Aug 2014 11:11:38 +0100
parents
children c530137014c0
rev   line source
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