cdf_inverse_gamma_gaussian

function cdf_inverse_gamma_gaussian(x:Real, μ:Real, α:Real, β:Real) -> Real

CDF of a Gaussian variate with an inverse-gamma distribution over the variance.

  • x: The variate.
  • μ: Mean.
  • α: Shape of the inverse-gamma.
  • β: Scale of the inverse-gamma.

Return: the cumulative probability.