Skip to main content

Tail Probability

Name

UxHwDoubleProbabilityGT, UxHwFloatProbabilityGT Return the tail probability of a distribution beyond a cut-off value.

Synopsis

#include <uxhw.h>

double UxHwDoubleProbabilityGT(double value, double cutoff);
float UxHwFloatProbabilityGT(float value, float cutoff);

Description

The UxHwDoubleProbabilityGT() function returns the tail probability beyond cutoff of the distribution associated with value, on architectures that associate distributional information with floating-point values. Tail probability is defined as the probability of a random value from the value distribution to be greater than the cutoff value.

Parameters

  • value The distributional value to calculate the tail probability on.
  • cutoff The cutoff value used to calculate the tail probability.

Return Values

The UxHwDoubleProbabilityGT() function returns a floating-point value equal to the tail probability beyond cutoff of the distribution associated with value. If value has no distribution associated with it, the function returns value > cutoff (either 1.0 or 0.0).

  Examples

#include <stdio.h>
#include <uxhw.h>

int
main(void)
{
double cutoff = 15.0;

double a = UxHwDoubleUniformDist(10.0, 20.0);
double tailProbability = UxHwDoubleProbabilityGT(a, cutoff);

printf("Tail probability of `a` beyond cutoff %lf is %lf\n", cutoff, tailProbability);

return 0;
}