xref: /honee/qfunctions/utils.h (revision 8e5e35955a6b543fba9bf90b265af1e211dcad9d)
1704b8bbeSJames Wright // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
2704b8bbeSJames Wright // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3704b8bbeSJames Wright //
4704b8bbeSJames Wright // SPDX-License-Identifier: BSD-2-Clause
5704b8bbeSJames Wright //
6704b8bbeSJames Wright // This file is part of CEED:  http://github.com/ceed
7704b8bbeSJames Wright 
8704b8bbeSJames Wright #ifndef utils_h
9704b8bbeSJames Wright #define utils_h
10704b8bbeSJames Wright 
11704b8bbeSJames Wright #include <ceed.h>
12d0cce58aSJeremy L Thompson #include <math.h>
13704b8bbeSJames Wright 
14704b8bbeSJames Wright #ifndef M_PI
15704b8bbeSJames Wright #define M_PI 3.14159265358979323846
16704b8bbeSJames Wright #endif
17704b8bbeSJames Wright 
18704b8bbeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Max(CeedScalar a, CeedScalar b) { return a < b ? b : a; }
19704b8bbeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Min(CeedScalar a, CeedScalar b) { return a < b ? a : b; }
20704b8bbeSJames Wright 
21bfa7851aSJames Wright CEED_QFUNCTION_HELPER void SwapScalar(CeedScalar *a, CeedScalar *b) {
22bfa7851aSJames Wright   CeedScalar temp = *a;
23bfa7851aSJames Wright   *a              = *b;
24bfa7851aSJames Wright   *b              = temp;
25bfa7851aSJames Wright }
26bfa7851aSJames Wright 
27704b8bbeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Square(CeedScalar x) { return x * x; }
28704b8bbeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Cube(CeedScalar x) { return x * x * x; }
29704b8bbeSJames Wright 
30e7754af5SKenneth E. Jansen // @brief Scale vector of length N by scalar alpha
31e7754af5SKenneth E. Jansen CEED_QFUNCTION_HELPER void ScaleN(CeedScalar *u, const CeedScalar alpha, const CeedInt N) {
32*8e5e3595SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) u[i] *= alpha;
33*8e5e3595SJames Wright }
34*8e5e3595SJames Wright 
35*8e5e3595SJames Wright // @brief Set vector of length N to a value alpha
36*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void SetValueN(CeedScalar *u, const CeedScalar alpha, const CeedInt N) {
37*8e5e3595SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) u[i] = alpha;
38*8e5e3595SJames Wright }
39*8e5e3595SJames Wright 
40*8e5e3595SJames Wright // @brief Copy N elements from x to y
41*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void CopyN(const CeedScalar *x, CeedScalar *y, const CeedInt N) { CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) y[i] = x[i]; }
42*8e5e3595SJames Wright 
43*8e5e3595SJames Wright // @brief Copy 3x3 matrix from A to B
44*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void CopyMat3(const CeedScalar A[3][3], CeedScalar B[3][3]) { CopyN((const CeedScalar *)A, (CeedScalar *)B, 9); }
45*8e5e3595SJames Wright 
46*8e5e3595SJames Wright // @brief Dot product of vectors with N elements
47*8e5e3595SJames Wright CEED_QFUNCTION_HELPER CeedScalar DotN(const CeedScalar *u, const CeedScalar *v, const CeedInt N) {
48*8e5e3595SJames Wright   CeedScalar output = 0;
49*8e5e3595SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) output += u[i] * v[i];
50*8e5e3595SJames Wright   return output;
51e7754af5SKenneth E. Jansen }
52e7754af5SKenneth E. Jansen 
53704b8bbeSJames Wright // @brief Dot product of 3 element vectors
542b916ea7SJeremy L Thompson CEED_QFUNCTION_HELPER CeedScalar Dot3(const CeedScalar u[3], const CeedScalar v[3]) { return u[0] * v[0] + u[1] * v[1] + u[2] * v[2]; }
55704b8bbeSJames Wright 
56*8e5e3595SJames Wright // @brief Cross product of vectors with 3 elements
57*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void Cross3(const CeedScalar u[3], const CeedScalar v[3], CeedScalar w[3]) {
58*8e5e3595SJames Wright   w[0] = (u[1] * v[2]) - (u[2] * v[1]);
59*8e5e3595SJames Wright   w[1] = (u[2] * v[0]) - (u[0] * v[2]);
60*8e5e3595SJames Wright   w[2] = (u[0] * v[1]) - (u[1] * v[0]);
61*8e5e3595SJames Wright }
62*8e5e3595SJames Wright 
63*8e5e3595SJames Wright // @brief Curl of vector given its gradient
64*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void Curl3(const CeedScalar gradient[3][3], CeedScalar v[3]) {
65*8e5e3595SJames Wright   v[0] = gradient[2][1] - gradient[1][2];
66*8e5e3595SJames Wright   v[1] = gradient[0][2] - gradient[2][0];
67*8e5e3595SJames Wright   v[2] = gradient[1][0] - gradient[0][1];
68*8e5e3595SJames Wright }
69*8e5e3595SJames Wright 
70*8e5e3595SJames Wright // @brief Matrix vector product, b = Ax + b. A is NxM, x is M, b is N
71*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatVecNM(const CeedScalar *A, const CeedScalar *x, const CeedInt N, const CeedInt M, const CeedTransposeMode transpose_A,
72*8e5e3595SJames Wright                                     CeedScalar *b) {
73*8e5e3595SJames Wright   switch (transpose_A) {
74*8e5e3595SJames Wright     case CEED_NOTRANSPOSE:
75*8e5e3595SJames Wright       CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) b[i] += DotN(&A[i * M], x, M);
76*8e5e3595SJames Wright       break;
77*8e5e3595SJames Wright     case CEED_TRANSPOSE:
78*8e5e3595SJames Wright       CeedPragmaSIMD for (CeedInt i = 0; i < M; i++) { CeedPragmaSIMD for (CeedInt j = 0; j < N; j++) b[i] += A[j * M + i] * x[j]; }
79*8e5e3595SJames Wright       break;
80*8e5e3595SJames Wright   }
81*8e5e3595SJames Wright }
82*8e5e3595SJames Wright 
83*8e5e3595SJames Wright // @brief 3x3 Matrix vector product  b = Ax + b.
84*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatVec3(const CeedScalar A[3][3], const CeedScalar x[3], const CeedTransposeMode transpose_A, CeedScalar b[3]) {
85*8e5e3595SJames Wright   MatVecNM((const CeedScalar *)A, (const CeedScalar *)x, 3, 3, transpose_A, (CeedScalar *)b);
86*8e5e3595SJames Wright }
87*8e5e3595SJames Wright 
88*8e5e3595SJames Wright // @brief Matrix-Matrix product, B = DA + B, where D is diagonal.
89*8e5e3595SJames Wright // @details A is NxM, D is diagonal NxN, represented by a vector of length N, and B is NxM. Optionally, A may be transposed.
90*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatDiagNM(const CeedScalar *A, const CeedScalar *D, const CeedInt N, const CeedInt M, const CeedTransposeMode transpose_A,
91*8e5e3595SJames Wright                                      CeedScalar *B) {
92*8e5e3595SJames Wright   switch (transpose_A) {
93*8e5e3595SJames Wright     case CEED_NOTRANSPOSE:
94*8e5e3595SJames Wright       CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) { CeedPragmaSIMD for (CeedInt j = 0; j < M; j++) B[i * M + j] += D[i] * A[i * M + j]; }
95*8e5e3595SJames Wright       break;
96*8e5e3595SJames Wright     case CEED_TRANSPOSE:
97*8e5e3595SJames Wright       CeedPragmaSIMD for (CeedInt i = 0; i < M; i++) { CeedPragmaSIMD for (CeedInt j = 0; j < N; j++) B[i * N + j] += D[i] * A[j * M + i]; }
98*8e5e3595SJames Wright       break;
99*8e5e3595SJames Wright   }
100*8e5e3595SJames Wright }
101*8e5e3595SJames Wright 
102*8e5e3595SJames Wright // @brief 3x3 Matrix-Matrix product, B = DA + B, where D is diagonal.
103*8e5e3595SJames Wright // @details Optionally, A may be transposed.
104*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatDiag3(const CeedScalar A[3][3], const CeedScalar D[3], const CeedTransposeMode transpose_A, CeedScalar B[3][3]) {
105*8e5e3595SJames Wright   MatDiagNM((const CeedScalar *)A, (const CeedScalar *)D, 3, 3, transpose_A, (CeedScalar *)B);
106*8e5e3595SJames Wright }
107*8e5e3595SJames Wright 
108*8e5e3595SJames Wright // @brief 3x3 Matrix-Matrix product, C = AB + C
109*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatMat3(const CeedScalar A[3][3], const CeedScalar B[3][3], const CeedTransposeMode transpose_A,
110*8e5e3595SJames Wright                                    const CeedTransposeMode transpose_B, CeedScalar C[3][3]) {
111*8e5e3595SJames Wright   switch (transpose_A) {
112*8e5e3595SJames Wright     case CEED_NOTRANSPOSE:
113*8e5e3595SJames Wright       switch (transpose_B) {
114*8e5e3595SJames Wright         case CEED_NOTRANSPOSE:
115*8e5e3595SJames Wright           CeedPragmaSIMD for (CeedInt i = 0; i < 3; i++) {
116*8e5e3595SJames Wright             CeedPragmaSIMD for (CeedInt j = 0; j < 3; j++) { CeedPragmaSIMD for (CeedInt k = 0; k < 3; k++) C[i][j] += A[i][k] * B[k][j]; }
117*8e5e3595SJames Wright           }
118*8e5e3595SJames Wright           break;
119*8e5e3595SJames Wright         case CEED_TRANSPOSE:
120*8e5e3595SJames Wright           CeedPragmaSIMD for (CeedInt i = 0; i < 3; i++) {
121*8e5e3595SJames Wright             CeedPragmaSIMD for (CeedInt j = 0; j < 3; j++) { CeedPragmaSIMD for (CeedInt k = 0; k < 3; k++) C[i][j] += A[i][k] * B[j][k]; }
122*8e5e3595SJames Wright           }
123*8e5e3595SJames Wright           break;
124*8e5e3595SJames Wright       }
125*8e5e3595SJames Wright       break;
126*8e5e3595SJames Wright     case CEED_TRANSPOSE:
127*8e5e3595SJames Wright       switch (transpose_B) {
128*8e5e3595SJames Wright         case CEED_NOTRANSPOSE:
129*8e5e3595SJames Wright           CeedPragmaSIMD for (CeedInt i = 0; i < 3; i++) {
130*8e5e3595SJames Wright             CeedPragmaSIMD for (CeedInt j = 0; j < 3; j++) { CeedPragmaSIMD for (CeedInt k = 0; k < 3; k++) C[i][j] += A[k][i] * B[k][j]; }
131*8e5e3595SJames Wright           }
132*8e5e3595SJames Wright           break;
133*8e5e3595SJames Wright         case CEED_TRANSPOSE:
134*8e5e3595SJames Wright           CeedPragmaSIMD for (CeedInt i = 0; i < 3; i++) {
135*8e5e3595SJames Wright             CeedPragmaSIMD for (CeedInt j = 0; j < 3; j++) { CeedPragmaSIMD for (CeedInt k = 0; k < 3; k++) C[i][j] += A[k][i] * B[j][k]; }
136*8e5e3595SJames Wright           }
137*8e5e3595SJames Wright           break;
138*8e5e3595SJames Wright       }
139*8e5e3595SJames Wright       break;
140*8e5e3595SJames Wright   }
141*8e5e3595SJames Wright }
142*8e5e3595SJames Wright 
143704b8bbeSJames Wright // @brief Unpack Kelvin-Mandel notation symmetric tensor into full tensor
144704b8bbeSJames Wright CEED_QFUNCTION_HELPER void KMUnpack(const CeedScalar v[6], CeedScalar A[3][3]) {
145704b8bbeSJames Wright   const CeedScalar weight = 1 / sqrt(2.);
146704b8bbeSJames Wright   A[0][0]                 = v[0];
147704b8bbeSJames Wright   A[1][1]                 = v[1];
148704b8bbeSJames Wright   A[2][2]                 = v[2];
149704b8bbeSJames Wright   A[2][1] = A[1][2] = weight * v[3];
150704b8bbeSJames Wright   A[2][0] = A[0][2] = weight * v[4];
151704b8bbeSJames Wright   A[1][0] = A[0][1] = weight * v[5];
152704b8bbeSJames Wright }
153704b8bbeSJames Wright 
154*8e5e3595SJames Wright // @brief Pack full tensor into Kelvin-Mandel notation symmetric tensor
155*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void KMPack(const CeedScalar A[3][3], CeedScalar v[6]) {
156*8e5e3595SJames Wright   const CeedScalar weight = sqrt(2.);
157*8e5e3595SJames Wright   v[0]                    = A[0][0];
158*8e5e3595SJames Wright   v[1]                    = A[1][1];
159*8e5e3595SJames Wright   v[2]                    = A[2][2];
160*8e5e3595SJames Wright   v[3]                    = A[2][1] * weight;
161*8e5e3595SJames Wright   v[4]                    = A[2][0] * weight;
162*8e5e3595SJames Wright   v[5]                    = A[1][0] * weight;
163*8e5e3595SJames Wright }
164*8e5e3595SJames Wright 
165*8e5e3595SJames Wright // @brief Calculate metric tensor from mapping, g_{ij} = xi_{k,i} xi_{k,j} = dXdx^T dXdx
166*8e5e3595SJames Wright CEED_QFUNCTION_HELPER void KMMetricTensor(const CeedScalar dXdx[3][3], CeedScalar km_g_ij[6]) {
167*8e5e3595SJames Wright   CeedScalar g_ij[3][3] = {{0.}};
168*8e5e3595SJames Wright   MatMat3(dXdx, dXdx, CEED_TRANSPOSE, CEED_NOTRANSPOSE, g_ij);
169*8e5e3595SJames Wright   KMPack(g_ij, km_g_ij);
170*8e5e3595SJames Wright }
171*8e5e3595SJames Wright 
172e7754af5SKenneth E. Jansen // @brief Linear ramp evaluation
173e7754af5SKenneth E. Jansen CEED_QFUNCTION_HELPER CeedScalar LinearRampCoefficient(CeedScalar amplitude, CeedScalar length, CeedScalar start, CeedScalar x) {
174e7754af5SKenneth E. Jansen   if (x < start) {
175e7754af5SKenneth E. Jansen     return amplitude;
176e7754af5SKenneth E. Jansen   } else if (x < start + length) {
177e7754af5SKenneth E. Jansen     return amplitude * ((x - start) * (-1 / length) + 1);
178e7754af5SKenneth E. Jansen   } else {
179e7754af5SKenneth E. Jansen     return 0;
180e7754af5SKenneth E. Jansen   }
181e7754af5SKenneth E. Jansen }
182e7754af5SKenneth E. Jansen 
183704b8bbeSJames Wright #endif  // utils_h
184