Program Listing for File attr.hpp

Return to documentation for file (SeQuant/core/attr.hpp)

//
// Created by Eduard Valeyev on 2019-02-13.
//

#ifndef SEQUANT_ATTR_HPP
#define SEQUANT_ATTR_HPP

#include <SeQuant/core/utility/macros.hpp>

#include <cassert>
#include <cstdlib>
#include <string>

namespace sequant {

enum class IndexSpaceMetric { Unit, General };

// clang-format off
// clang-format on
enum class ColumnSymmetry { Symm, Nonsymm };

// clang-format off
// clang-format on
enum class Symmetry { Symm, Antisymm, Nonsymm };

enum class BraKetSymmetry { Symm, Conjugate, Nonsymm };

enum class SPBasis { Spinor, Spinfree };

inline std::wstring to_wolfram(const Symmetry& symmetry) {
  std::wstring result;
  switch (symmetry) {
    case Symmetry::Symm:
      result = L"indexSymm[1]";
      break;
    case Symmetry::Antisymm:
      result = L"indexSymm[-1]";
      break;
    case Symmetry::Nonsymm:
      result = L"indexSymm[0]";
      break;
  }
  return result;
}

inline std::wstring to_wstring(Symmetry sym) {
  switch (sym) {
    case Symmetry::Symm:
      return L"symmetric";
    case Symmetry::Antisymm:
      return L"antisymmetric";
    case Symmetry::Nonsymm:
      return L"nonsymmetric";
  }

  SEQUANT_UNREACHABLE;
}

enum class BraKetPos {
  Bra,
  Ket,
};

inline std::wstring to_wolfram(BraKetPos a) {
  switch (a) {
    case BraKetPos::Bra:
      return L"indexType[bra]";
    case BraKetPos::Ket:
      return L"indexType[ket]";
  }
}

enum class Statistics {
  FermiDirac,
  BoseEinstein,
  Arbitrary,
};

enum class Action { Create, Annihilate };

inline Action adjoint(Action action) {
  return action == Action::Create ? Action::Annihilate : Action::Create;
}

inline std::wstring to_wolfram(Action a) {
  using namespace std::literals;
  return L"indexType["s + (a == Action::Create ? L"cre" : L"ann") + L"]";
}

enum class Vacuum { Physical, SingleProduct, MultiProduct };

inline std::wstring to_string(Vacuum V) {
  switch (V) {
    case Vacuum::Physical:
      return L"PhysicalVacuum";
    case Vacuum::SingleProduct:
      return L"SingleProductVacuum";
    case Vacuum::MultiProduct:
      return L"MultiProductVacuum";
  }

  SEQUANT_UNREACHABLE;
}

enum class BraKetTypesetting {
  ContraSub,
  CoSuper = ContraSub,
  BraSub = ContraSub,
  KetSuper = ContraSub,
  CoSub,
  ContraSuper = CoSub,
  BraSuper = CoSub,
  KetSub = CoSub,
};

enum class BraKetSlotTypesetting {
  Naive,
  TensorPackage
};

}  // namespace sequant

#endif  // SEQUANT_ATTR_HPP