dedekind::linear_algebra::TransposeF< S, N > Struct Template Reference

The transpose reified as a dagger functor: TransposeF{}(A) = Aᵀ. A value/type (not a free call), so the point-free dedekind::category dagger predicates and concepts (is_unitary, IsDagger, IsUnitary) can take it as their Dagger argument. On Mat(S) the dagger is the transpose; on Rel it is converse; on a Hilbert space the adjoint — :involution unifies the three. More...

Public Member Functions
constexpr MatNxNV< S, N >	operator() (const MatNxNV< S, N > &a) const

Detailed Description

template<typename S, std::size_t N>
struct dedekind::linear_algebra::TransposeF< S, N >

The transpose reified as a dagger functor: TransposeF{}(A) = Aᵀ. A value/type (not a free call), so the point-free dedekind::category dagger predicates and concepts (is_unitary, IsDagger, IsUnitary) can take it as their Dagger argument. On Mat(S) the dagger is the transpose; on Rel it is converse; on a Hilbert space the adjoint — :involution unifies the three.

---

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

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