sub.hpp

Go to the documentation of this file.

// SPDX-License-Identifier: BSD-2-Clause
 
#ifndef pRC_TENSOR_TRAIN_COMMON_FUNCTIONS_SUB_H
#define pRC_TENSOR_TRAIN_COMMON_FUNCTIONS_SUB_H
 
#include <prc/core/functors/add.hpp>
#include <prc/core/functors/minus.hpp>
#include <prc/tensor_train/operator/declarations.hpp>
#include <prc/tensor_train/tensor/declarations.hpp>
 
namespace pRC
{
    template<class XA, class XB, class RA = RemoveReference<XA>,
        class RB = RemoveReference<XB>>
        requires((TensorTrain::IsTensorish<RA> &&
                     TensorTrain::IsTensorish<RB>) ||
                    (TensorTrain::IsOperatorish<RA> &&
                        TensorTrain::IsOperatorish<RB>)) &&
        IsInvocable<Minus, XB> && IsInvocable<Add, XA, ResultOf<Minus, XB>>
    static inline constexpr auto operator-(XA &&a, XB &&b)
    {
        return forward<XA>(a) + (-forward<XB>(b));
    }
}
#endif // pRC_TENSOR_TRAIN_COMMON_FUNCTIONS_SUB_H