226 lines
7.7 KiB
C++
226 lines
7.7 KiB
C++
|
|
/* multiprecision_int_test.cpp
|
|
*
|
|
* Copyright John Maddock 2015
|
|
* 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)
|
|
*
|
|
* $Id$
|
|
*
|
|
* Tests all integer related generators and distributions with multiprecision types:
|
|
* discard_block, independent_bits_engine, random_number_generator,
|
|
* xor_combine_engine, uniform_int_distribution, uniform_smallint.
|
|
*
|
|
* Not supported, but could be with more work (but probably not worth while):
|
|
* shuffle_order_engine, binomial_distribution, discrete_distribution, negative_binomial_distribution,
|
|
* poisson_distribution
|
|
*/
|
|
|
|
#define BOOST_TEST_MAIN
|
|
#include <boost/test/unit_test.hpp>
|
|
|
|
#include <boost/core/ignore_unused.hpp>
|
|
#include <boost/multiprecision/debug_adaptor.hpp>
|
|
#include <boost/multiprecision/cpp_bin_float.hpp>
|
|
#include <boost/multiprecision/cpp_int.hpp>
|
|
#include <boost/random/independent_bits.hpp>
|
|
#include <boost/random/discard_block.hpp>
|
|
#include <boost/random/xor_combine.hpp>
|
|
#include <boost/random/mersenne_twister.hpp>
|
|
#include <boost/random/random_number_generator.hpp>
|
|
#include <boost/random/uniform_int.hpp>
|
|
#include <boost/random/uniform_smallint.hpp>
|
|
#include <boost/random/discrete_distribution.hpp>
|
|
#include <sstream>
|
|
|
|
typedef boost::mpl::list <
|
|
boost::random::independent_bits_engine<boost::random::mt19937, 1024, boost::multiprecision::uint1024_t >,
|
|
boost::random::independent_bits_engine<boost::random::mt19937, 1024, boost::multiprecision::int1024_t >,
|
|
boost::random::independent_bits_engine<boost::random::mt19937, 1024, boost::multiprecision::checked_uint1024_t >,
|
|
boost::random::independent_bits_engine<boost::random::mt19937, 1024, boost::multiprecision::checked_int1024_t >,
|
|
boost::random::independent_bits_engine<boost::random::mt19937, 30000, boost::multiprecision::cpp_int >,
|
|
boost::random::discard_block_engine<boost::random::independent_bits_engine<boost::random::mt19937, 1024, boost::multiprecision::uint1024_t >, 20, 10>,
|
|
boost::random::discard_block_engine<boost::random::independent_bits_engine<boost::random::mt19937, 1024, boost::multiprecision::int1024_t >, 20, 10>,
|
|
boost::random::discard_block_engine<boost::random::independent_bits_engine<boost::random::mt19937, 1024, boost::multiprecision::checked_uint1024_t >, 20, 10>,
|
|
boost::random::discard_block_engine<boost::random::independent_bits_engine<boost::random::mt19937, 1024, boost::multiprecision::checked_int1024_t >, 20, 10>,
|
|
boost::random::discard_block_engine<boost::random::independent_bits_engine<boost::random::mt19937, 600, boost::multiprecision::cpp_int >, 20, 10>
|
|
> engines;
|
|
|
|
BOOST_AUTO_TEST_CASE_TEMPLATE(generator_test, engine_type, engines)
|
|
{
|
|
typedef typename engine_type::result_type test_type;
|
|
|
|
engine_type gen;
|
|
gen.seed();
|
|
test_type a = gen.min();
|
|
test_type b = gen.max();
|
|
BOOST_CHECK(a < b);
|
|
a = gen();
|
|
//
|
|
// This extracts 32-bit values for use in seeding other sequences,
|
|
// not really applicable here, and not functional for signed types anyway.
|
|
//gen.generate(&b, &b + 1);
|
|
gen.discard(20);
|
|
|
|
typename engine_type::base_type base(gen.base());
|
|
boost::ignore_unused(base);
|
|
|
|
std::stringstream ss;
|
|
ss << gen;
|
|
engine_type gen2;
|
|
ss >> gen2;
|
|
BOOST_CHECK(gen == gen2);
|
|
gen2();
|
|
BOOST_CHECK(gen != gen2);
|
|
//
|
|
// construction and seeding:
|
|
//
|
|
engine_type gen3(0);
|
|
gen3.seed(2);
|
|
}
|
|
|
|
BOOST_AUTO_TEST_CASE(xor_combine_test)
|
|
{
|
|
//
|
|
// As above but with a few things missing which don't work - for example we have no
|
|
// way to drill down and get the seed-type of the underlying generator.
|
|
//
|
|
typedef boost::random::xor_combine_engine<boost::random::independent_bits_engine<boost::random::mt19937, 512, boost::multiprecision::uint1024_t >, 512, boost::random::independent_bits_engine<boost::random::mt19937, 512, boost::multiprecision::uint1024_t >, 10> engine_type;
|
|
typedef engine_type::result_type test_type;
|
|
|
|
engine_type gen;
|
|
gen.seed();
|
|
test_type a = gen.min();
|
|
test_type b = gen.max();
|
|
BOOST_CHECK(a < b);
|
|
a = gen();
|
|
#ifndef BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS
|
|
gen.generate(&b, &b + 1);
|
|
#endif
|
|
gen.discard(20);
|
|
|
|
//typename engine_type::base_type base(gen.base());
|
|
|
|
std::stringstream ss;
|
|
ss << gen;
|
|
engine_type gen2;
|
|
ss >> gen2;
|
|
BOOST_CHECK(gen == gen2);
|
|
gen2();
|
|
BOOST_CHECK(gen != gen2);
|
|
//
|
|
// construction and seeding:
|
|
//
|
|
//engine_type gen3(0);
|
|
//gen3.seed(2);
|
|
}
|
|
|
|
typedef boost::mpl::list <
|
|
boost::random::random_number_generator<boost::random::mt19937, boost::multiprecision::cpp_int>,
|
|
boost::random::random_number_generator<boost::random::mt19937, boost::multiprecision::uint1024_t>,
|
|
boost::random::random_number_generator<boost::random::mt19937, boost::multiprecision::checked_uint1024_t>
|
|
> generators;
|
|
|
|
|
|
BOOST_AUTO_TEST_CASE_TEMPLATE(random_number_generator, generator_type, generators)
|
|
{
|
|
typedef typename generator_type::result_type result_type;
|
|
typedef typename generator_type::base_type base_type;
|
|
|
|
result_type lim = 1;
|
|
lim <<= 500;
|
|
|
|
base_type base;
|
|
generator_type gen(base);
|
|
|
|
for(unsigned i = 0; i < 100; ++i)
|
|
BOOST_CHECK(gen(lim) < lim);
|
|
}
|
|
|
|
typedef boost::mpl::list <
|
|
boost::random::uniform_int_distribution<boost::multiprecision::cpp_int>,
|
|
boost::random::uniform_int_distribution<boost::multiprecision::uint1024_t>,
|
|
boost::random::uniform_int_distribution<boost::multiprecision::checked_uint1024_t>,
|
|
boost::random::uniform_smallint<boost::multiprecision::cpp_int>,
|
|
boost::random::uniform_smallint<boost::multiprecision::uint1024_t>,
|
|
boost::random::uniform_smallint<boost::multiprecision::checked_uint1024_t>
|
|
> uniform_distributions;
|
|
|
|
|
|
BOOST_AUTO_TEST_CASE_TEMPLATE(distributions, distribution_type, uniform_distributions)
|
|
{
|
|
typedef typename distribution_type::result_type result_type;
|
|
|
|
result_type a = 20;
|
|
result_type b = 1;
|
|
b <<= 1000;
|
|
|
|
distribution_type d(a, b);
|
|
boost::random::mt19937 gen;
|
|
|
|
BOOST_CHECK_EQUAL(d.a(), a);
|
|
BOOST_CHECK_EQUAL(d.b(), b);
|
|
BOOST_CHECK_EQUAL((d.min)(), a);
|
|
BOOST_CHECK_EQUAL((d.max)(), b);
|
|
|
|
for(unsigned i = 0; i < 200; ++i)
|
|
{
|
|
result_type r = d(gen);
|
|
BOOST_CHECK(r <= b);
|
|
BOOST_CHECK(r >= a);
|
|
}
|
|
|
|
std::stringstream ss;
|
|
ss << d;
|
|
distribution_type d2;
|
|
ss >> d2;
|
|
BOOST_CHECK(d == d2);
|
|
|
|
boost::random::independent_bits_engine<boost::random::mt19937, std::numeric_limits<boost::multiprecision::uint1024_t>::digits, boost::multiprecision::uint1024_t > big_random;
|
|
for(unsigned i = 0; i < 200; ++i)
|
|
{
|
|
result_type r = d(big_random);
|
|
BOOST_CHECK(r <= b);
|
|
BOOST_CHECK(r >= a);
|
|
}
|
|
}
|
|
|
|
#ifndef BOOST_NO_CXX11_EXPLICIT_CONVERSION_OPERATORS
|
|
|
|
typedef boost::mpl::list <
|
|
boost::random::discrete_distribution < boost::multiprecision::cpp_int, double>,
|
|
boost::random::discrete_distribution <unsigned int, boost::multiprecision::cpp_bin_float_100>
|
|
> other_distributions;
|
|
|
|
|
|
BOOST_AUTO_TEST_CASE_TEMPLATE(discrete_distributions, distribution_type, other_distributions)
|
|
{
|
|
typedef typename distribution_type::result_type result_type;
|
|
typedef typename distribution_type::input_type input_type;
|
|
|
|
input_type a[] = { 20, 30, 40, 50 };
|
|
|
|
distribution_type d(a, a + 4);
|
|
boost::random::mt19937 gen;
|
|
|
|
for(unsigned i = 0; i < 200; ++i)
|
|
{
|
|
result_type r = d(gen);
|
|
}
|
|
|
|
std::stringstream ss;
|
|
ss << std::setprecision(std::numeric_limits<input_type>::digits10 + 3) << d;
|
|
distribution_type d2;
|
|
ss >> d2;
|
|
BOOST_CHECK(d == d2);
|
|
|
|
boost::random::independent_bits_engine<boost::random::mt19937, std::numeric_limits<boost::multiprecision::uint1024_t>::digits, boost::multiprecision::uint1024_t > big_random;
|
|
for(unsigned i = 0; i < 200; ++i)
|
|
{
|
|
result_type r = d(big_random);
|
|
}
|
|
}
|
|
|
|
#endif
|