double gsl_sf_lnbeta(const double x, const double y)
{
EVAL_RESULT(gsl_sf_lnbeta_e(x, y, &result));
}
int
gsl_sf_beta_inc_e(
const double a,
const double b,
const double x,
gsl_sf_result * result
)
{
if(a <= 0.0 || b <= 0.0 || x < 0.0 || x > 1.0) {
DOMAIN_ERROR(result);
}
else if(x == 0.0) {
result->val = 0.0;
result->err = 0.0;
return GSL_SUCCESS;
}
else if(x == 1.0) {
result->val = 1.0;
result->err = 0.0;
return GSL_SUCCESS;
}
else {
gsl_sf_result ln_beta;
gsl_sf_result ln_x;
gsl_sf_result ln_1mx;
gsl_sf_result prefactor;
const int stat_ln_beta = gsl_sf_lnbeta_e(a, b, &ln_beta);
const int stat_ln_1mx = gsl_sf_log_1plusx_e(-x, &ln_1mx);
const int stat_ln_x = gsl_sf_log_e(x, &ln_x);
const int stat_ln = GSL_ERROR_SELECT_3(stat_ln_beta, stat_ln_1mx, stat_ln_x);
const double ln_pre_val = -ln_beta.val + a * ln_x.val + b * ln_1mx.val;
const double ln_pre_err = ln_beta.err + fabs(a*ln_x.err) + fabs(b*ln_1mx.err);
const int stat_exp = gsl_sf_exp_err_e(ln_pre_val, ln_pre_err, &prefactor);
if(stat_ln != GSL_SUCCESS) {
result->val = 0.0;
result->err = 0.0;
GSL_ERROR ("error", GSL_ESANITY);
}
if(x < (a + 1.0)/(a+b+2.0)) {
/* Apply continued fraction directly. */
gsl_sf_result cf;
const int stat_cf = beta_cont_frac(a, b, x, &cf);
int stat;
result->val = prefactor.val * cf.val / a;
result->err = (fabs(prefactor.err * cf.val) + fabs(prefactor.val * cf.err))/a;
stat = GSL_ERROR_SELECT_2(stat_exp, stat_cf);
if(stat == GSL_SUCCESS) {
CHECK_UNDERFLOW(result);
}
return stat;
}
else {
/* Apply continued fraction after hypergeometric transformation. */
gsl_sf_result cf;
const int stat_cf = beta_cont_frac(b, a, 1.0-x, &cf);
int stat;
const double term = prefactor.val * cf.val / b;
result->val = 1.0 - term;
result->err = fabs(prefactor.err * cf.val)/b;
result->err += fabs(prefactor.val * cf.err)/b;
result->err += 2.0 * GSL_DBL_EPSILON * (1.0 + fabs(term));
stat = GSL_ERROR_SELECT_2(stat_exp, stat_cf);
if(stat == GSL_SUCCESS) {
CHECK_UNDERFLOW(result);
}
return stat;
}
}
}
