2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
// This file is part of gen, a lightweight C++ template library
|
|
|
|
// for linear algebra. gen itself is part of the KDE project.
|
2007-10-07 20:44:42 +08:00
|
|
|
//
|
|
|
|
// Copyright (C) 2006-2007 Benoit Jacob <jacob@math.jussieu.fr>
|
|
|
|
//
|
2007-10-12 04:14:01 +08:00
|
|
|
// gen is free software; you can redistribute it and/or modify it under the
|
2007-10-07 20:44:42 +08:00
|
|
|
// terms of the GNU General Public License as published by the Free Software
|
|
|
|
// Foundation; either version 2 or (at your option) any later version.
|
|
|
|
//
|
2007-10-12 04:14:01 +08:00
|
|
|
// gen is distributed in the hope that it will be useful, but WITHOUT ANY
|
2007-10-07 20:44:42 +08: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
|
2007-10-12 04:14:01 +08:00
|
|
|
// with gen; if not, write to the Free Software Foundation, Inc., 51
|
2007-10-07 20:44:42 +08:00
|
|
|
// Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
|
|
|
|
//
|
|
|
|
// As a special exception, if other files instantiate templates or use macros
|
|
|
|
// or functions from this file, or you compile this file and link it
|
|
|
|
// with other works to produce a work based on this file, this file does not
|
|
|
|
// by itself cause the resulting work to be covered by the GNU General Public
|
|
|
|
// License. This exception does not invalidate any other reasons why a work
|
|
|
|
// based on this file might be covered by the GNU General Public License.
|
|
|
|
|
2007-10-07 23:12:41 +08:00
|
|
|
#ifndef EI_NUMERIC_H
|
|
|
|
#define EI_NUMERIC_H
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> struct NumTraits;
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<> struct NumTraits<int>
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
|
|
|
typedef int Real;
|
|
|
|
typedef double FloatingPoint;
|
|
|
|
typedef double RealFloatingPoint;
|
|
|
|
|
|
|
|
static const bool IsComplex = false;
|
|
|
|
static const bool HasFloatingPoint = false;
|
|
|
|
|
2007-10-07 23:12:41 +08:00
|
|
|
static int epsilon() { return 0; }
|
2007-10-07 20:44:42 +08:00
|
|
|
static int real(const int& x) { return x; }
|
|
|
|
static int imag(const int& x) { EI_UNUSED(x); return 0; }
|
|
|
|
static int conj(const int& x) { return x; }
|
|
|
|
static double sqrt(const int& x) { return std::sqrt(static_cast<double>(x)); }
|
|
|
|
static int abs(const int& x) { return std::abs(x); }
|
|
|
|
static int abs2(const int& x) { return x*x; }
|
2007-10-10 14:09:56 +08:00
|
|
|
static int rand()
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
|
|
|
// "rand()%21" would be bad. always use the high-order bits, not the low-order bits.
|
|
|
|
// note: here (gcc 4.1) static_cast<int> seems to round the nearest int.
|
|
|
|
// I don't know if that's part of the standard.
|
2007-10-10 14:09:56 +08:00
|
|
|
return -10 + static_cast<int>(std::rand() / ((RAND_MAX + 1.0)/20.0));
|
2007-10-07 20:44:42 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<> struct NumTraits<float>
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
|
|
|
typedef float Real;
|
|
|
|
typedef float FloatingPoint;
|
|
|
|
typedef float RealFloatingPoint;
|
|
|
|
|
|
|
|
static const bool IsComplex = false;
|
|
|
|
static const bool HasFloatingPoint = true;
|
|
|
|
|
2007-10-07 23:12:41 +08:00
|
|
|
static float epsilon() { return 1e-5f; }
|
2007-10-07 20:44:42 +08:00
|
|
|
static float real(const float& x) { return x; }
|
|
|
|
static float imag(const float& x) { EI_UNUSED(x); return 0; }
|
|
|
|
static float conj(const float& x) { return x; }
|
|
|
|
static float sqrt(const float& x) { return std::sqrt(x); }
|
|
|
|
static float abs(const float& x) { return std::abs(x); }
|
|
|
|
static float abs2(const float& x) { return x*x; }
|
2007-10-10 14:09:56 +08:00
|
|
|
static float rand()
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
2007-10-10 14:09:56 +08:00
|
|
|
return std::rand() / (RAND_MAX/20.0f) - 10.0f;
|
2007-10-07 20:44:42 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<> struct NumTraits<double>
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
|
|
|
typedef double Real;
|
|
|
|
typedef double FloatingPoint;
|
|
|
|
typedef double RealFloatingPoint;
|
|
|
|
|
|
|
|
static const bool IsComplex = false;
|
|
|
|
static const bool HasFloatingPoint = true;
|
|
|
|
|
2007-10-07 23:12:41 +08:00
|
|
|
static double epsilon() { return 1e-11; }
|
2007-10-07 20:44:42 +08:00
|
|
|
static double real(const double& x) { return x; }
|
|
|
|
static double imag(const double& x) { EI_UNUSED(x); return 0; }
|
|
|
|
static double conj(const double& x) { return x; }
|
|
|
|
static double sqrt(const double& x) { return std::sqrt(x); }
|
|
|
|
static double abs(const double& x) { return std::abs(x); }
|
|
|
|
static double abs2(const double& x) { return x*x; }
|
2007-10-10 14:09:56 +08:00
|
|
|
static double rand()
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
2007-10-10 14:09:56 +08:00
|
|
|
return std::rand() / (RAND_MAX/20.0) - 10.0;
|
2007-10-07 20:44:42 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename _Real> struct NumTraits<std::complex<_Real> >
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
|
|
|
typedef _Real Real;
|
|
|
|
typedef std::complex<Real> Complex;
|
|
|
|
typedef std::complex<double> FloatingPoint;
|
2007-10-12 04:14:01 +08:00
|
|
|
typedef typename NumTraits<Real>::FloatingPoint RealFloatingPoint;
|
2007-10-07 20:44:42 +08:00
|
|
|
|
|
|
|
static const bool IsComplex = true;
|
2007-10-12 04:14:01 +08:00
|
|
|
static const bool HasFloatingPoint = NumTraits<Real>::HasFloatingPoint;
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
static Real epsilon() { return NumTraits<Real>::epsilon(); }
|
2007-10-07 20:44:42 +08:00
|
|
|
static Real real(const Complex& x) { return std::real(x); }
|
|
|
|
static Real imag(const Complex& x) { return std::imag(x); }
|
|
|
|
static Complex conj(const Complex& x) { return std::conj(x); }
|
|
|
|
static FloatingPoint sqrt(const Complex& x)
|
|
|
|
{ return std::sqrt(static_cast<FloatingPoint>(x)); }
|
|
|
|
static RealFloatingPoint abs(const Complex& x)
|
|
|
|
{ return std::abs(static_cast<FloatingPoint>(x)); }
|
|
|
|
static Real abs2(const Complex& x)
|
|
|
|
{ return std::real(x) * std::real(x) + std::imag(x) * std::imag(x); }
|
2007-10-10 14:09:56 +08:00
|
|
|
static Complex rand()
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
2007-10-12 04:14:01 +08:00
|
|
|
return Complex(NumTraits<Real>::rand(), NumTraits<Real>::rand());
|
2007-10-07 20:44:42 +08:00
|
|
|
}
|
|
|
|
};
|
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> typename NumTraits<T>::Real Real(const T& x)
|
|
|
|
{ return NumTraits<T>::real(x); }
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> typename NumTraits<T>::Real Imag(const T& x)
|
|
|
|
{ return NumTraits<T>::imag(x); }
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> T Conj(const T& x)
|
|
|
|
{ return NumTraits<T>::conj(x); }
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> typename NumTraits<T>::FloatingPoint Sqrt(const T& x)
|
|
|
|
{ return NumTraits<T>::sqrt(x); }
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> typename NumTraits<T>::RealFloatingPoint Abs(const T& x)
|
|
|
|
{ return NumTraits<T>::abs(x); }
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> typename NumTraits<T>::Real Abs2(const T& x)
|
|
|
|
{ return NumTraits<T>::abs2(x); }
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> T Rand()
|
|
|
|
{ return NumTraits<T>::rand(); }
|
2007-10-07 20:44:42 +08:00
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> bool Negligible(const T& a, const T& b)
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
2007-10-12 04:14:01 +08:00
|
|
|
return(Abs(a) <= Abs(b) * NumTraits<T>::epsilon());
|
2007-10-07 20:44:42 +08:00
|
|
|
}
|
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> bool Approx(const T& a, const T& b)
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
2007-10-12 04:14:01 +08:00
|
|
|
if(NumTraits<T>::IsFloat)
|
|
|
|
return(Abs(a - b) <= std::min(Abs(a), Abs(b)) * NumTraits<T>::epsilon());
|
2007-10-07 20:44:42 +08:00
|
|
|
else
|
|
|
|
return(a == b);
|
|
|
|
}
|
|
|
|
|
2007-10-12 04:14:01 +08:00
|
|
|
template<typename T> bool LessThanOrApprox(const T& a, const T& b)
|
2007-10-07 20:44:42 +08:00
|
|
|
{
|
2007-10-12 04:14:01 +08:00
|
|
|
if(NumTraits<T>::IsFloat)
|
|
|
|
return(a < b || Approx(a, b));
|
2007-10-07 20:44:42 +08:00
|
|
|
else
|
|
|
|
return(a <= b);
|
|
|
|
}
|
|
|
|
|
2007-10-07 23:12:41 +08:00
|
|
|
#endif // EI_NUMERIC_H
|