tensor_product.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_CORE_TENSOR_FUNCTIONS_TENSOR_PRODUCT_H
#define pRC_CORE_TENSOR_FUNCTIONS_TENSOR_PRODUCT_H
 
#include <prc/core/functors/view.hpp>
#include <prc/core/tensor/declarations.hpp>
#include <prc/core/tensor/views/tensor_product.hpp>
 
namespace pRC
{
    template<class XA, class XB, IsTensorish RA = RemoveReference<XA>,
        IsTensorish RB = RemoveReference<XB>,
        class EA = ResultOf<XA, typename RA::Subscripts>,
        class EB = ResultOf<XB, typename RB::Subscripts>>
        requires IsInvocable<Mul, EA, EB>
    static inline constexpr auto tensorProduct(XA &&a, XB &&b)
    {
        if constexpr(IsInvocable<View, XA> && IsInvocable<View, XB>)
        {
            using VA = RemoveReference<decltype(view(forward<XA>(a)))>;
            using VB = RemoveReference<decltype(view(forward<XB>(b)))>;
            using T = RemoveConstReference<ResultOf<Mul, EA, EB>>;
            return TensorViews::TensorProduct<T,
                decltype(typename RA::Sizes(), typename RB::Sizes()), VA, VB>(
                view(forward<XA>(a)), view(forward<XB>(b)));
        }
        else
        {
            return eval(tensorProduct(a, b));
        }
    }
}
#endif // pRC_CORE_TENSOR_FUNCTIONS_TENSOR_PRODUCT_H