num::law::self_adjoint_on

Defined in header <core/math/laws.hpp>

template <class S>
struct self_adjoint_on;

The restriction of A to the subspace S is self-adjoint and maps S into itself.