uni20::linalg::cpu::ContractionCompatible Concept Reference

Report whether resolved mdspans support reference contraction expressions. More...

#include <contract.hpp>

Concept definition

template<class OutputMdspan, class Scalar, class LhsMdspan, class RhsMdspan, std::size_t LhsRank, std::size_t RhsRank, std::size_t ContractedRank>
concept uni20::linalg::cpu::ContractionCompatible = 
    uni20::MutableRankedMdspanLike<OutputMdspan, ContractionAxes<LhsRank, RhsRank, ContractedRank>::output_rank> &&
    uni20::Scalar<Scalar> && uni20::RankedMdspanLike<LhsMdspan, LhsRank> &&
    uni20::RankedMdspanLike<RhsMdspan, RhsRank> &&
    std::same_as<std::remove_cv_t<typename std::remove_cvref_t<OutputMdspan>::element_type>, Scalar> &&
    detail::contraction_output_expressions<OutputMdspan, Scalar>(
        std::make_index_sequence<ContractionAxes<LhsRank, RhsRank, ContractedRank>::output_rank>{}) &&
    detail::contraction_input_expressions<LhsMdspan, Scalar>(std::make_index_sequence<LhsRank>{}) &&
    detail::contraction_input_expressions<RhsMdspan, Scalar>(std::make_index_sequence<RhsRank>{}) &&
    detail::contraction_preserves_output_structure<OutputMdspan, LhsMdspan, RhsMdspan, LhsRank, RhsRank,
                                                   ContractedRank>() &&
    requires(Scalar value) {
      value += value * value;
      { value == Scalar{} } -> std::convertible_to<bool>;
      { value != Scalar{} } -> std::convertible_to<bool>;
    }

Detailed Description

Report whether resolved mdspans support reference contraction expressions.