Automatic Differentiation
 
Loading...
Searching...
No Matches
poisson_log_lpmf.hpp
Go to the documentation of this file.
1#ifndef STAN_MATH_PRIM_PROB_POISSON_LOG_LPMF_HPP
2#define STAN_MATH_PRIM_PROB_POISSON_LOG_LPMF_HPP
3
20#include <cmath>
21
22namespace stan {
23namespace math {
24
25// PoissonLog(n|alpha) [n >= 0] = Poisson(n|exp(alpha))
26template <bool propto, typename T_n, typename T_log_rate,
28 T_n, T_log_rate>* = nullptr>
30 const T_log_rate& alpha) {
31 using T_partials_return = partials_return_t<T_n, T_log_rate>;
32 using T_n_ref = ref_type_if_not_constant_t<T_n>;
34 using std::isinf;
35 static constexpr const char* function = "poisson_log_lpmf";
36 check_consistent_sizes(function, "Random variable", n, "Log rate parameter",
37 alpha);
38
39 T_n_ref n_ref = n;
40 T_alpha_ref alpha_ref = alpha;
41
42 decltype(auto) n_val = to_ref(as_value_column_array_or_scalar(n_ref));
43 decltype(auto) alpha_val = to_ref(as_value_column_array_or_scalar(alpha_ref));
44
45 check_nonnegative(function, "Random variable", n_val);
46 check_not_nan(function, "Log rate parameter", alpha_val);
47
48 if (size_zero(n, alpha)) {
49 return 0.0;
50 }
52 return 0.0;
53 }
54
55 if (sum(promote_scalar<int>(INFTY == alpha_val))) {
56 return LOG_ZERO;
57 }
58
59 size_t N = max_size(n, alpha);
60 scalar_seq_view<decltype(n_val)> n_vec(n_val);
61 scalar_seq_view<decltype(alpha_val)> alpha_vec(alpha_val);
62 for (size_t i = 0; i < N; i++) {
63 if (NEGATIVE_INFTY == alpha_vec[i] && n_vec[i] != 0) {
64 return LOG_ZERO;
65 }
66 }
67
68 auto ops_partials = make_partials_propagator(alpha_ref);
69
70 const auto& exp_alpha
71 = to_ref_if<!is_constant_all<T_log_rate>::value>(exp(alpha_val));
72
73 T_partials_return logp = sum(n_val * alpha_val);
75 logp -= sum(exp_alpha) * N / math::size(alpha);
76 }
78 logp -= sum(lgamma(n_val + 1.0)) * N / math::size(n);
79 }
80
82 partials<0>(ops_partials) = n_val - exp_alpha;
83 }
84
85 return ops_partials.build(logp);
86}
87
88template <typename T_n, typename T_log_rate>
90 const T_log_rate& alpha) {
91 return poisson_log_lpmf<false>(n, alpha);
92}
93
94} // namespace math
95} // namespace stan
96#endif
scalar_seq_view provides a uniform sequence-like wrapper around either a scalar or a sequence of scal...
require_all_not_t< is_nonscalar_prim_or_rev_kernel_expression< std::decay_t< Types > >... > require_all_not_nonscalar_prim_or_rev_kernel_expression_t
Require none of the types satisfy is_nonscalar_prim_or_rev_kernel_expression.
return_type_t< T_log_rate_cl > poisson_log_lpmf(const T_n_cl &n, const T_log_rate_cl &alpha)
Returns the log PMF of the Poisson log distribution.
size_t size(const T &m)
Returns the size (number of the elements) of a matrix_cl or var_value<matrix_cl<T>>.
Definition size.hpp:18
typename return_type< Ts... >::type return_type_t
Convenience type for the return type of the specified template parameters.
static constexpr double LOG_ZERO
The natural logarithm of 0, .
Definition constants.hpp:68
size_t max_size(const T1 &x1, const Ts &... xs)
Calculate the size of the largest input.
Definition max_size.hpp:19
void check_nonnegative(const char *function, const char *name, const T_y &y)
Check if y is non-negative.
bool size_zero(const T &x)
Returns 1 if input is of length 0, returns 0 otherwise.
Definition size_zero.hpp:19
static constexpr double NEGATIVE_INFTY
Negative infinity.
Definition constants.hpp:51
auto as_value_column_array_or_scalar(T &&a)
Extract the value from an object and for eigen vectors and std::vectors convert to an eigen column ar...
void check_consistent_sizes(const char *)
Trivial no input case, this function is a no-op.
fvar< T > sum(const std::vector< fvar< T > > &m)
Return the sum of the entries of the specified standard vector.
Definition sum.hpp:22
ref_type_t< T && > to_ref(T &&a)
This evaluates expensive Eigen expressions.
Definition to_ref.hpp:17
fvar< T > lgamma(const fvar< T > &x)
Return the natural logarithm of the gamma function applied to the specified argument.
Definition lgamma.hpp:21
void check_not_nan(const char *function, const char *name, const T_y &y)
Check if y is not NaN.
auto make_partials_propagator(Ops &&... ops)
Construct an partials_propagator.
static constexpr double INFTY
Positive infinity.
Definition constants.hpp:46
fvar< T > exp(const fvar< T > &x)
Definition exp.hpp:13
typename ref_type_if<!is_constant< T >::value, T >::type ref_type_if_not_constant_t
Definition ref_type.hpp:62
typename partials_return_type< Args... >::type partials_return_t
The lgamma implementation in stan-math is based on either the reentrant safe lgamma_r implementation ...
Definition fvar.hpp:9
bool isinf(const stan::math::var &a)
Return 1 if the specified argument is positive infinity or negative infinity and 0 otherwise.
Definition std_isinf.hpp:16
Extends std::true_type when instantiated with zero or more template parameters, all of which extend t...
Template metaprogram to calculate whether a summand needs to be included in a proportional (log) prob...