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

Floating carrier that is admissible as a matrix scalar by policy. More...

Concept definition

template<typename F>
concept dedekind::geometry::HasMatrixScalarEmbedding = std::floating_point<F> && requires(F x) {
{ embed_matrix_scalar(x) } -> std::same_as<F>;
}
Floating carrier that is admissible as a matrix scalar by policy.
Definition linear_map.cppm:123
constexpr F embed_matrix_scalar(F value) noexcept
Explicit embedding witness from floating carriers into matrix scalars.
Definition linear_map.cppm:114

Detailed Description

Floating carrier that is admissible as a matrix scalar by policy.