poisson_binomial_lccdf.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_PROB_POISSON_BINOMIAL_LCCDF_HPP
#define STAN_MATH_PRIM_PROB_POISSON_BINOMIAL_LCCDF_HPP
 
#include <stan/math/prim/meta.hpp>
#include <stan/math/prim/err.hpp>
#include <stan/math/prim/fun/binomial_coefficient_log.hpp>
#include <stan/math/prim/fun/log.hpp>
#include <stan/math/prim/fun/log1m.hpp>
#include <stan/math/prim/fun/log_sum_exp.hpp>
#include <stan/math/prim/fun/log1m_exp.hpp>
#include <stan/math/prim/fun/max_size.hpp>
#include <stan/math/prim/fun/multiply_log.hpp>
#include <stan/math/prim/fun/scalar_seq_view.hpp>
#include <stan/math/prim/fun/size.hpp>
#include <stan/math/prim/fun/size_zero.hpp>
#include <stan/math/prim/fun/value_of.hpp>
#include <stan/math/prim/fun/poisson_binomial_log_probs.hpp>
#include <stan/math/prim/fun/vector_seq_view.hpp>
 
namespace stan {
namespace math {
 
template <bool propto, typename T_y, typename T_theta>
return_type_t<T_theta> poisson_binomial_lccdf(const T_y& y,
                                              const T_theta& theta) {
  static constexpr const char* function = "poisson_binomial_lccdf";
 
  size_t size_theta = size_mvt(theta);
  if (size_theta > 1) {
    check_consistent_sizes(function, "Successes variables", y,
                           "Probability parameters", theta);
  }
 
  size_t max_sz = std::max(stan::math::size(y), size_mvt(theta));
  scalar_seq_view<T_y> y_vec(y);
  vector_seq_view<T_theta> theta_vec(theta);
 
  for (size_t i = 0; i < max_sz; ++i) {
    check_bounded(function, "Successes variable", y_vec[i], 0,
                  theta_vec[i].size());
    check_finite(function, "Probability parameters", theta_vec.val(i));
    check_bounded(function, "Probability parameters", theta_vec.val(i), 0.0,
                  1.0);
  }
 
  return_type_t<T_theta> lccdf = 0.0;
  for (size_t i = 0; i < max_sz; ++i) {
    if (stan::math::size(theta_vec[i]) == 1) {
      if (y_vec[i] == 0) {
        lccdf += log(theta_vec[i][0]);
      } else {
        lccdf -= stan::math::INFTY;
      }
    } else {
      auto x = log1m_exp(
          log_sum_exp(poisson_binomial_log_probs(y_vec[i], theta_vec[i])));
      lccdf += x;
    }
  }
  return lccdf;
}
 
template <typename T_y, typename T_theta>
return_type_t<T_theta> poisson_binomial_lccdf(const T_y& y,
                                              const T_theta& theta) {
  return poisson_binomial_lccdf<false>(y, theta);
}
 
}  // namespace math
}  // namespace stan
#endif