The strict "sometimes a module" witness. More...

Concept definition

template<typename M, typename R>

concept dedekind::linear_algebra::IsMatrixAsModule = dedekind::algebra::IsModule<M, R>

dedekind::algebra::IsModule

An Abelian Group participating in a Linear Action by a Ring.

Definition modules.cppm:94

dedekind::linear_algebra::IsMatrixAsModule

The strict "sometimes a module" witness.

Definition contracts.cppm:317

Detailed Description

The strict "sometimes a module" witness.

Delegates to the categorical dedekind.algebra:modules::IsModule<M, R> proof. The gap between IsMatrixSubmoduleLike and IsMatrixAsModule is exactly the gap between operational closure and the full axiomatic witnesses (associativity, distributivity, ring structure on R).