uni20::linalg::RankedContractionMdspecLike Concept Reference

Ranked mdspec usable by contraction stride grouping. More...

#include <contraction_strides.hpp>

Concept definition

template<class Mdspec, std::size_t Rank>
concept uni20::linalg::RankedContractionMdspecLike = 
    uni20::RankedMdspecLike<Mdspec, Rank> && (Rank == 0 || uni20::StridedMdspecLike<Mdspec>)

Detailed Description

Ranked mdspec usable by contraction stride grouping.

Positive-rank operands must expose strides. Rank-zero operands are accepted without a stride observer because they contribute no physical axes to any M, N, or K group.