[rand.dist.pois.exp]

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@103621 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Howard Hinnant
2010-05-12 17:08:57 +00:00
parent 5f9b133e2c
commit 30a840f5f0
20 changed files with 786 additions and 3 deletions

View File

@@ -17,8 +17,6 @@
#include <random>
#include <cassert>
#include <iostream>
int main()
{
{

View File

@@ -0,0 +1,34 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// exponential_distribution& operator=(const exponential_distribution&);
#include <random>
#include <cassert>
void
test1()
{
typedef std::exponential_distribution<> D;
D d1(0.75);
D d2;
assert(d1 != d2);
d2 = d1;
assert(d1 == d2);
}
int main()
{
test1();
}

View File

@@ -0,0 +1,32 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// exponential_distribution(const exponential_distribution&);
#include <random>
#include <cassert>
void
test1()
{
typedef std::exponential_distribution<> D;
D d1(1.75);
D d2 = d1;
assert(d1 == d2);
}
int main()
{
test1();
}

View File

@@ -0,0 +1,32 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// explicit exponential_distribution(RealType lambda = 1.0);
#include <random>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
D d;
assert(d.lambda() == 1);
}
{
typedef std::exponential_distribution<> D;
D d(3.5);
assert(d.lambda() == 3.5);
}
}

View File

@@ -0,0 +1,29 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// explicit exponential_distribution(const param_type& parm);
#include <random>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type P;
P p(0.25);
D d(p);
assert(d.lambda() == 0.25);
}
}

View File

@@ -0,0 +1,37 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// bool operator=(const exponential_distribution& x,
// const exponential_distribution& y);
// bool operator!(const exponential_distribution& x,
// const exponential_distribution& y);
#include <random>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
D d1(.25);
D d2(.25);
assert(d1 == d2);
}
{
typedef std::exponential_distribution<> D;
D d1(.28);
D d2(.25);
assert(d1 != d2);
}
}

View File

@@ -0,0 +1,53 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// template<class _URNG> result_type operator()(_URNG& g);
#include <random>
#include <cassert>
#include <vector>
#include <numeric>
template <class T>
inline
T
sqr(T x)
{
return x * x;
}
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type P;
typedef std::knuth_b G;
G g;
D d(.75);
const int N = 1000;
std::vector<D::result_type> u;
for (int i = 0; i < N; ++i)
u.push_back(d(g));
D::result_type mean = std::accumulate(u.begin(), u.end(),
D::result_type(0)) / u.size();
D::result_type var = 0;
for (int i = 0; i < u.size(); ++i)
var += sqr(u[i] - mean);
var /= u.size();
D::result_type x_mean = 1/d.lambda();
D::result_type x_var = 1/sqr(d.lambda());
assert(std::abs(mean - x_mean) / x_mean < 0.01);
assert(std::abs(var - x_var) / x_var < 0.01);
}
}

View File

@@ -0,0 +1,54 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// template<class _URNG> result_type operator()(_URNG& g, const param_type& parm);
#include <random>
#include <cassert>
#include <vector>
#include <numeric>
template <class T>
inline
T
sqr(T x)
{
return x * x;
}
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type P;
typedef std::knuth_b G;
G g;
D d(.75);
P p(2);
const int N = 1000;
std::vector<D::result_type> u;
for (int i = 0; i < N; ++i)
u.push_back(d(g, p));
D::result_type mean = std::accumulate(u.begin(), u.end(),
D::result_type(0)) / u.size();
D::result_type var = 0;
for (int i = 0; i < u.size(); ++i)
var += sqr(u[i] - mean);
var /= u.size();
D::result_type x_mean = 1/p.lambda();
D::result_type x_var = 1/sqr(p.lambda());
assert(std::abs(mean - x_mean) / x_mean < 0.01);
assert(std::abs(var - x_var) / x_var < 0.01);
}
}

View File

@@ -0,0 +1,29 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// param_type param() const;
#include <random>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type P;
P p(.125);
D d(p);
assert(d.param() == p);
}
}

View File

@@ -0,0 +1,41 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// template <class CharT, class Traits, class RealType>
// basic_ostream<CharT, Traits>&
// operator<<(basic_ostream<CharT, Traits>& os,
// const exponential_distribution<RealType>& x);
// template <class CharT, class Traits, class RealType>
// basic_istream<CharT, Traits>&
// operator>>(basic_istream<CharT, Traits>& is,
// exponential_distribution<RealType>& x);
#include <random>
#include <sstream>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
D d1(7);
std::ostringstream os;
os << d1;
std::istringstream is(os.str());
D d2;
is >> d2;
assert(d1 == d2);
}
}

View File

@@ -0,0 +1,28 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// result_type max() const;
#include <random>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
D d(.25);
D::result_type m = d.max();
assert(146 < m && m < 147);
}
}

View File

@@ -0,0 +1,27 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// result_type min() const;
#include <random>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
D d(.5);
assert(d.min() == 0);
}
}

View File

@@ -0,0 +1,31 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// {
// class param_type;
#include <random>
#include <limits>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type param_type;
param_type p0(.7);
param_type p;
p = p0;
assert(p.lambda() == .7);
}
}

View File

@@ -0,0 +1,30 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// {
// class param_type;
#include <random>
#include <limits>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type param_type;
param_type p0(.125);
param_type p = p0;
assert(p.lambda() == .125);
}
}

View File

@@ -0,0 +1,35 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// {
// class param_type;
#include <random>
#include <limits>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type param_type;
param_type p;
assert(p.lambda() == 1);
}
{
typedef std::exponential_distribution<> D;
typedef D::param_type param_type;
param_type p(10);
assert(p.lambda() == 10);
}
}

View File

@@ -0,0 +1,37 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// {
// class param_type;
#include <random>
#include <limits>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type param_type;
param_type p1(0.75);
param_type p2(0.75);
assert(p1 == p2);
}
{
typedef std::exponential_distribution<> D;
typedef D::param_type param_type;
param_type p1(0.75);
param_type p2(0.5);
assert(p1 != p2);
}
}

View File

@@ -0,0 +1,28 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// {
// class param_type;
#include <random>
#include <type_traits>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type param_type;
typedef param_type::distribution_type distribution_type;
static_assert((std::is_same<D, distribution_type>::value), "");
}
}

View File

@@ -0,0 +1,30 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution;
// void param(const param_type& parm);
#include <random>
#include <cassert>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::param_type P;
P p(0.25);
D d(0.75);
d.param(p);
assert(d.param() == p);
}
}

View File

@@ -0,0 +1,34 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <random>
// template<class RealType = double>
// class exponential_distribution
// {
// public:
// // types
// typedef RealType result_type;
#include <random>
#include <type_traits>
int main()
{
{
typedef std::exponential_distribution<> D;
typedef D::result_type result_type;
static_assert((std::is_same<result_type, double>::value), "");
}
{
typedef std::exponential_distribution<float> D;
typedef D::result_type result_type;
static_assert((std::is_same<result_type, float>::value), "");
}
}