diff --git a/test/octonion_test.cpp b/test/octonion_test.cpp index 70fb10bc8..50571b944 100644 --- a/test/octonion_test.cpp +++ b/test/octonion_test.cpp @@ -74,6 +74,17 @@ void multiplication_test() BOOST_TEST(result_mul_toto_is_ok); } + + { + const boost::math::octonion lhs(T(1),T(2),T(3),T(4),T(5),T(6),T(7),T(8)); + const boost::math::octonion rhs(T(8),T(7),T(6),T(5),T(4),T(3),T(2),T(1)); + + const boost::math::octonion prod = lhs * rhs; + + const boost::math::octonion 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 &,const octonion &) 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 complex_1(1); - ::std::complex complex_i(0,1); - ::boost::math::quaternion quaternion_1(1); - ::boost::math::quaternion quaternion_i(0,1); - ::boost::math::quaternion quaternion_j(0,0,1); - ::boost::math::quaternion quaternion_k(0,0,0,1); - ::boost::math::octonion octonion_1(1); - ::boost::math::octonion octonion_i(0,1); - ::boost::math::octonion octonion_j(0,0,1); - ::boost::math::octonion octonion_k(0,0,0,1); - ::boost::math::octonion octonion_e_prime(0,0,0,0,1); - ::boost::math::octonion octonion_i_prime(0,0,0,0,0,1); - ::boost::math::octonion octonion_j_prime(0,0,0,0,0,0,1); - ::boost::math::octonion 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 diff --git a/test/octonion_test_simple.cpp b/test/octonion_test_simple.cpp new file mode 100644 index 000000000..50571b944 --- /dev/null +++ b/test/octonion_test_simple.cpp @@ -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 + +#include +#include +#include + +// test file for octonion.hpp + +namespace +{ + template + ::boost::math::octonion index_i_element(int idx) + { + return( + ::boost::math::octonion( + (idx == 0) ? + static_cast(1) : + static_cast(0), + (idx == 1) ? + static_cast(1) : + static_cast(0), + (idx == 2) ? + static_cast(1) : + static_cast(0), + (idx == 3) ? + static_cast(1) : + static_cast(0), + (idx == 4) ? + static_cast(1) : + static_cast(0), + (idx == 5) ? + static_cast(1) : + static_cast(0), + (idx == 6) ? + static_cast(1) : + static_cast(0), + (idx == 7) ? + static_cast(1) : + static_cast(0) + )); + } +} + +template +void multiplication_test() +{ + using ::std::numeric_limits; + + using ::boost::math::abs; + + // Testing multiplication. + + const auto one_by_one = ::boost::math::octonion(1,0,0,0,0,0,0,0) * ::boost::math::octonion(1,0,0,0,0,0,0,0); + + const T delta { abs(one_by_one - static_cast(1)) }; + + const auto result_mul_one_is_ok = (delta < numeric_limits::epsilon()); + + BOOST_TEST(result_mul_one_is_ok); + + for (int idx = 1; idx < 8; ++idx) + { + ::boost::math::octonion toto = index_i_element(idx); + + const T tabs { abs(toto*toto+static_cast(1)) }; + + const auto result_mul_toto_is_ok = (tabs < numeric_limits::epsilon()); + + BOOST_TEST(result_mul_toto_is_ok); + } + + { + const boost::math::octonion lhs(T(1),T(2),T(3),T(4),T(5),T(6),T(7),T(8)); + const boost::math::octonion rhs(T(8),T(7),T(6),T(5),T(4),T(3),T(2),T(1)); + + const boost::math::octonion prod = lhs * rhs; + + const boost::math::octonion 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 o0; + + ::boost::math::octonion oa[2]; + + // using constructor "O seen as R^8" + ::boost::math::octonion o1(1,2,3,4,5,6,7,8); + + ::std::complex c0(9,10); + + // using constructor "O seen as C^4" + ::boost::math::octonion o2(c0); + + ::boost::math::quaternion q0(11,12,13,14); + + // using constructor "O seen as H^2" + ::boost::math::octonion o3(q0); + + // using UNtemplated copy constructor + ::boost::math::octonion o4(o1); + + // using templated copy constructor + ::boost::math::octonion 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 &,const octonion &) + BOOST_TEST(o0 != o4); + + // using += (const ::std::complex &) + o2 += c0; + + // using == (const ::boost::math::quaternion &, const octonion &) + BOOST_TEST(q0 == o3); + + // using += (const ::boost::math::quaternion &) + o3 += q0; + + BOOST_TEST(2 * q0 == o3); + + // using += (const quaternion &) + o5 += o4; + + // using -= (const T &) + o1 -= f0; + + // using -= (const ::std::complex &) + o2 -= c0; + + // using -= (const ::boost::math::quaternion &) + o5 -= q0; + + // using -= (const octonion &) + o3 -= o4; + + // using == (const ::std::complex &, const octonion &) + BOOST_TEST(c0 == o2); + + // using == (const octonion &, const ::std::complex &) + BOOST_TEST(o2 == c0); + + double d0(16); + ::std::complex c1(17,18); + ::boost::math::quaternion q1(19,20,21,22); + + // using *= (const T &) + o2 *= d0; + + // using *= (const ::std::complex &) + o2 *= c1; + + // using *= (const ::boost::math::quaternion &) + o2 *= q1; + + // using *= (const octonion &) + o2 *= o4; + + long double l0(23); + ::std::complex c2(24,25); + + // using /= (const T &) + o5 /= l0; + + // using /= (const ::std::complex &) + o5 /= c2; + + // using /= (const quaternion &) + o5 /= q0; + + // using /= (const octonion &) + o5 /= o5; + + // using + (const T &, const octonion &) + ::boost::math::octonion o6 = f0+o0; + + // using + (const octonion &, const T &) + ::boost::math::octonion o7 = o0+f0; + + // using + (const ::std::complex &, const quaternion &) + ::boost::math::octonion o8 = c0+o2; + + // using + (const octonion &, const ::std::complex &) + ::boost::math::octonion o9 = o2+c0; + + // using + (const ::boost::math::quaternion, const octonion &) + ::boost::math::octonion o10 = q0+o3; + + // using + (const octonion &, const ::boost::math::quaternion &) + ::boost::math::octonion o11 = o3+q0; + + // using + (const quaternion &,const quaternion &) + ::boost::math::octonion o12 = o0+o4; + + // using - (const T &, const octonion &) + o6 = f0-o0; + + // using - (const octonion &, const T &) + o7 = o0-f0; + + // using - (const ::std::complex &, const octonion &) + o8 = c0-o2; + + // using - (const octonion &, const ::std::complex &) + o9 = o2-c0; + + // using - (const quaternion &,const octonion &) + o10 = q0-o3; + + // using - (const octonion &,const quaternion &) + o11 = o3-q0; + + // using - (const octonion &,const octonion &) + o12 = o0-o4; + + // using * (const T &, const octonion &) + o6 = f0*o0; + + // using * (const octonion &, const T &) + o7 = o0*f0; + + // using * (const ::std::complex &, const octonion &) + o8 = c0*o2; + + // using * (const octonion &, const ::std::complex &) + o9 = o2*c0; + + // using * (const quaternion &,const octonion &) + o10 = q0*o3; + + // using * (const octonion &,const quaternion &) + o11 = o3*q0; + + // using * (const octonion &,const octonion &) + o12 = o0*o4; + + // using / (const T &, const octonion &) + o6 = f0/o0; + + // using / (const octonion &, const T &) + o7 = o0/f0; + + // using / (const ::std::complex &, const octonion &) + o8 = c0/o2; + + // using / (const octonion &, const ::std::complex &) + o9 = o2/c0; + + // using / (const ::boost::math::quaternion &, const octonion &) + o10 = q0/o3; + + // using / (const octonion &, const ::boost::math::quaternion &) + o11 = o3/q0; + + // using / (const octonion &,const octonion &) + o12 = o0/o4; + + // using + (const octonion &) + o4 = +o0; + + // using == (const T &, const octonion &) + BOOST_TEST(f0 == o0); + + // using == (const octonion &, const T &) + BOOST_TEST(o0 == f0); + + // using - (const octonion &) + o0 = -o4; + + // using != (const T &, const octonion &) + BOOST_TEST(f0 != o0); + + // using != (const octonion &, const T &) + BOOST_TEST(o0 != f0); + + // using != (const ::std::complex &, const octonion &) + BOOST_TEST(c0 != o2); + + // using != (const octonion &, const ::std::complex &) + BOOST_TEST(o2 != c0); + + // using != (const ::boost::math::quaternion &, const octonion &) + BOOST_TEST(q0 != o3); + + // using != (const octonion &, const ::boost::math::quaternion &) + BOOST_TEST(o3 != q0); + + // using != (const octonion &,const octonion &) + BOOST_TEST(o0 != o4); +} + +template +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 toto = + static_cast(4)*atan(static_cast(1))*index_i_element(idx); + + const T tabs { abs(exp(toto)+static_cast(1)) }; + + const auto result_exp_toto_is_ok = (tabs < 2*numeric_limits::epsilon()); + + BOOST_TEST(result_exp_toto_is_ok); + } +} + +auto main() -> int +{ + multiplication_test(); + multiplication_test(); + + exp_test(); + exp_test(); + + octonion_original_manual_test(); + + const auto result_is_ok = (boost::report_errors() == 0); + + return (result_is_ok ? 0 : -1); +}