proxsuite-ldlt-wrap.hpp

Go to the documentation of this file.

 
#pragma once
 
#include <proxsuite/linalg/dense/ldlt.hpp>
 
#include "proxsuite-nlp/linalg/ldlt-base.hpp"
 
namespace {
 
namespace veg = proxsuite::linalg::veg;
namespace dense_linalg = proxsuite::linalg::dense;
using byte = proxsuite::linalg::veg::mem::byte;
using StackType = proxsuite::linalg::veg::Vec<byte>;
using StackReq = proxsuite::linalg::veg::dynstack::StackReq;
 
template <typename Mat, typename Rhs> void solve_impl(Mat &&ld_, Rhs &&rhs_) {
  auto ld = dense_linalg::util::to_view(ld_);
  auto rhs = dense_linalg::util::to_view_dyn_rows(rhs_);
  using Scalar = typename Mat::Scalar;
 
  auto l = ld.template triangularView<Eigen::UnitLower>();
  auto lt =
      dense_linalg::util::trans(ld).template triangularView<Eigen::UnitUpper>();
  auto d = dense_linalg::util::diagonal(ld);
  l.solveInPlace(rhs);
  constexpr Scalar eps = std::numeric_limits<Scalar>::min();
 
  using std::abs;
  for (Eigen::Index i = 0; i < d.size(); ++i) {
    if (abs(d[i]) > eps) {
      rhs.row(i) /= d[i];
    } else {
      rhs.row(i).setZero();
    }
  }
  lt.solveInPlace(rhs);
}
 
} // anonymous namespace
 
namespace proxsuite {
namespace nlp {
namespace linalg {
 
template <typename _Scalar> struct ProxSuiteLDLTWrapper : ldlt_base<_Scalar> {
  using Scalar = _Scalar;
  PROXSUITE_NLP_DYNAMIC_TYPEDEFS(Scalar);
  using Base = ldlt_base<Scalar>;
  using psldlt_t = dense_linalg::Ldlt<Scalar>;
  using DView = typename Base::DView;
 
  psldlt_t m_ldlt;
  StackType ldl_stack;
  using Base::m_info;
 
  ProxSuiteLDLTWrapper(isize nr, isize rhs_max_cols) : m_ldlt{} {
    m_ldlt.reserve_uninit(nr);
 
    // quick runthrough: no block insertions, no diagonal updates
    // just need space for solve in place with nr rows, rhs_max_cols columns.
    auto req_mat = psldlt_t::solve_in_place_req(rhs_max_cols * nr);
 
    StackReq req{psldlt_t::factorize_req(nr) | req_mat};
 
    ldl_stack.resize_for_overwrite(req.alloc_req());
  }
 
  ProxSuiteLDLTWrapper &compute(const ConstMatrixRef &mat) {
    using veg::dynstack::DynStackMut;
 
    DynStackMut stack{veg::from_slice_mut, ldl_stack.as_mut()};
 
    m_ldlt.factorize(mat, stack);
 
    m_info = Eigen::ComputationInfo::Success;
    return *this;
  }
 
  template <typename Derived>
  bool solveInPlace(Eigen::MatrixBase<Derived> &rhs) const {
    using veg::dynstack::DynStackMut;
    isize nrows = rhs.rows();
    isize ncols = rhs.cols();
    auto perm = m_ldlt.p();
    auto perm_inv = m_ldlt.pt();
    DynStackMut stack{veg::from_slice_mut,
                      const_cast<StackType &>(ldl_stack).as_mut()};
    LDLT_TEMP_MAT_UNINIT(Scalar, work, nrows, ncols, stack);
 
    work = perm_inv * rhs;
 
    solve_impl(m_ldlt.ld_col(), work);
 
    rhs = perm * work;
 
    return true;
  }
 
  template <typename Rhs>
  typename Rhs::PlainObject solve(const Eigen::MatrixBase<Rhs> &rhs) const {
    typename Rhs::PlainObject out = rhs;
    solveInPlace(out);
    return out;
  }
 
  inline DView vectorD() const {
    return dense_linalg::util::diagonal(m_ldlt.ld_col());
  }
 
  MatrixXs reconstructedMatrix() const {
 
    auto L = m_ldlt.l();
    auto D = m_ldlt.d();
    auto U = m_ldlt.lt();
    MatrixXs r = U;
    r = D.asDiagonal() * r;
    r = L * r;
    r = r * m_ldlt.pt();
    r = m_ldlt.p() * r;
 
    return r;
  }
};
 
} // namespace linalg
} // namespace nlp
} // namespace proxsuite