check_pos_semidefinite.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_ERR_CHECK_POS_SEMIDEFINITE_HPP
#define STAN_MATH_PRIM_ERR_CHECK_POS_SEMIDEFINITE_HPP
 
#include <stan/math/prim/fun/Eigen.hpp>
#include <stan/math/prim/meta.hpp>
#include <stan/math/prim/err/check_not_nan.hpp>
#include <stan/math/prim/err/check_positive.hpp>
#include <stan/math/prim/err/check_symmetric.hpp>
#include <stan/math/prim/err/throw_domain_error.hpp>
#include <stan/math/prim/fun/to_ref.hpp>
#include <stan/math/prim/fun/value_of_rec.hpp>
#include <sstream>
 
namespace stan {
namespace math {
 
template <typename EigMat, require_matrix_t<EigMat>* = nullptr>
inline void check_pos_semidefinite(const char* function, const char* name,
                                   const EigMat& y) {
  const auto& y_ref = to_ref(y);
  check_symmetric(function, name, y_ref);
  check_positive(function, name, "rows", y_ref.rows());
  check_not_nan(function, name, y_ref);
 
  if (y_ref.rows() == 1 && !(y_ref(0, 0) >= 0.0)) {
    throw_domain_error(function, name, "is not positive semi-definite.", "");
  }
 
  using Eigen::Dynamic;
  using Eigen::LDLT;
  using Eigen::Matrix;
  LDLT<Matrix<double, Dynamic, Dynamic> > cholesky = value_of_rec(y_ref).ldlt();
  if (cholesky.info() != Eigen::Success
      || (cholesky.vectorD().array() < 0.0).any()) {
    throw_domain_error(function, name, "is not positive semi-definite.", "");
  }
}
 
template <typename Derived>
inline void check_pos_semidefinite(const char* function, const char* name,
                                   const Eigen::LDLT<Derived>& cholesky) {
  if (cholesky.info() != Eigen::Success
      || (cholesky.vectorD().array() < 0.0).any()) {
    throw_domain_error(function, name, "is not positive semi-definite.", "");
  }
}
 
}  // namespace math
}  // namespace stan
#endif