156 lines
3.5 KiB
C++
156 lines
3.5 KiB
C++
///////////////////////////////////////////////////////////////
|
|
// 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();
|
|
}
|