dedekind::linear_algebra::RankNullityWitness Concept Reference

Static witness for the rank-nullity identity. More...

Concept definition

template<typename W>
concept dedekind::linear_algebra::RankNullityWitness =  requires {
  { W::ambient_dimension } -> std::convertible_to<std::size_t>;
  { W::rank } -> std::convertible_to<std::size_t>;
  { W::nullity } -> std::convertible_to<std::size_t>;
  requires(W::rank <= W::ambient_dimension);
  requires(W::nullity <= W::ambient_dimension);
  requires(W::rank + W::nullity == W::ambient_dimension);
}

Detailed Description

Static witness for the rank-nullity identity.

(historical scope)