dedekind::linear_algebra::StaticRankNullity< AmbientDimension, Rank > Struct Template Reference

Convenience compile-time carrier for finite-dimensional witnesses. More...

Static Public Attributes
static constexpr std::size_t	ambient_dimension = AmbientDimension
static constexpr std::size_t	rank = Rank
static constexpr std::size_t	nullity = AmbientDimension - Rank

Detailed Description

template<std::size_t AmbientDimension, std::size_t Rank>
requires (Rank <= AmbientDimension)
struct dedekind::linear_algebra::StaticRankNullity< AmbientDimension, Rank >

Convenience compile-time carrier for finite-dimensional witnesses.

---

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

• src/main/modules/dedekind/linear_algebra/contracts.cppm