num::operators::projected

Defined in header <operator/projected.hpp>

template <class Op, class Subspace>
auto projected(const Op &op, Subspace subspace);  // (1)

template <class Op, class Subspace>
requires(!std::is_lvalue_reference_v<Op>)
auto projected(Op &&, Subspace);  // (2)

\(P_S A\), which carries the law of A onto the subspace S. It holds A by reference.