test_gmp_conversions.cpp 3.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155
  1. ///////////////////////////////////////////////////////////////
  2. // Copyright Christopher Kormanyos 2002 - 2011.
  3. // Copyright 2011 John Maddock. Distributed under the Boost
  4. // Software License, Version 1.0. (See accompanying file
  5. // LICENSE_1_0.txt or copy at https://www.boost.org/LICENSE_1_0.txt
  6. //
  7. // This work is based on an earlier work:
  8. // "Algorithm 910: A Portable C++ Multiple-Precision System for Special-Function Calculations",
  9. // in ACM TOMS, {VOL 37, ISSUE 4, (February 2011)} (C) ACM, 2011. http://doi.acm.org/10.1145/1916461.1916469
  10. #ifdef _MSC_VER
  11. #define _SCL_SECURE_NO_WARNINGS
  12. #endif
  13. #include <boost/detail/lightweight_test.hpp>
  14. #include <boost/array.hpp>
  15. #include "test.hpp"
  16. #include <boost/multiprecision/gmp.hpp>
  17. int main()
  18. {
  19. using namespace boost::multiprecision;
  20. //
  21. // Test interconversions between GMP supported backends:
  22. //
  23. mpf_t mpf;
  24. mpz_t mpz;
  25. mpq_t mpq;
  26. mpf_init2(mpf, 100);
  27. mpf_set_ui(mpf, 2u);
  28. mpz_init(mpz);
  29. mpz_set_ui(mpz, 2u);
  30. mpq_init(mpq);
  31. mpq_set_ui(mpq, 2u, 1u);
  32. BOOST_TEST(mpf_float(mpf) == 2);
  33. BOOST_TEST(mpf_float_50(mpf) == 2);
  34. BOOST_TEST(mpf_float(mpz) == 2);
  35. BOOST_TEST(mpf_float_50(mpz) == 2);
  36. BOOST_TEST(mpf_float(mpq) == 2);
  37. BOOST_TEST(mpf_float_50(mpq) == 2);
  38. mpf_float f0;
  39. mpf_float_50 f50;
  40. f0 = mpf;
  41. BOOST_TEST(f0 == 2);
  42. f0 = 0;
  43. f0 = mpz;
  44. BOOST_TEST(f0 == 2);
  45. f0 = 0;
  46. f0 = mpq;
  47. BOOST_TEST(f0 == 2);
  48. f50 = mpf;
  49. BOOST_TEST(f50 == 2);
  50. f50 = 0;
  51. f50 = mpz;
  52. BOOST_TEST(f50 == 2);
  53. f50 = 0;
  54. f50 = mpq;
  55. BOOST_TEST(f50 == 2);
  56. f50 = 4;
  57. f0 = f50;
  58. BOOST_TEST(f0 == 4);
  59. f0 = 3;
  60. f50 = f0;
  61. BOOST_TEST(f50 == 3);
  62. f50 = 4;
  63. BOOST_TEST(mpf_float(f50) == 4);
  64. BOOST_TEST(mpf_float_50(f0) == 3);
  65. mpz_int iz(2);
  66. mpq_rational rat(2);
  67. f50 = iz;
  68. BOOST_TEST(f50 == 2);
  69. f0 = iz;
  70. BOOST_TEST(f0 == 2);
  71. BOOST_TEST(mpf_float(iz) == 2);
  72. BOOST_TEST(mpf_float_50(iz) == 2);
  73. BOOST_TEST(mpf_float(rat) == 2);
  74. BOOST_TEST(mpf_float_50(rat) == 2);
  75. BOOST_TEST(mpz_int(mpf) == 2);
  76. BOOST_TEST(mpz_int(mpz) == 2);
  77. BOOST_TEST(mpz_int(mpq) == 2);
  78. iz = 3;
  79. iz = mpz_int(mpf); // explicit conversion only
  80. BOOST_TEST(iz == 2);
  81. iz = 3;
  82. iz = mpz;
  83. BOOST_TEST(iz == 2);
  84. iz = 4;
  85. iz = mpz_int(mpq); // explicit conversion only
  86. BOOST_TEST(iz == 2);
  87. f0 = 2;
  88. f50 = 2;
  89. BOOST_TEST(mpz_int(f0) == 2);
  90. BOOST_TEST(mpz_int(f50) == 2);
  91. rat = 2;
  92. BOOST_TEST(mpz_int(rat) == 2);
  93. iz = 3;
  94. iz = static_cast<mpz_int>(f0);
  95. BOOST_TEST(iz == 2);
  96. iz = 3;
  97. iz = static_cast<mpz_int>(f50);
  98. BOOST_TEST(iz == 2);
  99. iz = 3;
  100. iz = static_cast<mpz_int>(rat);
  101. BOOST_TEST(iz == 2);
  102. BOOST_TEST(mpq_rational(mpz) == 2);
  103. BOOST_TEST(mpq_rational(mpq) == 2);
  104. BOOST_TEST(mpq_rational(iz) == 2);
  105. rat = 3;
  106. rat = mpz;
  107. BOOST_TEST(rat == 2);
  108. rat = 3;
  109. rat = mpq;
  110. BOOST_TEST(rat == 2);
  111. rat = 3;
  112. rat = iz;
  113. BOOST_TEST(rat == 2);
  114. iz = numerator(rat);
  115. BOOST_TEST(iz == 2);
  116. iz = denominator(rat);
  117. BOOST_TEST(iz == 1);
  118. //
  119. // Conversions involving precision only,
  120. // note that mpf_t precisions are only approximate:
  121. //
  122. mpf_float::default_precision(30);
  123. f50 = 2;
  124. mpf_float_100 f100(3);
  125. mpf_float f0a(4);
  126. mpf_float f0b(f100);
  127. BOOST_TEST(f0a.precision() >= 30);
  128. BOOST_TEST(f0b.precision() >= 100);
  129. f0a = f100;
  130. BOOST_TEST(f0a == 3);
  131. BOOST_TEST(f0a.precision() >= 100);
  132. f100 = f50;
  133. BOOST_TEST(f100 == 2);
  134. mpf_clear(mpf);
  135. mpz_clear(mpz);
  136. mpq_clear(mpq);
  137. return boost::report_errors();
  138. }