ParaMonte Fortran 2.0.0
Parallel Monte Carlo and Machine Learning Library
See the latest version documentation.
pm_distPois::setPoisCDF Interface Reference

Return the Cumulative Distribution Function (CDF) of the Poisson distribution. More...

Detailed Description

Return the Cumulative Distribution Function (CDF) of the Poisson distribution.

Parameters
[out]cdf: The output scalar (or array of the same rank, shape, and size as other array-like arguments), of the same type and kind as lambda, containing the CDF of the distribution at the specified input value(s).
[in]countP1: The input scalar (or array of the same rank, shape, and size as other array-like arguments), of the same type and kind as the input argument lambda, containing the value(s) at which the CDF must be computed plus 1..
Although countP1 is of type real, it must be a whole number.
The enforcement of real type is to ensure the performance of this generic interface.
[in]lambda: The input scalar (or array of the same rank, shape, and size as other array-like arguments), of
  1. type real of kind any supported by the processor (e.g., RK, RK32, RK64, or RK128),
containing the location parameter of the distribution.
[out]info: The output scalar of type integer of default kind IK.
On output, it is set to positive the number of iterations taken for the series representation of the Gamma function to converge.
If the algorithm fails to converge, then info is set to the negative of the number of iterations taken by the algorithm.
An negative output value signifies the lack of convergence and failure to compute the CDF.
For more information, see the documentation of setGammaInc.


Possible calling interfaces

call setPoisCDF(cdf, countP1, lambda, info)
Return the Cumulative Distribution Function (CDF) of the Poisson distribution.
This module contains classes and procedures for computing various statistical quantities related to t...
Warning
The condition 0 < lambda must hold for the corresponding input arguments.
The condition 1. <= countP1 must hold for the corresponding input arguments.
The condition mod(countP1, 1._RKG) == 0._RKG must hold for the corresponding input arguments, that is, the input argument countP1 must be a whole number.
These conditions are verified only if the library is built with the preprocessor macro CHECK_ENABLED=1.
The pure procedure(s) documented herein become impure when the ParaMonte library is compiled with preprocessor macro CHECK_ENABLED=1.
By default, these procedures are pure in release build and impure in debug and testing builds.
Remarks
The procedures under discussion are elemental.
See also
getPoisCDF


Example usage

1program example
2
3 use pm_kind, only: SK, IK, LK
4 use pm_kind, only: RKG => RK ! all processor kinds are supported.
5 use pm_io, only: display_type
6 use pm_distPois, only: setPoisCDF
7 use pm_err, only: setAsserted
8
9 implicit none
10
11 real(RKG) :: cdf(3)
12 integer(IK) :: info(3)
13 type(display_type) :: disp
14 disp = display_type(file = "main.out.F90")
15
16 call disp%skip()
17 call disp%show("call setPoisCDF(cdf(1), 1._RKG, 2._RKG, info(1))")
18 call setPoisCDF(cdf(1), 1._RKG, 2._RKG, info(1))
19 call disp%show(.not."call setAsserted( info(1) < 0)")
20 call setAsserted(.not. info(1) < 0)
21 call disp%show("cdf(1)")
22 call disp%show( cdf(1) )
23 call disp%skip()
24
25 call disp%skip()
26 call disp%show("call setPoisCDF(cdf(1), 2._RKG, 2._RKG, info(1))")
27 call setPoisCDF(cdf(1), 2._RKG, 2._RKG, info(1))
28 call disp%show(.not."call setAsserted( info(1) < 0)")
29 call setAsserted(.not. info(1) < 0)
30 call disp%show("cdf(1)")
31 call disp%show( cdf(1) )
32 call disp%skip()
33
34 call disp%skip()
35 call disp%show("call setPoisCDF(cdf(1), 3._RKG, 2._RKG, info(1))")
36 call setPoisCDF(cdf(1), 3._RKG, 2._RKG, info(1))
37 call disp%show(.not."call setAsserted( info(1) < 0)")
38 call setAsserted(.not. info(1) < 0)
39 call disp%show("cdf(1)")
40 call disp%show( cdf(1) )
41 call disp%skip()
42
43 call disp%skip()
44 call disp%show("call setPoisCDF(cdf(1:3), 1._RKG + [real(RKG) :: 0, 1, 2], 2._RKG, info)")
45 call setPoisCDF(cdf(1:3), 1._RKG + [real(RKG) :: 0, 1, 2], 2._RKG, info)
46 call disp%show(.not."call setAsserted( any(info < 0))")
47 call setAsserted(.not. any(info < 0))
48 call disp%show("cdf(1:3)")
49 call disp%show( cdf(1:3) )
50 call disp%skip()
51
52 call disp%skip()
53 call disp%show("call setPoisCDF(cdf(1:3), [real(RKG) :: 1, 2, 3], [0.1_RKG, 1._RKG, 10._RKG], info)")
54 call setPoisCDF(cdf(1:3), [real(RKG) :: 1, 2, 3], [0.1_RKG, 1._RKG, 10._RKG], info)
55 call disp%show(.not."call setAsserted( any(info < 0))")
56 call setAsserted(.not. any(info < 0))
57 call disp%show("cdf(1:3)")
58 call disp%show( cdf(1:3) )
59 call disp%skip()
60
61 !%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
62 ! Output an example array for visualization.
63 !%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
64
65 block
66
67 use pm_arraySpace, only: getLinSpace
68 real(RKG), allocatable :: countP1(:)
69 integer(IK) :: info(4)
70 integer :: fileUnit, i
71 real(RKG) :: cdf(4)
72
73 countP1 = getLinSpace(1._RKG, 21._RKG, 21_IK)
74 open(newunit = fileUnit, file = "setPoisCDF.IK.txt")
75 do i = 1, size(countP1)
76 call setPoisCDF(cdf, countP1(i), [.1_RKG, 1._RKG, 4._RKG, 10._RKG], info)
77 call setAsserted(.not. any(info < 0))
78 write(fileUnit, "(*(g0,:,' '))") countP1(i) - 1._RKG, cdf
79 end do
80 close(fileUnit)
81
82 end block
83
84end program example
Generate count evenly spaced points over the interval [x1, x2] if x1 < x2, or [x2,...
Verify the input assertion holds and if it does not, print the (optional) input message on stdout and...
Definition: pm_err.F90:735
Generate and return an object of type stop_type with the user-specified input attributes.
Definition: pm_err.F90:1618
This is a generic method of the derived type display_type with pass attribute.
Definition: pm_io.F90:11508
This module contains procedures and generic interfaces for generating arrays with linear or logarithm...
This module contains classes and procedures for reporting and handling errors.
Definition: pm_err.F90:52
This module contains classes and procedures for input/output (IO) or generic display operations on st...
Definition: pm_io.F90:252
type(display_type) disp
This is a scalar module variable an object of type display_type for general display.
Definition: pm_io.F90:11393
This module defines the relevant Fortran kind type-parameters frequently used in the ParaMonte librar...
Definition: pm_kind.F90:268
integer, parameter RK
The default real kind in the ParaMonte library: real64 in Fortran, c_double in C-Fortran Interoperati...
Definition: pm_kind.F90:543
integer, parameter LK
The default logical kind in the ParaMonte library: kind(.true.) in Fortran, kind(....
Definition: pm_kind.F90:541
integer, parameter IK
The default integer kind in the ParaMonte library: int32 in Fortran, c_int32_t in C-Fortran Interoper...
Definition: pm_kind.F90:540
integer, parameter SK
The default character kind in the ParaMonte library: kind("a") in Fortran, c_char in C-Fortran Intero...
Definition: pm_kind.F90:539
Generate and return an object of type display_type.
Definition: pm_io.F90:10282

Example Unix compile command via Intel ifort compiler
1#!/usr/bin/env sh
2rm main.exe
3ifort -fpp -standard-semantics -O3 -Wl,-rpath,../../../lib -I../../../inc main.F90 ../../../lib/libparamonte* -o main.exe
4./main.exe

Example Windows Batch compile command via Intel ifort compiler
1del main.exe
2set PATH=..\..\..\lib;%PATH%
3ifort /fpp /standard-semantics /O3 /I:..\..\..\include main.F90 ..\..\..\lib\libparamonte*.lib /exe:main.exe
4main.exe

Example Unix / MinGW compile command via GNU gfortran compiler
1#!/usr/bin/env sh
2rm main.exe
3gfortran -cpp -ffree-line-length-none -O3 -Wl,-rpath,../../../lib -I../../../inc main.F90 ../../../lib/libparamonte* -o main.exe
4./main.exe

Example output
1
2call setPoisCDF(cdf(1), 1._RKG, 2._RKG, info(1))
3call setAsserted(.not. info(1) < 0)
4cdf(1)
5+0.13533528323661270
6
7
8call setPoisCDF(cdf(1), 2._RKG, 2._RKG, info(1))
9call setAsserted(.not. info(1) < 0)
10cdf(1)
11+0.40600584970983800
12
13
14call setPoisCDF(cdf(1), 3._RKG, 2._RKG, info(1))
15call setAsserted(.not. info(1) < 0)
16cdf(1)
17+0.67667641618306340
18
19
20call setPoisCDF(cdf(1:3), 1._RKG + [real(RKG) :: 0, 1, 2], 2._RKG, info)
21call setAsserted(.not. any(info < 0))
22cdf(1:3)
23+0.13533528323661270, +0.40600584970983800, +0.67667641618306340
24
25
26call setPoisCDF(cdf(1:3), [real(RKG) :: 1, 2, 3], [0.1_RKG, 1._RKG, 10._RKG], info)
27call setAsserted(.not. any(info < 0))
28cdf(1:3)
29+0.90483741803595952, +0.73575888234288467, +0.27693957155115745E-2
30
31

Postprocessing of the example output
1#!/usr/bin/env python
2
3import matplotlib.pyplot as plt
4import pandas as pd
5import numpy as np
6import glob
7import sys
8
9fontsize = 17
10
11kind = "IK"
12label = [ r"$\lambda = 0.1$"
13 , r"$\lambda = 1.0$"
14 , r"$\lambda = 4.0$"
15 , r"$\lambda = 10.$"
16 ]
17
18pattern = "*." + kind + ".txt"
19fileList = glob.glob(pattern)
20if len(fileList) == 1:
21
22 df = pd.read_csv(fileList[0], delimiter = " ", header = None)
23
24 fig = plt.figure(figsize = 1.25 * np.array([6.4, 4.8]), dpi = 200)
25 ax = plt.subplot()
26
27 for i in range(1,len(df.values[0,:]+1)):
28
29 plt.plot( df.values[:, 0]
30 , df.values[:,i]
31 , marker = "."
32 )
33
34 plt.xticks(fontsize = fontsize - 2)
35 plt.yticks(fontsize = fontsize - 2)
36 ax.set_xlim([0, None])
37 ax.set_xlabel("Count", fontsize = fontsize)
38 ax.set_ylabel("CDF", fontsize = fontsize)
39
40 plt.grid(visible = True, which = "both", axis = "both", color = "0.85", linestyle = "-")
41 ax.tick_params(axis = "y", which = "minor")
42 ax.tick_params(axis = "x", which = "minor")
43
44 ax.legend ( label
45 , fontsize = fontsize
46 #, loc = "center left"
47 #, bbox_to_anchor = (1, 0.5)
48 )
49
50 plt.savefig(fileList[0].replace(".txt",".png"))
51
52else:
53
54 sys.exit("Ambiguous file list exists.")

Visualization of the example output
Test:
test_pm_distPois


Final Remarks


If you believe this algorithm or its documentation can be improved, we appreciate your contribution and help to edit this page's documentation and source file on GitHub.
For details on the naming abbreviations, see this page.
For details on the naming conventions, see this page.
This software is distributed under the MIT license with additional terms outlined below.

  1. If you use any parts or concepts from this library to any extent, please acknowledge the usage by citing the relevant publications of the ParaMonte library.
  2. If you regenerate any parts/ideas from this library in a programming environment other than those currently supported by this ParaMonte library (i.e., other than C, C++, Fortran, MATLAB, Python, R), please also ask the end users to cite this original ParaMonte library.

This software is available to the public under a highly permissive license.
Help us justify its continued development and maintenance by acknowledging its benefit to society, distributing it, and contributing to it.

Author:
Amir Shahmoradi, Oct 16, 2009, 11:14 AM, Michigan

Definition at line 676 of file pm_distPois.F90.


The documentation for this interface was generated from the following file: