G01 Chapter Contents
G01 Chapter Introduction
NAG Library Manual

# NAG Library Routine DocumentG01SLF

Note:  before using this routine, please read the Users' Note for your implementation to check the interpretation of bold italicised terms and other implementation-dependent details.

## 1  Purpose

G01SLF returns a number of the lower tail, upper tail and point probabilities for the hypergeometric distribution.

## 2  Specification

 SUBROUTINE G01SLF ( LN, N, LL, L, LM, M, LK, K, PLEK, PGTK, PEQK, IVALID, IFAIL)
 INTEGER LN, N(LN), LL, L(LL), LM, M(LM), LK, K(LK), IVALID(*), IFAIL REAL (KIND=nag_wp) PLEK(*), PGTK(*), PEQK(*)

## 3  Description

Let $X=\left\{{X}_{i}:i=1,2,\dots ,r\right\}$ denote a vector of random variables having a hypergeometric distribution with parameters ${n}_{i}$, ${l}_{i}$ and ${m}_{i}$. Then
 $Prob Xi = ki = mi ki ni - mi li - ki ni li ,$
where $\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(0,{l}_{i}+{m}_{i}-{n}_{i}\right)\le {k}_{i}\le \mathrm{min}\phantom{\rule{0.125em}{0ex}}\left({l}_{i},{m}_{i}\right)$, $0\le {l}_{i}\le {n}_{i}$ and $0\le {m}_{i}\le {n}_{i}$.
The hypergeometric distribution may arise if in a population of size ${n}_{i}$ a number ${m}_{i}$ are marked. From this population a sample of size ${l}_{i}$ is drawn and of these ${k}_{i}$ are observed to be marked.
The mean of the distribution $\text{}=\frac{{l}_{i}{m}_{i}}{{n}_{i}}$, and the variance $\text{}=\frac{{l}_{i}{m}_{i}\left({n}_{i}-{l}_{i}\right)\left({n}_{i}-{m}_{i}\right)}{{{n}_{i}}^{2}\left({n}_{i}-1\right)}$.
G01SLF computes for given ${n}_{i}$, ${l}_{i}$, ${m}_{i}$ and ${k}_{i}$ the probabilities: $\mathrm{Prob}\left\{{X}_{i}\le {k}_{i}\right\}$, $\mathrm{Prob}\left\{{X}_{i}>{k}_{i}\right\}$ and $\mathrm{Prob}\left\{{X}_{i}={k}_{i}\right\}$ using an algorithm similar to that described in Knüsel (1986) for the Poisson distribution.
The input arrays to this routine are designed to allow maximum flexibility in the supply of vector parameters by re-using elements of any arrays that are shorter than the total number of evaluations required. See Section 2.6 in the G01 Chapter Introduction for further information.

## 4  References

Knüsel L (1986) Computation of the chi-square and Poisson distribution SIAM J. Sci. Statist. Comput. 7 1022–1036

## 5  Parameters

1:     LN – INTEGERInput
On entry: the length of the array N
Constraint: ${\mathbf{LN}}>0$.
2:     N(LN) – INTEGER arrayInput
On entry: ${n}_{i}$, the parameter of the hypergeometric distribution with ${n}_{i}={\mathbf{N}}\left(j\right)$, , for $i=1,2,\dots ,\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{LN}},{\mathbf{LL}},{\mathbf{LM}},{\mathbf{LK}}\right)$.
Constraint: ${\mathbf{N}}\left(\mathit{j}\right)\ge 0$, for $\mathit{j}=1,2,\dots ,{\mathbf{LN}}$.
3:     LL – INTEGERInput
On entry: the length of the array L
Constraint: ${\mathbf{LL}}>0$.
4:     L(LL) – INTEGER arrayInput
On entry: ${l}_{i}$, the parameter of the hypergeometric distribution with ${l}_{i}={\mathbf{L}}\left(j\right)$, .
Constraint: $0\le {l}_{i}\le {n}_{i}$.
5:     LM – INTEGERInput
On entry: the length of the array M
Constraint: ${\mathbf{LM}}>0$.
6:     M(LM) – INTEGER arrayInput
On entry: ${m}_{i}$, the parameter of the hypergeometric distribution with ${m}_{i}={\mathbf{M}}\left(j\right)$, .
Constraint: $0\le {m}_{i}\le {n}_{i}$.
7:     LK – INTEGERInput
On entry: the length of the array K
Constraint: ${\mathbf{LK}}>0$.
8:     K(LK) – INTEGER arrayInput
On entry: ${k}_{i}$, the integer which defines the required probabilities with ${k}_{i}={\mathbf{K}}\left(j\right)$, .
Constraint: $\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left(0,{l}_{i}+{m}_{i}-{n}_{i}\right)\le {k}_{i}\le \mathrm{min}\phantom{\rule{0.125em}{0ex}}\left({l}_{i},{m}_{i}\right)$.
9:     PLEK($*$) – REAL (KIND=nag_wp) arrayOutput
Note: the dimension of the array PLEK must be at least $\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{LN}},{\mathbf{LL}},{\mathbf{LM}},{\mathbf{LK}}\right)$.
On exit: $\mathrm{Prob}\left\{{X}_{i}\le {k}_{i}\right\}$, the lower tail probabilities.
10:   PGTK($*$) – REAL (KIND=nag_wp) arrayOutput
Note: the dimension of the array PGTK must be at least $\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{LN}},{\mathbf{LL}},{\mathbf{LM}},{\mathbf{LK}}\right)$.
On exit: $\mathrm{Prob}\left\{{X}_{i}>{k}_{i}\right\}$, the upper tail probabilities.
11:   PEQK($*$) – REAL (KIND=nag_wp) arrayOutput
Note: the dimension of the array PEQK must be at least $\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{LN}},{\mathbf{LL}},{\mathbf{LM}},{\mathbf{LK}}\right)$.
On exit: $\mathrm{Prob}\left\{{X}_{i}={k}_{i}\right\}$, the point probabilities.
12:   IVALID($*$) – INTEGER arrayOutput
Note: the dimension of the array IVALID must be at least $\mathrm{max}\phantom{\rule{0.125em}{0ex}}\left({\mathbf{LN}},{\mathbf{LL}},{\mathbf{LM}},{\mathbf{LK}}\right)$.
On exit: ${\mathbf{IVALID}}\left(i\right)$ indicates any errors with the input arguments, with
${\mathbf{IVALID}}\left(i\right)=0$
No error.
${\mathbf{IVALID}}\left(i\right)=1$
 On entry, ${n}_{i}<0$.
${\mathbf{IVALID}}\left(i\right)=2$
 On entry, ${l}_{i}<0$, or ${l}_{i}>{n}_{i}$.
${\mathbf{IVALID}}\left(i\right)=3$
 On entry, ${m}_{i}<0$, or ${m}_{i}>{n}_{i}$.
${\mathbf{IVALID}}\left(i\right)=4$
 On entry, ${k}_{i}<0$, or ${k}_{i}>{l}_{i}$, or ${k}_{i}>{m}_{i}$, or ${k}_{i}<{l}_{i}+{m}_{i}-{n}_{i}$.
${\mathbf{IVALID}}\left(i\right)=5$
 On entry, ${n}_{i}$ is too large to be represented exactly as a real number.
${\mathbf{IVALID}}\left(i\right)=6$
 On entry, the variance (see Section 3) exceeds ${10}^{6}$.
13:   IFAIL – INTEGERInput/Output
On entry: IFAIL must be set to $0$, $-1\text{​ or ​}1$. If you are unfamiliar with this parameter you should refer to Section 3.3 in the Essential Introduction for details.
For environments where it might be inappropriate to halt program execution when an error is detected, the value $-1\text{​ or ​}1$ is recommended. If the output of error messages is undesirable, then the value $1$ is recommended. Otherwise, if you are not familiar with this parameter, the recommended value is $0$. When the value $-\mathbf{1}\text{​ or ​}\mathbf{1}$ is used it is essential to test the value of IFAIL on exit.
On exit: ${\mathbf{IFAIL}}={\mathbf{0}}$ unless the routine detects an error or a warning has been flagged (see Section 6).

## 6  Error Indicators and Warnings

If on entry ${\mathbf{IFAIL}}={\mathbf{0}}$ or $-{\mathbf{1}}$, explanatory error messages are output on the current error message unit (as defined by X04AAF).
Errors or warnings detected by the routine:
${\mathbf{IFAIL}}=1$
On entry, at least one value of N, L, M or K was invalid, or the variance was too large.
${\mathbf{IFAIL}}=2$
On entry, $\text{array size}=⟨\mathit{\text{value}}⟩$.
Constraint: ${\mathbf{LN}}>0$.
${\mathbf{IFAIL}}=3$
On entry, $\text{array size}=⟨\mathit{\text{value}}⟩$.
Constraint: ${\mathbf{LL}}>0$.
${\mathbf{IFAIL}}=4$
On entry, $\text{array size}=⟨\mathit{\text{value}}⟩$.
Constraint: ${\mathbf{LM}}>0$.
${\mathbf{IFAIL}}=5$
On entry, $\text{array size}=⟨\mathit{\text{value}}⟩$.
Constraint: ${\mathbf{LK}}>0$.
${\mathbf{IFAIL}}=-999$
Dynamic memory allocation failed.

## 7  Accuracy

Results are correct to a relative accuracy of at least ${10}^{-6}$ on machines with a precision of $9$ or more decimal digits (provided that the results do not underflow to zero).

The time taken by G01SLF to calculate each probability depends on the variance (see Section 3) and on ${k}_{i}$. For given variance, the time is greatest when ${k}_{i}\approx {l}_{i}{m}_{i}/{n}_{i}$ ($=$ the mean), and is then approximately proportional to the square-root of the variance.

## 9  Example

This example reads a vector of values for $n$, $l$, $m$ and $k$, and prints the corresponding probabilities.

### 9.1  Program Text

Program Text (g01slfe.f90)

### 9.2  Program Data

Program Data (g01slfe.d)

### 9.3  Program Results

Program Results (g01slfe.r)