Type-level witness for a finite dimension N. Sibling of dedekind::sets::ℵ<N> on the infinite side; together they cover the dimension axis used by Diagonal / OuterProduct without forcing the std::variant<> Cardinality value to appear as an NTTP. More...

Static Public Attributes
static constexpr std::size_t	value = N
static constexpr bool	is_finite = true
static constexpr bool	is_countable = true

Friends
constexpr friend bool	operator== (const dim_finite &, const dim_finite &)=default

Detailed Description

template<std::size_t N>
struct dedekind::linear_algebra::dim_finite< N >

Type-level witness for a finite dimension N. Sibling of dedekind::sets::ℵ<N> on the infinite side; together they cover the dimension axis used by Diagonal / OuterProduct without forcing the std::variant<> Cardinality value to appear as an NTTP.

diagonal__Dimension_Witnesses

The documentation for this struct was generated from the following file:

src/main/modules/dedekind/linear_algebra/diagonal.cppm

Static Public Attributes

Friends

Detailed Description

diagonal__Dimension_Witnesses