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

A row vector / covector: the RowOrientation twin of IsColumnVector — an IsSemimodule row. More...

Concept definition

template<typename V>
concept dedekind::linear_algebra::IsCovector =
HasDimensionCount<V> && HasOrientation<V> &&
std::same_as<typename V::orientation, RowOrientation> &&
dedekind::algebra::IsSemimodule<
V, typename V::scalar_type, std::plus<V>,
typename dedekind::algebra::semiring_ops<typename V::scalar_type>::add,
typename dedekind::algebra::semiring_ops<
typename V::scalar_type>::mult>
dedekind::algebra::IsSemimodule
A commutative additive monoid participating in a Linear Action: dedekind::category::IsSemimodule,...
dedekind::linear_algebra::HasDimensionCount
A carrier exposing a compile-time dimension count (axes or slots).
Definition contracts.cppm:110
dedekind::linear_algebra::HasOrientation
A carrier that declares whether it is a column or a row.
Definition contracts.cppm:127
dedekind::linear_algebra::IsCovector
A row vector / covector: the RowOrientation twin of IsColumnVector — an IsSemimodule row.
Definition contracts.cppm:196
dedekind::algebra::semiring_ops
Canonical semiring operations of a carrier, so combinators can default their Add / Mult without a cal...
Definition universal.cppm:512

Detailed Description

A row vector / covector: the RowOrientation twin of IsColumnVector — an IsSemimodule row.