v0.14.0
Loading...
Searching...
No Matches
Tensor2_or_Tensor2.hpp
Go to the documentation of this file.
1/* Creates a Tensor2_symmetric expression by adding two Tensor2's
2 together. */
3
4/* This version is for expressions like A(i,j)||B(i,j) */
5
6#pragma once
7
8namespace FTensor
9{
10 /* Base Template */
11 template <class A, class B, class T, class U, int Dim0_0, int Dim1_0,
12 int Dim0_1, int Dim1_1, char i0, char j0, char i1, char j1>
14 {};
15
16 /* A(i,j)||B(i,j) */
17
18 template <class A, class B, class T, class U, int Dim, char i, char j>
19 class Tensor2_or_Tensor2<A, B, T, U, Dim, Dim, Dim, Dim, i, j, i, j>
20 {
23
24 public:
25 typename promote<T, U>::V operator()(const int N1, const int N2) const
26 {
27 return iterA(N1, N2) + iterB(N1, N2);
28 }
29
32 : iterA(a), iterB(b)
33 {}
34 };
35
36 /* A(i,j)||B(j,i) */
37
38 template <class A, class B, class T, class U, int Dim, char i, char j>
39 class Tensor2_or_Tensor2<A, B, T, U, Dim, Dim, Dim, Dim, i, j, j, i>
40 {
43
44 public:
45 typename promote<T, U>::V operator()(const int N1, const int N2) const
46 {
47 return iterA(N1, N2) + iterB(N2, N1);
48 }
49
52 : iterA(a), iterB(b)
53 {}
54 };
55
56 template <class A, class B, class T, class U, int Dim0_0, int Dim1_0,
57 int Dim0_1, int Dim1_1, char i0, char j0, char i1, char j1>
58 Tensor2_symmetric_Expr<Tensor2_or_Tensor2<A, B, T, U, Dim0_0, Dim1_0, Dim0_1,
59 Dim1_1, i0, j0, i1, j1>,
60 typename promote<T, U>::V, Dim0_0, i0, j0>
63 {
64 using TensorExpr = Tensor2_or_Tensor2<A, B, T, U, Dim0_0, Dim1_0, Dim0_1,
65 Dim1_1, i0, j0, i1, j1>;
66 static_assert(
67 !std::is_empty<TensorExpr>::value,
68 "Indexes or Dimensions are not compatible with the || operator");
70 Dim0_0, i0, j0>(TensorExpr(a, b));
71 }
72}
static Number< 2 > N2
static Number< 1 > N1
constexpr double a
Tensor2_or_Tensor2(const Tensor2_Expr< A, T, Dim, Dim, i, j > &a, const Tensor2_Expr< B, U, Dim, Dim, i, j > &b)
promote< T, U >::V operator()(const int N1, const int N2) const
Tensor2_or_Tensor2(const Tensor2_Expr< A, T, Dim, Dim, i, j > &a, const Tensor2_Expr< B, U, Dim, Dim, j, i > &b)
promote< T, U >::V operator()(const int N1, const int N2) const
FTensor::Index< 'i', SPACE_DIM > i
FTensor::Index< 'j', 3 > j
const double T
Tensors class implemented by Walter Landry.
Definition: FTensor.hpp:51
Ddg_Expr< Ddg_or_Ddg< A, B, T, U, Dim, i, j, k, l >, typename promote< T, U >::V, Dim, Dim, i, k, j, l > operator||(const Ddg_Expr< A, T, Dim, Dim, i, j, k, l > &a, const Ddg_Expr< B, U, Dim, Dim, i, l, k, j > &b)
Definition: Ddg_or_Ddg.hpp:33
constexpr AssemblyType A