1 #ifndef STAN_MATH_PRIM_SCAL_PROB_POISSON_CCDF_LOG_HPP
2 #define STAN_MATH_PRIM_SCAL_PROB_POISSON_CCDF_LOG_HPP
13 #include <boost/math/special_functions/fpclassify.hpp>
14 #include <boost/random/poisson_distribution.hpp>
15 #include <boost/random/variate_generator.hpp>
23 template <
typename T_n,
typename T_rate>
24 typename return_type<T_rate>::type
26 static const char*
function(
"stan::math::poisson_ccdf_log");
39 T_partials_return P(0.0);
46 "Rate parameter", lambda);
68 return operands_and_partials.
to_var(0.0, lambda);
71 for (
size_t i = 0; i <
size; i++) {
78 const T_partials_return n_dbl =
value_of(n_vec[i]);
79 const T_partials_return lambda_dbl =
value_of(lambda_vec[i]);
80 const T_partials_return Pi = 1.0 -
gamma_q(n_dbl+1, lambda_dbl);
85 operands_and_partials.
d_x1[i] +=
exp(-lambda_dbl)
86 *
pow(lambda_dbl, n_dbl) /
tgamma(n_dbl+1) / Pi;
89 return operands_and_partials.
to_var(P, lambda);
bool check_not_nan(const char *function, const char *name, const T_y &y)
Return true if y is not NaN.
T value_of(const fvar< T > &v)
Return the value of the specified variable.
fvar< T > log(const fvar< T > &x)
size_t length(const std::vector< T > &x)
T_return_type to_var(T_partials_return logp, const T1 &x1=0, const T2 &x2=0, const T3 &x3=0, const T4 &x4=0, const T5 &x5=0, const T6 &x6=0)
VectorView< T_partials_return, is_vector< T1 >::value, is_constant_struct< T1 >::value > d_x1
Metaprogram to determine if a type has a base scalar type that can be assigned to type double...
fvar< T > exp(const fvar< T > &x)
A variable implementation that stores operands and derivatives with respect to the variable...
size_t max_size(const T1 &x1, const T2 &x2)
int max(const std::vector< int > &x)
Returns the maximum coefficient in the specified column vector.
int size(const std::vector< T > &x)
Return the size of the specified standard vector.
return_type< T_rate >::type poisson_ccdf_log(const T_n &n, const T_rate &lambda)
bool check_consistent_sizes(const char *function, const char *name1, const T1 &x1, const char *name2, const T2 &x2)
Return true if the dimension of x1 is consistent with x2.
fvar< T > pow(const fvar< T > &x1, const fvar< T > &x2)
bool check_nonnegative(const char *function, const char *name, const T_y &y)
Return true if y is non-negative.
fvar< T > tgamma(const fvar< T > &x)
VectorView is a template metaprogram that takes its argument and allows it to be used like a vector...
boost::math::tools::promote_args< typename partials_type< typename scalar_type< T1 >::type >::type, typename partials_type< typename scalar_type< T2 >::type >::type, typename partials_type< typename scalar_type< T3 >::type >::type, typename partials_type< typename scalar_type< T4 >::type >::type, typename partials_type< typename scalar_type< T5 >::type >::type, typename partials_type< typename scalar_type< T6 >::type >::type >::type type
fvar< T > gamma_q(const fvar< T > &x1, const fvar< T > &x2)
double negative_infinity()
Return negative infinity.