Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::linear_algebra::HasTranspose Concept Referenceexport

A matrix carrier equipped with a transpose operation. More...

Concept definition

template<typename M>
concept dedekind::linear_algebra::HasTranspose = requires(const M& a) {
{ a.transpose() };
}
A matrix carrier equipped with a transpose operation.
Definition contracts.cppm:343

Detailed Description

A matrix carrier equipped with a transpose operation.

The transposed matrix type is not required to equal M; for a general m × n matrix the transpose lives in an n × m carrier. Square matrix carriers can and typically do return M from transpose().