cxx/test/numerics/complex.number/complex.transcendentals/pow_scalar_complex.pass.cpp
Howard Hinnant b64f8b07c1 license change
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@119395 91177308-0d34-0410-b5e6-96231b3b80d8
2010-11-16 22:09:02 +00:00

70 lines
1.6 KiB
C++

//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is dual licensed under the MIT and the University of Illinois Open
// Source Licenses. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <complex>
// template<class T>
// complex<T>
// pow(const T& x, const complex<T>& y);
#include <complex>
#include <cassert>
#include "../cases.h"
template <class T>
void
test(const T& a, const std::complex<T>& b, std::complex<T> x)
{
std::complex<T> c = pow(a, b);
is_about(real(c), real(x));
assert(std::abs(imag(c)) < 1.e-6);
}
template <class T>
void
test()
{
test(T(2), std::complex<T>(2), std::complex<T>(4));
}
void test_edges()
{
const double pi = std::atan2(+0., -0.);
const unsigned N = sizeof(x) / sizeof(x[0]);
for (unsigned i = 0; i < N; ++i)
{
for (unsigned j = 0; j < N; ++j)
{
std::complex<double> r = pow(real(x[i]), x[j]);
std::complex<double> z = exp(x[j] * log(std::complex<double>(real(x[i]))));
if (std::isnan(real(r)))
assert(std::isnan(real(z)));
else
{
assert(real(r) == real(z));
}
if (std::isnan(imag(r)))
assert(std::isnan(imag(z)));
else
{
assert(imag(r) == imag(z));
}
}
}
}
int main()
{
test<float>();
test<double>();
test<long double>();
test_edges();
}