libcruft-util/maths.cpp

137 lines
2.8 KiB
C++
Raw Normal View History

2011-05-23 17:18:52 +10:00
/*
* This file is part of libgim.
2011-05-23 17:18:52 +10:00
*
* libgim is free software: you can redistribute it and/or modify it under the
2011-05-23 17:18:52 +10:00
* terms of the GNU General Public License as published by the Free Software
* Foundation, either version 3 of the License, or (at your option) any later
* version.
*
* libgim is distributed in the hope that it will be useful, but WITHOUT ANY
2011-05-23 17:18:52 +10:00
* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
* FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
* details.
*
* You should have received a copy of the GNU General Public License
* along with libgim. If not, see <http://www.gnu.org/licenses/>.
2011-05-23 17:18:52 +10:00
*
2012-04-23 13:06:41 +10:00
* Copyright 2010 Danny Robson <danny@nerdcruft.net>
2011-05-23 17:18:52 +10:00
*/
#include "maths.hpp"
2011-08-29 14:31:22 +10:00
#include "enable_if.hpp"
2011-05-23 17:18:52 +10:00
#include "float.hpp"
#include <cmath>
2011-08-29 14:31:22 +10:00
#include <type_traits>
2011-05-23 17:18:52 +10:00
template <typename T>
T
pow2 (T value)
{ return value * value; }
2011-05-23 17:18:52 +10:00
template double pow2(double);
template int pow2( int);
2011-08-29 14:31:22 +10:00
template <typename T>
bool
is_pow2 (T value) {
typedef typename enable_if<std::is_integral<T>::value, bool>::type return_type;
return (return_type)(value && !(value & (value - 1)));
}
template bool is_pow2 (uint8_t);
template bool is_pow2 (uint16_t);
template bool is_pow2 (uint32_t);
template bool is_pow2 (uint64_t);
2011-05-23 17:18:52 +10:00
template <typename T>
double
rootsquare (T a, T b)
{ return sqrt (pow2 (a) + pow2 (b)); }
2011-05-23 17:18:52 +10:00
template double rootsquare (double, double);
template double rootsquare ( int, int);
template <typename T>
bool
is_integer (const T &value) {
T integer;
return exactly_equal (std::modf (value, &integer),
static_cast<T> (0.0));
}
template bool is_integer (const double&);
template bool is_integer (const float&);
2011-05-23 17:18:52 +10:00
template <>
bool
almost_equal (const float &a, const float &b)
2011-05-23 17:18:52 +10:00
{ return ieee_single::almost_equal (a, b); }
template <>
bool
almost_equal (const double &a, const double &b)
2011-05-23 17:18:52 +10:00
{ return ieee_double::almost_equal (a, b); }
2011-08-29 14:31:22 +10:00
template <typename T>
typename enable_if<std::is_integral<T>::value, T>::type
round_up (T value, T align) {
check_hard (align > 1);
return (value + align - 1) / align;
}
template <typename T>
T
round_pow2 (T value) {
typedef typename enable_if<std::is_integral<T>::value, T>::type return_type;
--value;
for (unsigned i = 1; i < sizeof (T) * 8; i <<= 1) {
value |= value >> i;
}
++value;
return (return_type)value;
}
template uint8_t round_pow2 (uint8_t);
template uint16_t round_pow2 (uint16_t);
template uint32_t round_pow2 (uint32_t);
template uint64_t round_pow2 (uint64_t);
2012-05-03 15:55:45 +10:00
template <typename T>
int
sign (T val) {
return val >= 0 ? 1 : -1;
}
template <>
int
sign (float val) {
return copysign (1.0, val);
}
template <>
int
sign (double val) {
return copysign (1.0, val);
}
template int sign (int);