use num_traits::Float;
use strafe_type::{FloatConstraint, LogProbability64, PositiveInteger64, Probability64, Real64};
use crate::{
distribution::beta::{log_pbeta, pbeta},
traits::DPQ,
};
pub fn pbinom<R: Into<Real64>, PO: Into<PositiveInteger64>, PR: Into<Probability64>>(
x: R,
n: PO,
p: PR,
lower_tail: bool,
) -> Probability64 {
pbinom_inner(x, n, p, lower_tail, false).into()
}
pub fn log_pbinom<R: Into<Real64>, PO: Into<PositiveInteger64>, PR: Into<Probability64>>(
x: R,
n: PO,
p: PR,
lower_tail: bool,
) -> LogProbability64 {
pbinom_inner(x, n, p, lower_tail, true).into()
}
pub fn pbinom_inner<R: Into<Real64>, PO: Into<PositiveInteger64>, PR: Into<Probability64>>(
x: R,
n: PO,
p: PR,
lower_tail: bool,
log: bool,
) -> f64 {
let mut x = x.into().unwrap();
let n = n.into().unwrap();
let p = p.into().unwrap();
if !n.is_finite() || !p.is_finite() {
return f64::nan();
}
if x < 0.0 {
return f64::dt_0(lower_tail, log);
}
x = (x + 1e-7).floor();
if n <= x {
return f64::dt_1(lower_tail, log);
}
if log {
log_pbeta(p, x + 1.0, n - x, !lower_tail).unwrap()
} else {
pbeta(p, x + 1.0, n - x, !lower_tail).unwrap()
}
}