num::operators::projected_op

Defined in header <operator/projected.hpp>

template <class Op, class Subspace>
requires math::linear_operator<Op> &&
         math::linear_subspace_of<Subspace, math::codomain_t<Op>>
class projected_op final;

Non-owning representation of P_S A, where P_S is projection onto S.

Members

member	description
using laws = restricted_laws<Op, Subspace>
using domain_type = math::domain_t<Op>
using codomain_type = math::codomain_t<Op>
projected_op(const Op &op, Subspace subspace)
void apply(const domain_type &x, codomain_type &y) const
auto rows() const
auto cols() const
const Op &base() const noexcept
const Subspace &subspace() const noexcept