uni20::DiagonalMdspecLike Concept Reference

Full logical mdspec with a rank-one view of its generalized diagonal components. More...

#include <concepts.hpp>

Concept definition

template<class S>
concept uni20::DiagonalMdspecLike =  MdspecLike<std::remove_cvref_t<S>> && requires(std::remove_cvref_t<S> const& span) {
  { diagonal_components(span) };
  requires RankedMdspecLike<decltype(diagonal_components(span)), 1>;
  requires std::same_as<typename std::remove_cvref_t<decltype(diagonal_components(span))>::element_type,
                        typename std::remove_cvref_t<S>::element_type>;
}

Detailed Description

Full logical mdspec with a rank-one view of its generalized diagonal components.

The ordinary mdspec interface presents the complete rank-N tensor, including structural zeros away from equal logical indices. diagonal_components(span) exposes the physical rank-one values used by structure-aware kernels.

Template Parameters

S	Candidate mdspec-like type.