num::SPDLinearOperator Concept Reference

Operator declared to satisfy \(x^T A x > 0\) for all nonzero \(x\). More...

#include <concepts.hpp>

Concept definition

template<class Op, class X Vector, class Y Vector>
concept num::SPDLinearOperator =  SymmetricLinearOperator<Op, X, Y> && requires {
  typename std::remove_cvref_t<Op>::spd_operator_tag;
}

Detailed Description

Operator declared to satisfy \(x^T A x > 0\) for all nonzero \(x\).

Definition at line 82 of file concepts.hpp.