File su2doubletdotter.h

File List > algebra > su2algebra > su2doubletdotter.h

Go to the documentation of this file

#ifndef COSMOINTERFACE_SU2ALGEBRA_SU2DOUBLETDOTTER_H
#define COSMOINTERFACE_SU2ALGEBRA_SU2DOUBLETDOTTER_H

/* This file is part of TempLat, available at https://cosmolattice.github.io/templat .
   Copyright 2021-2026 The TempLat authors, see AUTHORS.md.
   Released under the MIT license, see LICENSE.md. */

// File info: Main contributor(s): Adrien Florio, Year: 2019

#include "TempLat/util/rangeiteration/tagliteral.h"

#include "TempLat/lattice/algebra/su2algebra/helpers/hassu2doubletget.h"
#include "TempLat/lattice/algebra/complexalgebra/complexfieldoperator.h"
#include "TempLat/lattice/algebra/operators/squareroot.h"

#include "TempLat/lattice/algebra/complexalgebra/complexfieldbinaryoperator.h"

namespace TempLat
{
  template <typename R, typename T> class SU2DoubletDotter : public ComplexFieldBinaryOperator<R, T>
  {
  public:
    // Put public methods here. These should change very little over time.

    using ComplexFieldBinaryOperator<R, T>::mR;
    using ComplexFieldBinaryOperator<R, T>::mT;

    SU2DoubletDotter(const R &pR, const T &pT) : ComplexFieldBinaryOperator<R, T>(pR, pT) {}

    auto ComplexFieldGet(Tag<0> t) const
    {
      return mR.SU2DoubletGet(0_c) * mT.SU2DoubletGet(0_c) + mR.SU2DoubletGet(1_c) * mT.SU2DoubletGet(1_c) +
             mR.SU2DoubletGet(2_c) * mT.SU2DoubletGet(2_c) + mR.SU2DoubletGet(3_c) * mT.SU2DoubletGet(3_c);
    }
    auto ComplexFieldGet(Tag<1> t) const
    {
      return mR.SU2DoubletGet(0_c) * mT.SU2DoubletGet(1_c) - mR.SU2DoubletGet(1_c) * mT.SU2DoubletGet(0_c) +
             mR.SU2DoubletGet(2_c) * mT.SU2DoubletGet(3_c) - mR.SU2DoubletGet(3_c) * mT.SU2DoubletGet(2_c);
    }

    template <typename... IDX>
      requires requires(std::decay_t<R> r, std::decay_t<T> t, IDX... idx) {
        requires IsVariadicIndex<IDX...>;
        DoEval::eval(r, idx...);
        DoEval::eval(t, idx...);
      }
    DEVICE_INLINE_FUNCTION auto eval(const IDX &...idx) const
    {
      const auto rr = DoEval::eval(mR, idx...);
      const auto tt = DoEval::eval(mT, idx...);
      device::array<decltype(rr[0] * tt[0]), 2> result;
      result[0] = rr[0] * tt[0] + rr[1] * tt[1] + rr[2] * tt[2] + rr[3] * tt[3];
      result[1] = rr[0] * tt[1] - rr[1] * tt[0] + rr[2] * tt[3] - rr[3] * tt[2];
      return result;
    }

    virtual std::string operatorString() const override { return "·"; }

    std::string toString() const
    {
      std::string tt = GetString::get(mR);
      if (ContainsSpace::test(tt)) tt = "(" + tt + ")";

      std::string ss = GetString::get(mT);
      if (ContainsSpace::test(ss)) ss = "(" + ss + ")";

      std::string result = "<" + tt + "," + ss + ">";
      return result;
    }
  };

  template <class R, class T>
    requires(HasSU2DoubletGet<R> && HasSU2DoubletGet<T>)
  auto scalar_prod(const R &r, const T &t)
  {
    return SU2DoubletDotter{r, t};
  }

  template <class R>
    requires HasSU2DoubletGet<R>
  auto scalar_prod(const R &r, ZeroType t)
  {
    return t;
  }

  template <class R>
    requires HasSU2DoubletGet<R>
  auto scalar_prod(ZeroType t, const R &r)
  {
    return t;
  }

  template <typename R>
    requires HasSU2DoubletGet<R>
  auto norm2(const R &r)
  {
    return Real(scalar_prod(r, r));
  }
} // namespace TempLat

#endif