dedekind::linear_algebra::LinearOperatorContract Concept Reference

Minimal contract for finite-dimensional linear operator carriers. More...

Concept definition

template<typename Op>
concept dedekind::linear_algebra::LinearOperatorContract =  requires {
  typename Op::scalar_type;
  typename Op::rank_nullity;
  requires RankNullityWitness<typename Op::rank_nullity>;
}

Detailed Description

Minimal contract for finite-dimensional linear operator carriers.