contract.hpp

Go to the documentation of this file.

// Copyright (c) 2024--present, The Simons Foundation
// This file is part of TRIQS/nda and is licensed under the Apache License, Version 2.0.
// SPDX-License-Identifier: Apache-2.0
// See LICENSE in the root of this distribution for details.

 
#pragma once
 
#include "./interface/cutensor_interface.hpp"
#include "./interface/tblis_interface.hpp"
#include "./tools.hpp"
#include "../mem/address_space.hpp"
#include "../traits.hpp"
 
#include <string_view>
#include <utility>
 
namespace nda::tensor {


  template <BlasArrayOrConj A, BlasArrayOrConjFor<A> B, BlasArrayFor<A> C>
  void contract(get_value_t<A> alpha, A const &a, std::string_view idx_a, B const &b, std::string_view idx_b, get_value_t<A> beta, C &&c, // NOLINT
                std::string_view idx_c) {
    // compile-time checks
    constexpr bool run_on_device = mem::have_device_compatible_addr_space<A, B, C>;
    static_assert(!run_on_device || have_cutensor, "nda::tensor::contract: cuTENSOR support is required");
    static_assert(run_on_device || have_tblis, "nda::tensor::contract: TBLIS support is required");
 
    // dispatch to backends
    if constexpr (run_on_device) {
      device::contract(alpha, a, idx_a, b, idx_b, beta, c, idx_c, c);
    } else {
      tblis::mult(alpha, a, idx_a, b, idx_b, beta, c, idx_c);
    }
  }

  template <BlasArrayOrConj A, BlasArrayOrConjFor<A> B, BlasArrayFor<A> C>
  void contract(A const &a, std::string_view idx_a, B const &b, std::string_view idx_b, C &&c, std::string_view idx_c) { // NOLINT
    contract(get_value_t<A>{1}, a, idx_a, b, idx_b, get_value_t<A>{0}, std::forward<C>(c), idx_c);
  }

 
} // namespace nda::tensor