A carrier exposing a compile-time dimension count (axes or slots). More...

Concept definition

template<typename V>
concept dedekind::linear_algebra::HasDimensionCount =  requires {
  { V::dimension } -> std::convertible_to<std::size_t>;
}

Detailed Description

A carrier exposing a compile-time dimension count (axes or slots).

A finite cardinality of coordinate axes.

HasDimensionCount<V> asks a carrier to expose its coordinate count as a compile-time std::size_t. This is the linear-algebraic specialisation of the set-theoretic ExtensionalCardinal<> carrier in dedekind.sets:cardinality: both count a finite index set, but the ambient structure (axes vs. elements) is what distinguishes a dimension from a generic cardinality.