sum_to_zero_free.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_CONSTRAINT_SUM_TO_ZERO_FREE_HPP
#define STAN_MATH_PRIM_CONSTRAINT_SUM_TO_ZERO_FREE_HPP
 
#include <stan/math/prim/meta.hpp>
#include <stan/math/prim/err.hpp>
#include <stan/math/prim/fun/Eigen.hpp>
#include <stan/math/prim/fun/to_ref.hpp>
#include <stan/math/prim/fun/sqrt.hpp>
#include <stan/math/prim/functor/apply_vector_unary.hpp>
#include <cmath>
 
namespace stan {
namespace math {
 
template <typename Vec, require_eigen_vector_t<Vec>* = nullptr>
inline plain_type_t<Vec> sum_to_zero_free(const Vec& z) {
  const auto& z_ref = to_ref(z);
  check_sum_to_zero("stan::math::sum_to_zero_free", "sum_to_zero variable",
                    z_ref);
 
  const auto N = z.size() - 1;
 
  plain_type_t<Vec> y = Eigen::VectorXd::Zero(N);
  if (unlikely(N == 0)) {
    return y;
  }
 
  y.coeffRef(N - 1) = -z_ref(N) * sqrt(N * (N + 1)) / N;
 
  value_type_t<Vec> sum_w(0);
 
  for (int i = N - 2; i >= 0; --i) {
    double n = static_cast<double>(i + 1);
    auto w = y(i + 1) / sqrt((n + 1) * (n + 2));
    sum_w += w;
    y.coeffRef(i) = (sum_w - z_ref(i + 1)) * sqrt(n * (n + 1)) / n;
  }
 
  return y;
}
 
template <typename T, require_std_vector_t<T>* = nullptr>
inline auto sum_to_zero_free(const T& z) {
  return apply_vector_unary<T>::apply(
      z, [](auto&& v) { return sum_to_zero_free(v); });
}
 
}  // namespace math
}  // namespace stan
 
#endif