2
0
mirror of https://github.com/boostorg/math.git synced 2026-02-27 05:02:32 +00:00

[ci skip] restore original test program

This commit is contained in:
Christopher Kormanyos
2024-02-12 14:44:53 +01:00
parent 6c440afb15
commit 852cb89f91
2 changed files with 372 additions and 265 deletions

View File

@@ -74,6 +74,17 @@ void multiplication_test()
BOOST_TEST(result_mul_toto_is_ok);
}
{
const boost::math::octonion<T> lhs(T(1),T(2),T(3),T(4),T(5),T(6),T(7),T(8));
const boost::math::octonion<T> rhs(T(8),T(7),T(6),T(5),T(4),T(3),T(2),T(1));
const boost::math::octonion<T> prod = lhs * rhs;
const boost::math::octonion<T> ctrl(T(-104), T(14), T(12), T(10), T(152), T(42), T(4), T(74));
BOOST_TEST(prod == ctrl);
}
}
void octonion_original_manual_test()
@@ -308,271 +319,6 @@ void octonion_original_manual_test()
// using != (const octonion<T> &,const octonion<T> &)
BOOST_TEST(o0 != o4);
#if 0
#ifdef BOOST_INTERACTIVE_TEST_INPUT_ITERATOR
std::cout <<"Please input an octonion..." << std::endl;
::std::cin >> o0;
if (::std::cin.fail())
{
std::cout <<"You have entered nonsense!" << std::endl;
}
else
{
std::cout << "You have entered the octonion " << o0 << " ." << std::endl;
}
#else
::std::istringstream bogus("(1,2,3,4,5,6,7,8)");
bogus >> o0;
std::cout << "You have entered the octonion " << o0 << " ." << std::endl;
#endif
std::cout << "For this octonion:";
std::cout << "the value of the real part is " << real(o0) << std::endl;
std::cout << "the value of the unreal part is " << unreal(o0) << std::endl;
std::cout << "the value of the sup norm is "
<< sup(o0) << std::endl;
std::cout << "the value of the l1 norm is "
<< l1(o0) << std::endl;
std::cout << "the value of the magnitude (Euclidean norm) is "
<< abs(o0) << std::endl;
std::cout << "the value of the (Cayley) norm is "
<< norm(o0) << std::endl;
std::cout << "the value of the conjugate is "
<< conj(o0) << std::endl;
std::cout << "the value of the exponential is "
<< exp(o0) << std::endl;
std::cout << "the value of the cube is "
<< pow(o0,3) << std::endl;
std::cout << "the value of the cosinus is "
<< cos(o0) << std::endl;
std::cout << "the value of the sinus is "
<< sin(o0) << std::endl;
std::cout << "the value of the tangent is "
<< tan(o0) << std::endl;
std::cout << "the value of the hyperbolic cosinus is "
<< cosh(o0) << std::endl;
std::cout << "the value of the hyperbolic sinus is "
<< sinh(o0) << std::endl;
std::cout << "the value of the hyperbolic tangent is "
<< tanh(o0) << std::endl;
#ifdef BOOST_NO_TEMPLATE_TEMPLATES
std::cout << "no template templates, can't compute cardinal functions");
#else /* BOOST_NO_TEMPLATE_TEMPLATES */
std::cout << "the value of the Sinus Cardinal (of index pi) is "
<< sinc_pi(o0) << std::endl;
std::cout << "the value of "
<< "the Hyperbolic Sinus Cardinal (of index pi) is "
<< sinhc_pi(o0) << std::endl;
#endif /* BOOST_NO_TEMPLATE_TEMPLATES */
std::cout <<" " << std::endl;
float rho = ::std::sqrt(4096.0f);
float theta = ::std::atan(1.0f);
float phi1 = ::std::atan(1.0f);
float phi2 = ::std::atan(1.0f);
float phi3 = ::std::atan(1.0f);
float phi4 = ::std::atan(1.0f);
float phi5 = ::std::atan(1.0f);
float phi6 = ::std::atan(1.0f);
std::cout << "The value of the octonion represented "
<< "in spherical form by "
<< "rho = " << rho << " , theta = " << theta
<< " , phi1 = " << phi1 << " , phi2 = " << phi2
<< " , phi3 = " << phi3 << " , phi4 = " << phi4
<< " , phi5 = " << phi5 << " , phi6 = " << phi6
<< " is "
<< ::boost::math::spherical(rho, theta,
phi1, phi2, phi3, phi4, phi5, phi6) << std::endl;
float rho1 = 1;
float rho2 = 2;
float rho3 = ::std::sqrt(2.0f);
float rho4 = ::std::sqrt(8.0f);
float theta1 = 0;
float theta2 = ::std::atan(1.0f)*2;
float theta3 = ::std::atan(1.0f);
float theta4 = ::std::atan(::std::sqrt(3.0f));
std::cout << "The value of the octonion represented "
<< "in multipolar form by "
<< "rho1 = " << rho1 << " , theta1 = " << theta1
<< " , rho2 = " << rho2 << " , theta2 = " << theta2
<< "rho3 = " << rho3 << " , theta3 = " << theta3
<< " , rho4 = " << rho4 << " , theta4 = " << theta4
<< " is "
<< ::boost::math::multipolar(rho1, theta1, rho2, theta2,
rho3, theta3, rho4, theta4) << std::endl;
float r = ::std::sqrt(2.0f);
float angle = ::std::atan(1.0f);
float h1 = 3;
float h2 = 4;
float h3 = 5;
float h4 = 6;
float h5 = 7;
float h6 = 8;
std::cout << "The value of the octonion represented "
<< "in cylindrical form by "
<< "r = " << r << " , angle = " << angle
<< " , h1 = " << h1 << " , h2 = " << h2
<< " , h3 = " << h3 << " , h4 = " << h4
<< " , h5 = " << h5 << " , h6 = " << h6
<< " is " << ::boost::math::cylindrical(r, angle,
h1, h2, h3, h4, h5, h6) << std::endl;
double real_1(1);
::std::complex<double> complex_1(1);
::std::complex<double> complex_i(0,1);
::boost::math::quaternion<double> quaternion_1(1);
::boost::math::quaternion<double> quaternion_i(0,1);
::boost::math::quaternion<double> quaternion_j(0,0,1);
::boost::math::quaternion<double> quaternion_k(0,0,0,1);
::boost::math::octonion<double> octonion_1(1);
::boost::math::octonion<double> octonion_i(0,1);
::boost::math::octonion<double> octonion_j(0,0,1);
::boost::math::octonion<double> octonion_k(0,0,0,1);
::boost::math::octonion<double> octonion_e_prime(0,0,0,0,1);
::boost::math::octonion<double> octonion_i_prime(0,0,0,0,0,1);
::boost::math::octonion<double> octonion_j_prime(0,0,0,0,0,0,1);
::boost::math::octonion<double> octonion_k_prime(0,0,0,0,0,0,0,1);
std::cout <<" " << std::endl;
std::cout << "Real 1: " << real_1
<< " ; Complex 1: " << complex_1
<< " ; Quaternion 1: " << quaternion_1
<< " ; Octonion 1: " << octonion_1 << " ." << std::endl;
std::cout << "Complex i: " << complex_i
<< " ; Quaternion i: " << quaternion_i
<< " ; Octonion i : " << octonion_i << " ." << std::endl;
std::cout << "Quaternion j: " << quaternion_j
<< " ; Octonion j: " << octonion_j << " ." << std::endl;
std::cout << "Quaternion k: " << quaternion_k
<< " ; Octonion k: " << octonion_k << " ." << std::endl;
std::cout << "Quaternion e\': " << octonion_e_prime << " ." << std::endl;
std::cout << "Quaternion i\': " << octonion_i_prime << " ." << std::endl;
std::cout << "Quaternion j\': " << octonion_j_prime << " ." << std::endl;
std::cout << "Quaternion k\': " << octonion_k_prime << " ." << std::endl;
std::cout <<" " << std::endl;
std::cout << octonion_1*octonion_1 << " ; "
<< octonion_1*octonion_i << " ; "
<< octonion_1*octonion_j << " ; "
<< octonion_1*octonion_k << " ; "
<< octonion_1*octonion_e_prime << " ; "
<< octonion_1*octonion_i_prime << " ; "
<< octonion_1*octonion_j_prime << " ; "
<< octonion_1*octonion_k_prime << " ; " << std::endl;
std::cout << octonion_i*octonion_1 << " ; "
<< octonion_i*octonion_i << " ; "
<< octonion_i*octonion_j << " ; "
<< octonion_i*octonion_k << " ; "
<< octonion_i*octonion_e_prime << " ; "
<< octonion_i*octonion_i_prime << " ; "
<< octonion_i*octonion_j_prime << " ; "
<< octonion_i*octonion_k_prime << " ; " << std::endl;
std::cout << octonion_j*octonion_1 << " ; "
<< octonion_j*octonion_i << " ; "
<< octonion_j*octonion_j << " ; "
<< octonion_j*octonion_k << " ; "
<< octonion_j*octonion_e_prime << " ; "
<< octonion_j*octonion_i_prime << " ; "
<< octonion_j*octonion_j_prime << " ; "
<< octonion_j*octonion_k_prime << " ; " << std::endl;
std::cout << octonion_k*octonion_1 << " ; "
<< octonion_k*octonion_i << " ; "
<< octonion_k*octonion_j << " ; "
<< octonion_k*octonion_k << " ; "
<< octonion_k*octonion_e_prime << " ; "
<< octonion_k*octonion_i_prime << " ; "
<< octonion_k*octonion_j_prime << " ; "
<< octonion_k*octonion_k_prime << " ; " << std::endl;
std::cout << octonion_e_prime*octonion_1 << " ; "
<< octonion_e_prime*octonion_i << " ; "
<< octonion_e_prime*octonion_j << " ; "
<< octonion_e_prime*octonion_k << " ; "
<< octonion_e_prime*octonion_e_prime << " ; "
<< octonion_e_prime*octonion_i_prime << " ; "
<< octonion_e_prime*octonion_j_prime << " ; "
<< octonion_e_prime*octonion_k_prime << " ; " << std::endl;
std::cout << octonion_i_prime*octonion_1 << " ; "
<< octonion_i_prime*octonion_i << " ; "
<< octonion_i_prime*octonion_j << " ; "
<< octonion_i_prime*octonion_k << " ; "
<< octonion_i_prime*octonion_e_prime << " ; "
<< octonion_i_prime*octonion_i_prime << " ; "
<< octonion_i_prime*octonion_j_prime << " ; "
<< octonion_i_prime*octonion_k_prime << " ; " << std::endl;
std::cout << octonion_j_prime*octonion_1 << " ; "
<< octonion_j_prime*octonion_i << " ; "
<< octonion_j_prime*octonion_j << " ; "
<< octonion_j_prime*octonion_k << " ; "
<< octonion_j_prime*octonion_e_prime << " ; "
<< octonion_j_prime*octonion_i_prime << " ; "
<< octonion_j_prime*octonion_j_prime << " ; "
<< octonion_j_prime*octonion_k_prime << " ; " << std::endl;
std::cout << octonion_k_prime*octonion_1 << " ; "
<< octonion_k_prime*octonion_i << " ; "
<< octonion_k_prime*octonion_j << " ; "
<< octonion_k_prime*octonion_k << " ; "
<< octonion_k_prime*octonion_e_prime << " ; "
<< octonion_k_prime*octonion_i_prime << " ; "
<< octonion_k_prime*octonion_j_prime << " ; "
<< octonion_k_prime*octonion_k_prime << " ; " << std::endl;
std::cout <<" " << std::endl;
std::cout <<"i\'*(e\'*j) : "
<< octonion_i_prime*(octonion_e_prime*octonion_j) << " ;" << std::endl;
std::cout <<"(i\'*e\')*j : "
<< (octonion_i_prime*octonion_e_prime)*octonion_j << " ;" << std::endl;
std::cout <<" " << std::endl;
#endif
}
template <class T>

View File

@@ -0,0 +1,361 @@
// Copyright Hubert Holin 2001.
// Copyright Christopher Kormanyos 2024
// Distributed under the Boost Software License, Version 1.0. (See
// accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
#include <iomanip>
#include <boost/mpl/list.hpp>
#include <boost/math/octonion.hpp>
#include <boost/core/lightweight_test.hpp>
// test file for octonion.hpp
namespace
{
template<typename T>
::boost::math::octonion<T> index_i_element(int idx)
{
return(
::boost::math::octonion<T>(
(idx == 0) ?
static_cast<T>(1) :
static_cast<T>(0),
(idx == 1) ?
static_cast<T>(1) :
static_cast<T>(0),
(idx == 2) ?
static_cast<T>(1) :
static_cast<T>(0),
(idx == 3) ?
static_cast<T>(1) :
static_cast<T>(0),
(idx == 4) ?
static_cast<T>(1) :
static_cast<T>(0),
(idx == 5) ?
static_cast<T>(1) :
static_cast<T>(0),
(idx == 6) ?
static_cast<T>(1) :
static_cast<T>(0),
(idx == 7) ?
static_cast<T>(1) :
static_cast<T>(0)
));
}
}
template<class T>
void multiplication_test()
{
using ::std::numeric_limits;
using ::boost::math::abs;
// Testing multiplication.
const auto one_by_one = ::boost::math::octonion<T>(1,0,0,0,0,0,0,0) * ::boost::math::octonion<T>(1,0,0,0,0,0,0,0);
const T delta { abs(one_by_one - static_cast<T>(1)) };
const auto result_mul_one_is_ok = (delta < numeric_limits<T>::epsilon());
BOOST_TEST(result_mul_one_is_ok);
for (int idx = 1; idx < 8; ++idx)
{
::boost::math::octonion<T> toto = index_i_element<T>(idx);
const T tabs { abs(toto*toto+static_cast<T>(1)) };
const auto result_mul_toto_is_ok = (tabs < numeric_limits<T>::epsilon());
BOOST_TEST(result_mul_toto_is_ok);
}
{
const boost::math::octonion<T> lhs(T(1),T(2),T(3),T(4),T(5),T(6),T(7),T(8));
const boost::math::octonion<T> rhs(T(8),T(7),T(6),T(5),T(4),T(3),T(2),T(1));
const boost::math::octonion<T> prod = lhs * rhs;
const boost::math::octonion<T> ctrl(T(-104), T(14), T(12), T(10), T(152), T(42), T(4), T(74));
BOOST_TEST(prod == ctrl);
}
}
void octonion_original_manual_test()
{
// tests for evaluation by humans
// using default constructor
::boost::math::octonion<float> o0;
::boost::math::octonion<float> oa[2];
// using constructor "O seen as R^8"
::boost::math::octonion<float> o1(1,2,3,4,5,6,7,8);
::std::complex<double> c0(9,10);
// using constructor "O seen as C^4"
::boost::math::octonion<double> o2(c0);
::boost::math::quaternion<long double> q0(11,12,13,14);
// using constructor "O seen as H^2"
::boost::math::octonion<long double> o3(q0);
// using UNtemplated copy constructor
::boost::math::octonion<float> o4(o1);
// using templated copy constructor
::boost::math::octonion<long double> o5(o2);
// using UNtemplated assignment operator
o5 = o3;
oa[0] = o0;
// using templated assignment operator
o5 = o2;
oa[1] = o5;
float f0(15);
// using converting assignment operator
o0 = f0;
// using converting assignment operator
o2 = c0;
// using converting assignment operator
o5 = q0;
// using += (const T &)
o4 += f0;
// using == (const octonion<T> &,const octonion<T> &)
BOOST_TEST(o0 != o4);
// using += (const ::std::complex<T> &)
o2 += c0;
// using == (const ::boost::math::quaternion<T> &, const octonion<T> &)
BOOST_TEST(q0 == o3);
// using += (const ::boost::math::quaternion<T> &)
o3 += q0;
BOOST_TEST(2 * q0 == o3);
// using += (const quaternion<X> &)
o5 += o4;
// using -= (const T &)
o1 -= f0;
// using -= (const ::std::complex<T> &)
o2 -= c0;
// using -= (const ::boost::math::quaternion<T> &)
o5 -= q0;
// using -= (const octonion<X> &)
o3 -= o4;
// using == (const ::std::complex<T> &, const octonion<T> &)
BOOST_TEST(c0 == o2);
// using == (const octonion<T> &, const ::std::complex<T> &)
BOOST_TEST(o2 == c0);
double d0(16);
::std::complex<double> c1(17,18);
::boost::math::quaternion<double> q1(19,20,21,22);
// using *= (const T &)
o2 *= d0;
// using *= (const ::std::complex<T> &)
o2 *= c1;
// using *= (const ::boost::math::quaternion<T> &)
o2 *= q1;
// using *= (const octonion<X> &)
o2 *= o4;
long double l0(23);
::std::complex<long double> c2(24,25);
// using /= (const T &)
o5 /= l0;
// using /= (const ::std::complex<T> &)
o5 /= c2;
// using /= (const quaternion<X> &)
o5 /= q0;
// using /= (const octonion<X> &)
o5 /= o5;
// using + (const T &, const octonion<T> &)
::boost::math::octonion<float> o6 = f0+o0;
// using + (const octonion<T> &, const T &)
::boost::math::octonion<float> o7 = o0+f0;
// using + (const ::std::complex<T> &, const quaternion<T> &)
::boost::math::octonion<double> o8 = c0+o2;
// using + (const octonion<T> &, const ::std::complex<T> &)
::boost::math::octonion<double> o9 = o2+c0;
// using + (const ::boost::math::quaternion<T>, const octonion<T> &)
::boost::math::octonion<long double> o10 = q0+o3;
// using + (const octonion<T> &, const ::boost::math::quaternion<T> &)
::boost::math::octonion<long double> o11 = o3+q0;
// using + (const quaternion<T> &,const quaternion<T> &)
::boost::math::octonion<float> o12 = o0+o4;
// using - (const T &, const octonion<T> &)
o6 = f0-o0;
// using - (const octonion<T> &, const T &)
o7 = o0-f0;
// using - (const ::std::complex<T> &, const octonion<T> &)
o8 = c0-o2;
// using - (const octonion<T> &, const ::std::complex<T> &)
o9 = o2-c0;
// using - (const quaternion<T> &,const octonion<T> &)
o10 = q0-o3;
// using - (const octonion<T> &,const quaternion<T> &)
o11 = o3-q0;
// using - (const octonion<T> &,const octonion<T> &)
o12 = o0-o4;
// using * (const T &, const octonion<T> &)
o6 = f0*o0;
// using * (const octonion<T> &, const T &)
o7 = o0*f0;
// using * (const ::std::complex<T> &, const octonion<T> &)
o8 = c0*o2;
// using * (const octonion<T> &, const ::std::complex<T> &)
o9 = o2*c0;
// using * (const quaternion<T> &,const octonion<T> &)
o10 = q0*o3;
// using * (const octonion<T> &,const quaternion<T> &)
o11 = o3*q0;
// using * (const octonion<T> &,const octonion<T> &)
o12 = o0*o4;
// using / (const T &, const octonion<T> &)
o6 = f0/o0;
// using / (const octonion<T> &, const T &)
o7 = o0/f0;
// using / (const ::std::complex<T> &, const octonion<T> &)
o8 = c0/o2;
// using / (const octonion<T> &, const ::std::complex<T> &)
o9 = o2/c0;
// using / (const ::boost::math::quaternion<T> &, const octonion<T> &)
o10 = q0/o3;
// using / (const octonion<T> &, const ::boost::math::quaternion<T> &)
o11 = o3/q0;
// using / (const octonion<T> &,const octonion<T> &)
o12 = o0/o4;
// using + (const octonion<T> &)
o4 = +o0;
// using == (const T &, const octonion<T> &)
BOOST_TEST(f0 == o0);
// using == (const octonion<T> &, const T &)
BOOST_TEST(o0 == f0);
// using - (const octonion<T> &)
o0 = -o4;
// using != (const T &, const octonion<T> &)
BOOST_TEST(f0 != o0);
// using != (const octonion<T> &, const T &)
BOOST_TEST(o0 != f0);
// using != (const ::std::complex<T> &, const octonion<T> &)
BOOST_TEST(c0 != o2);
// using != (const octonion<T> &, const ::std::complex<T> &)
BOOST_TEST(o2 != c0);
// using != (const ::boost::math::quaternion<T> &, const octonion<T> &)
BOOST_TEST(q0 != o3);
// using != (const octonion<T> &, const ::boost::math::quaternion<T> &)
BOOST_TEST(o3 != q0);
// using != (const octonion<T> &,const octonion<T> &)
BOOST_TEST(o0 != o4);
}
template <class T>
void exp_test()
{
using ::std::numeric_limits;
using ::std::atan;
using ::boost::math::abs;
// Testing exp.
for(int idx = 1; idx < 8; ++idx)
{
::boost::math::octonion<T> toto =
static_cast<T>(4)*atan(static_cast<T>(1))*index_i_element<T>(idx);
const T tabs { abs(exp(toto)+static_cast<T>(1)) };
const auto result_exp_toto_is_ok = (tabs < 2*numeric_limits<T>::epsilon());
BOOST_TEST(result_exp_toto_is_ok);
}
}
auto main() -> int
{
multiplication_test<float>();
multiplication_test<double>();
exp_test<float>();
exp_test<double>();
octonion_original_manual_test();
const auto result_is_ok = (boost::report_errors() == 0);
return (result_is_ok ? 0 : -1);
}