summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/multiprecision/test/test_gmp_conversions.cpp
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 18:24:20 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-04-27 18:24:20 +0000
commit483eb2f56657e8e7f419ab1a4fab8dce9ade8609 (patch)
treee5d88d25d870d5dedacb6bbdbe2a966086a0a5cf /src/boost/libs/multiprecision/test/test_gmp_conversions.cpp
parentInitial commit. (diff)
downloadceph-upstream.tar.xz
ceph-upstream.zip
Adding upstream version 14.2.21.upstream/14.2.21upstream
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'src/boost/libs/multiprecision/test/test_gmp_conversions.cpp')
-rw-r--r--src/boost/libs/multiprecision/test/test_gmp_conversions.cpp155
1 files changed, 155 insertions, 0 deletions
diff --git a/src/boost/libs/multiprecision/test/test_gmp_conversions.cpp b/src/boost/libs/multiprecision/test/test_gmp_conversions.cpp
new file mode 100644
index 00000000..906f175a
--- /dev/null
+++ b/src/boost/libs/multiprecision/test/test_gmp_conversions.cpp
@@ -0,0 +1,155 @@
+///////////////////////////////////////////////////////////////
+// Copyright Christopher Kormanyos 2002 - 2011.
+// Copyright 2011 John Maddock. Distributed under the Boost
+// Software License, Version 1.0. (See accompanying file
+// LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt
+//
+// This work is based on an earlier work:
+// "Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations",
+// in ACM TOMS, {VOL 37, ISSUE 4, (February 2011)} (C) ACM, 2011. http://doi.acm.org/10.1145/1916461.1916469
+
+#ifdef _MSC_VER
+#define _SCL_SECURE_NO_WARNINGS
+#endif
+
+#include <boost/detail/lightweight_test.hpp>
+#include <boost/array.hpp>
+#include "test.hpp"
+
+#include <boost/multiprecision/gmp.hpp>
+
+int main()
+{
+ using namespace boost::multiprecision;
+ //
+ // Test interconversions between GMP supported backends:
+ //
+ mpf_t mpf;
+ mpz_t mpz;
+ mpq_t mpq;
+ mpf_init2(mpf, 100);
+ mpf_set_ui(mpf, 2u);
+ mpz_init(mpz);
+ mpz_set_ui(mpz, 2u);
+ mpq_init(mpq);
+ mpq_set_ui(mpq, 2u, 1u);
+
+ BOOST_TEST(mpf_float(mpf) == 2);
+ BOOST_TEST(mpf_float_50(mpf) == 2);
+ BOOST_TEST(mpf_float(mpz) == 2);
+ BOOST_TEST(mpf_float_50(mpz) == 2);
+ BOOST_TEST(mpf_float(mpq) == 2);
+ BOOST_TEST(mpf_float_50(mpq) == 2);
+
+ mpf_float f0;
+ mpf_float_50 f50;
+ f0 = mpf;
+ BOOST_TEST(f0 == 2);
+ f0 = 0;
+ f0 = mpz;
+ BOOST_TEST(f0 == 2);
+ f0 = 0;
+ f0 = mpq;
+ BOOST_TEST(f0 == 2);
+
+ f50 = mpf;
+ BOOST_TEST(f50 == 2);
+ f50 = 0;
+ f50 = mpz;
+ BOOST_TEST(f50 == 2);
+ f50 = 0;
+ f50 = mpq;
+ BOOST_TEST(f50 == 2);
+
+ f50 = 4;
+ f0 = f50;
+ BOOST_TEST(f0 == 4);
+ f0 = 3;
+ f50 = f0;
+ BOOST_TEST(f50 == 3);
+ f50 = 4;
+ BOOST_TEST(mpf_float(f50) == 4);
+ BOOST_TEST(mpf_float_50(f0) == 3);
+
+ mpz_int iz(2);
+ mpq_rational rat(2);
+ f50 = iz;
+ BOOST_TEST(f50 == 2);
+ f0 = iz;
+ BOOST_TEST(f0 == 2);
+ BOOST_TEST(mpf_float(iz) == 2);
+ BOOST_TEST(mpf_float_50(iz) == 2);
+ BOOST_TEST(mpf_float(rat) == 2);
+ BOOST_TEST(mpf_float_50(rat) == 2);
+
+ BOOST_TEST(mpz_int(mpf) == 2);
+ BOOST_TEST(mpz_int(mpz) == 2);
+ BOOST_TEST(mpz_int(mpq) == 2);
+ iz = 3;
+ iz = mpz_int(mpf); // explicit conversion only
+ BOOST_TEST(iz == 2);
+ iz = 3;
+ iz = mpz;
+ BOOST_TEST(iz == 2);
+ iz = 4;
+ iz = mpz_int(mpq); // explicit conversion only
+ BOOST_TEST(iz == 2);
+ f0 = 2;
+ f50 = 2;
+
+ BOOST_TEST(mpz_int(f0) == 2);
+ BOOST_TEST(mpz_int(f50) == 2);
+ rat = 2;
+ BOOST_TEST(mpz_int(rat) == 2);
+ iz = 3;
+ iz = static_cast<mpz_int>(f0);
+ BOOST_TEST(iz == 2);
+ iz = 3;
+ iz = static_cast<mpz_int>(f50);
+ BOOST_TEST(iz == 2);
+ iz = 3;
+ iz = static_cast<mpz_int>(rat);
+ BOOST_TEST(iz == 2);
+
+ BOOST_TEST(mpq_rational(mpz) == 2);
+ BOOST_TEST(mpq_rational(mpq) == 2);
+ BOOST_TEST(mpq_rational(iz) == 2);
+ rat = 3;
+ rat = mpz;
+ BOOST_TEST(rat == 2);
+ rat = 3;
+ rat = mpq;
+ BOOST_TEST(rat == 2);
+ rat = 3;
+ rat = iz;
+ BOOST_TEST(rat == 2);
+
+ iz = numerator(rat);
+ BOOST_TEST(iz == 2);
+ iz = denominator(rat);
+ BOOST_TEST(iz == 1);
+
+ //
+ // Conversions involving precision only,
+ // note that mpf_t precisions are only approximate:
+ //
+ mpf_float::default_precision(30);
+ f50 = 2;
+ mpf_float_100 f100(3);
+ mpf_float f0a(4);
+ mpf_float f0b(f100);
+ BOOST_TEST(f0a.precision() >= 30);
+ BOOST_TEST(f0b.precision() >= 100);
+ f0a = f100;
+ BOOST_TEST(f0a == 3);
+ BOOST_TEST(f0a.precision() >= 100);
+
+ f100 = f50;
+ BOOST_TEST(f100 == 2);
+
+ mpf_clear(mpf);
+ mpz_clear(mpz);
+ mpq_clear(mpq);
+
+ return boost::report_errors();
+}