is_pos_definite.hpp

Go to the documentation of this file.

#ifndef STAN_MATH_PRIM_ERR_IS_POS_DEFINITE_HPP
#define STAN_MATH_PRIM_ERR_IS_POS_DEFINITE_HPP
 
#include <stan/math/prim/fun/Eigen.hpp>
#include <stan/math/prim/meta.hpp>
#include <stan/math/prim/err/is_positive.hpp>
#include <stan/math/prim/err/is_not_nan.hpp>
#include <stan/math/prim/err/is_symmetric.hpp>
#include <stan/math/prim/err/constraint_tolerance.hpp>
#include <stan/math/prim/fun/to_ref.hpp>
#include <stan/math/prim/fun/value_of_rec.hpp>
 
namespace stan {
namespace math {
 
template <typename EigMat, require_eigen_matrix_dynamic_t<EigMat>* = nullptr>
inline bool is_pos_definite(const EigMat& y) {
  const auto& y_ref = to_ref(y);
  if (!is_symmetric(y_ref)) {
    return false;
  }
  if (!is_positive(y_ref.rows())) {
    return false;
  }
  if (y_ref.rows() == 1 && !(y_ref(0, 0) > CONSTRAINT_TOLERANCE)) {
    return false;
  }
  Eigen::LDLT<Eigen::MatrixXd> cholesky = value_of_rec(y_ref).ldlt();
  if (cholesky.info() != Eigen::Success || !cholesky.isPositive()
      || (cholesky.vectorD().array() <= 0.0).any()) {
    return false;
  }
  return is_not_nan(y_ref);
}
 
template <typename Derived>
inline bool is_pos_definite(const Eigen::LDLT<Derived>& cholesky) {
  return cholesky.info() == Eigen::Success && cholesky.isPositive()
         && (cholesky.vectorD().array() > 0.0).all();
}
 
template <typename Derived>
inline bool is_pos_definite(const Eigen::LLT<Derived>& cholesky) {
  return cholesky.info() == Eigen::Success
         && (cholesky.matrixLLT().diagonal().array() > 0.0).all();
}
 
}  // namespace math
}  // namespace stan
#endif