Template Function proxsuite::proxqp::sparse::reconstruction_error

Function Documentation

template<typename T, typename I>
auto proxsuite::proxqp::sparse::reconstruction_error(proxsuite::linalg::sparse::MatMut<T, I> ldl, I const *perm_inv, Results<T> const &results, Model<T, I> const &data, isize n_tot, proxsuite::linalg::sparse::MatMut<T, I> kkt_active, proxsuite::linalg::veg::SliceMut<bool> active_constraints) -> DMat<T>

Derives the norm of the difference between current KKT and the one it should be (derived manually).

Parameters:

  • ldl – current ldlt.

  • perm_inv – pointer to the inverse of the permutation.

  • results – solver results.

  • data – model of the QP.

  • n_tot – dimension of the KKT matrix

  • kkt_active – active part of the KKT matrix.

  • active_constraints – vector boolean precising whether the constraints are active or not.