xref: /honee/qfunctions/utils.h (revision 3e17a7a1849b799c24669fa5a24aea7b05055bba)
1ae2b091fSJames Wright // SPDX-FileCopyrightText: Copyright (c) 2017-2024, HONEE contributors.
2ae2b091fSJames Wright // SPDX-License-Identifier: Apache-2.0 OR BSD-2-Clause
3c7ece6efSJeremy L Thompson #pragma once
4704b8bbeSJames Wright 
5*3e17a7a1SJames Wright #include <ceed/types.h>
6*3e17a7a1SJames Wright #ifndef CEED_RUNNING_JIT_PASS
7d0cce58aSJeremy L Thompson #include <math.h>
8*3e17a7a1SJames Wright #endif
9704b8bbeSJames Wright 
10704b8bbeSJames Wright #ifndef M_PI
11704b8bbeSJames Wright #define M_PI 3.14159265358979323846
12704b8bbeSJames Wright #endif
13704b8bbeSJames Wright 
14704b8bbeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Max(CeedScalar a, CeedScalar b) { return a < b ? b : a; }
15704b8bbeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Min(CeedScalar a, CeedScalar b) { return a < b ? a : b; }
16704b8bbeSJames Wright 
17bfa7851aSJames Wright CEED_QFUNCTION_HELPER void SwapScalar(CeedScalar *a, CeedScalar *b) {
18bfa7851aSJames Wright   CeedScalar temp = *a;
19bfa7851aSJames Wright   *a              = *b;
20bfa7851aSJames Wright   *b              = temp;
21bfa7851aSJames Wright }
22bfa7851aSJames Wright 
23704b8bbeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Square(CeedScalar x) { return x * x; }
24704b8bbeSJames Wright CEED_QFUNCTION_HELPER CeedScalar Cube(CeedScalar x) { return x * x * x; }
25704b8bbeSJames Wright 
26e7754af5SKenneth E. Jansen // @brief Scale vector of length N by scalar alpha
27e7754af5SKenneth E. Jansen CEED_QFUNCTION_HELPER void ScaleN(CeedScalar *u, const CeedScalar alpha, const CeedInt N) {
288e5e3595SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) u[i] *= alpha;
298e5e3595SJames Wright }
308e5e3595SJames Wright 
318e5e3595SJames Wright // @brief Set vector of length N to a value alpha
328e5e3595SJames Wright CEED_QFUNCTION_HELPER void SetValueN(CeedScalar *u, const CeedScalar alpha, const CeedInt N) {
338e5e3595SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) u[i] = alpha;
348e5e3595SJames Wright }
358e5e3595SJames Wright 
368e5e3595SJames Wright // @brief Copy N elements from x to y
378e5e3595SJames 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]; }
388e5e3595SJames Wright 
398e5e3595SJames Wright // @brief Copy 3x3 matrix from A to B
408e5e3595SJames Wright CEED_QFUNCTION_HELPER void CopyMat3(const CeedScalar A[3][3], CeedScalar B[3][3]) { CopyN((const CeedScalar *)A, (CeedScalar *)B, 9); }
418e5e3595SJames Wright 
428e5e3595SJames Wright // @brief Dot product of vectors with N elements
438e5e3595SJames Wright CEED_QFUNCTION_HELPER CeedScalar DotN(const CeedScalar *u, const CeedScalar *v, const CeedInt N) {
448e5e3595SJames Wright   CeedScalar output = 0;
458e5e3595SJames Wright   CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) output += u[i] * v[i];
468e5e3595SJames Wright   return output;
47e7754af5SKenneth E. Jansen }
48e7754af5SKenneth E. Jansen 
49704b8bbeSJames Wright // @brief Dot product of 3 element vectors
508fff8293SJames Wright CEED_QFUNCTION_HELPER CeedScalar Dot3(const CeedScalar *u, const CeedScalar *v) { return u[0] * v[0] + u[1] * v[1] + u[2] * v[2]; }
51704b8bbeSJames Wright 
5264667825SJames Wright // @brief \ell^2 norm of 3 element vectors
5364667825SJames Wright CEED_QFUNCTION_HELPER CeedScalar Norm3(const CeedScalar *u) { return sqrt(u[0] * u[0] + u[1] * u[1] + u[2] * u[2]); }
5464667825SJames Wright 
5583c0b726SJames Wright // @brief \ell^2 norm of 2 element vectors
5683c0b726SJames Wright CEED_QFUNCTION_HELPER CeedScalar Norm2(const CeedScalar *u) { return sqrt(u[0] * u[0] + u[1] * u[1]); }
5783c0b726SJames Wright 
588e5e3595SJames Wright // @brief Cross product of vectors with 3 elements
598e5e3595SJames Wright CEED_QFUNCTION_HELPER void Cross3(const CeedScalar u[3], const CeedScalar v[3], CeedScalar w[3]) {
608e5e3595SJames Wright   w[0] = (u[1] * v[2]) - (u[2] * v[1]);
618e5e3595SJames Wright   w[1] = (u[2] * v[0]) - (u[0] * v[2]);
628e5e3595SJames Wright   w[2] = (u[0] * v[1]) - (u[1] * v[0]);
638e5e3595SJames Wright }
648e5e3595SJames Wright 
658e5e3595SJames Wright // @brief Curl of vector given its gradient
668e5e3595SJames Wright CEED_QFUNCTION_HELPER void Curl3(const CeedScalar gradient[3][3], CeedScalar v[3]) {
678e5e3595SJames Wright   v[0] = gradient[2][1] - gradient[1][2];
688e5e3595SJames Wright   v[1] = gradient[0][2] - gradient[2][0];
698e5e3595SJames Wright   v[2] = gradient[1][0] - gradient[0][1];
708e5e3595SJames Wright }
718e5e3595SJames Wright 
728e5e3595SJames Wright // @brief Matrix vector product, b = Ax + b. A is NxM, x is M, b is N
738e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatVecNM(const CeedScalar *A, const CeedScalar *x, const CeedInt N, const CeedInt M, const CeedTransposeMode transpose_A,
748e5e3595SJames Wright                                     CeedScalar *b) {
758e5e3595SJames Wright   switch (transpose_A) {
768e5e3595SJames Wright     case CEED_NOTRANSPOSE:
778e5e3595SJames Wright       CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) b[i] += DotN(&A[i * M], x, M);
788e5e3595SJames Wright       break;
798e5e3595SJames Wright     case CEED_TRANSPOSE:
808e5e3595SJames 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]; }
818e5e3595SJames Wright       break;
828e5e3595SJames Wright   }
838e5e3595SJames Wright }
848e5e3595SJames Wright 
858e5e3595SJames Wright // @brief 3x3 Matrix vector product  b = Ax + b.
868e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatVec3(const CeedScalar A[3][3], const CeedScalar x[3], const CeedTransposeMode transpose_A, CeedScalar b[3]) {
878e5e3595SJames Wright   MatVecNM((const CeedScalar *)A, (const CeedScalar *)x, 3, 3, transpose_A, (CeedScalar *)b);
888e5e3595SJames Wright }
898e5e3595SJames Wright 
908e5e3595SJames Wright // @brief Matrix-Matrix product, B = DA + B, where D is diagonal.
918e5e3595SJames 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.
928e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatDiagNM(const CeedScalar *A, const CeedScalar *D, const CeedInt N, const CeedInt M, const CeedTransposeMode transpose_A,
938e5e3595SJames Wright                                      CeedScalar *B) {
948e5e3595SJames Wright   switch (transpose_A) {
958e5e3595SJames Wright     case CEED_NOTRANSPOSE:
968e5e3595SJames 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]; }
978e5e3595SJames Wright       break;
988e5e3595SJames Wright     case CEED_TRANSPOSE:
998e5e3595SJames 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]; }
1008e5e3595SJames Wright       break;
1018e5e3595SJames Wright   }
1028e5e3595SJames Wright }
1038e5e3595SJames Wright 
1048e5e3595SJames Wright // @brief 3x3 Matrix-Matrix product, B = DA + B, where D is diagonal.
1058e5e3595SJames Wright // @details Optionally, A may be transposed.
1068e5e3595SJames Wright CEED_QFUNCTION_HELPER void MatDiag3(const CeedScalar A[3][3], const CeedScalar D[3], const CeedTransposeMode transpose_A, CeedScalar B[3][3]) {
1078e5e3595SJames Wright   MatDiagNM((const CeedScalar *)A, (const CeedScalar *)D, 3, 3, transpose_A, (CeedScalar *)B);
1088e5e3595SJames Wright }
109e975cfccSJames Wright // @brief NxN Matrix-Matrix product, C = AB + C
110e975cfccSJames Wright CEED_QFUNCTION_HELPER void MatMatN(const CeedScalar *A, const CeedScalar *B, const CeedInt N, const CeedTransposeMode transpose_A,
111e975cfccSJames Wright                                    const CeedTransposeMode transpose_B, CeedScalar *C) {
1128e5e3595SJames Wright   switch (transpose_A) {
1138e5e3595SJames Wright     case CEED_NOTRANSPOSE:
1148e5e3595SJames Wright       switch (transpose_B) {
1158e5e3595SJames Wright         case CEED_NOTRANSPOSE:
116e975cfccSJames Wright           CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) {
117e975cfccSJames Wright             CeedPragmaSIMD for (CeedInt j = 0; j < N; j++) {
118e975cfccSJames Wright               CeedPragmaSIMD for (CeedInt k = 0; k < N; k++) C[i * N + j] += A[i * N + k] * B[k * N + j];
119e975cfccSJames Wright             }
1208e5e3595SJames Wright           }
1218e5e3595SJames Wright           break;
1228e5e3595SJames Wright         case CEED_TRANSPOSE:
123e975cfccSJames Wright           CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) {
124e975cfccSJames Wright             CeedPragmaSIMD for (CeedInt j = 0; j < N; j++) {
125e975cfccSJames Wright               CeedPragmaSIMD for (CeedInt k = 0; k < N; k++) C[i * N + j] += A[i * N + k] * B[j * N + k];
126e975cfccSJames Wright             }
1278e5e3595SJames Wright           }
1288e5e3595SJames Wright           break;
1298e5e3595SJames Wright       }
1308e5e3595SJames Wright       break;
1318e5e3595SJames Wright     case CEED_TRANSPOSE:
1328e5e3595SJames Wright       switch (transpose_B) {
1338e5e3595SJames Wright         case CEED_NOTRANSPOSE:
134e975cfccSJames Wright           CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) {
135e975cfccSJames Wright             CeedPragmaSIMD for (CeedInt j = 0; j < N; j++) {
136e975cfccSJames Wright               CeedPragmaSIMD for (CeedInt k = 0; k < N; k++) C[i * N + j] += A[k * N + i] * B[k * N + j];
137e975cfccSJames Wright             }
1388e5e3595SJames Wright           }
1398e5e3595SJames Wright           break;
1408e5e3595SJames Wright         case CEED_TRANSPOSE:
141e975cfccSJames Wright           CeedPragmaSIMD for (CeedInt i = 0; i < N; i++) {
142e975cfccSJames Wright             CeedPragmaSIMD for (CeedInt j = 0; j < N; j++) {
143e975cfccSJames Wright               CeedPragmaSIMD for (CeedInt k = 0; k < N; k++) C[i * N + j] += A[k * N + i] * B[j * N + k];
144e975cfccSJames Wright             }
1458e5e3595SJames Wright           }
1468e5e3595SJames Wright           break;
1478e5e3595SJames Wright       }
1488e5e3595SJames Wright       break;
1498e5e3595SJames Wright   }
1508e5e3595SJames Wright }
1518e5e3595SJames Wright 
152e975cfccSJames Wright // @brief 3x3 Matrix-Matrix product, C = AB + C
153e975cfccSJames Wright CEED_QFUNCTION_HELPER void MatMat3(const CeedScalar A[3][3], const CeedScalar B[3][3], const CeedTransposeMode transpose_A,
154e975cfccSJames Wright                                    const CeedTransposeMode transpose_B, CeedScalar C[3][3]) {
155e975cfccSJames Wright   MatMatN((const CeedScalar *)A, (const CeedScalar *)B, 3, transpose_A, transpose_B, (CeedScalar *)C);
156e975cfccSJames Wright }
157e975cfccSJames Wright 
15806f0a019SJames Wright /**
15906f0a019SJames Wright   @brief MxN Matrix-Matrix product, C = AB + C
16006f0a019SJames Wright 
16106f0a019SJames Wright   C is NxM, A is NxP, B is PxM
16206f0a019SJames Wright 
16306f0a019SJames Wright   @param[in]  mat_A Row-major matrix `A`
16406f0a019SJames Wright   @param[in]  mat_B Row-major matrix `B`
16506f0a019SJames Wright   @param[out] mat_C Row-major output matrix `C`
16606f0a019SJames Wright   @param[in]  N     Number of rows of `C`
16706f0a019SJames Wright   @param[in]  M     Number of columns of `C`
16806f0a019SJames Wright   @param[in]  P     Number of columns of `A`/rows of `B`
16906f0a019SJames Wright **/
17006f0a019SJames Wright CEED_QFUNCTION_HELPER void MatMatNM(const CeedScalar *mat_A, const CeedScalar *mat_B, CeedScalar *mat_C, CeedInt N, CeedInt M, CeedInt P) {
17106f0a019SJames Wright   for (CeedInt i = 0; i < N; i++) {
17206f0a019SJames Wright     for (CeedInt j = 0; j < M; j++) {
17306f0a019SJames Wright       for (CeedInt k = 0; k < P; k++) mat_C[i * M + j] += mat_A[i * P + k] * mat_B[k * M + j];
17406f0a019SJames Wright     }
17506f0a019SJames Wright   }
17606f0a019SJames Wright }
17706f0a019SJames Wright 
178704b8bbeSJames Wright // @brief Unpack Kelvin-Mandel notation symmetric tensor into full tensor
179704b8bbeSJames Wright CEED_QFUNCTION_HELPER void KMUnpack(const CeedScalar v[6], CeedScalar A[3][3]) {
180704b8bbeSJames Wright   const CeedScalar weight = 1 / sqrt(2.);
181704b8bbeSJames Wright   A[0][0]                 = v[0];
182704b8bbeSJames Wright   A[1][1]                 = v[1];
183704b8bbeSJames Wright   A[2][2]                 = v[2];
184704b8bbeSJames Wright   A[2][1] = A[1][2] = weight * v[3];
185704b8bbeSJames Wright   A[2][0] = A[0][2] = weight * v[4];
186704b8bbeSJames Wright   A[1][0] = A[0][1] = weight * v[5];
187704b8bbeSJames Wright }
188704b8bbeSJames Wright 
1898e5e3595SJames Wright // @brief Pack full tensor into Kelvin-Mandel notation symmetric tensor
1908e5e3595SJames Wright CEED_QFUNCTION_HELPER void KMPack(const CeedScalar A[3][3], CeedScalar v[6]) {
1918e5e3595SJames Wright   const CeedScalar weight = sqrt(2.);
1928e5e3595SJames Wright   v[0]                    = A[0][0];
1938e5e3595SJames Wright   v[1]                    = A[1][1];
1948e5e3595SJames Wright   v[2]                    = A[2][2];
1958e5e3595SJames Wright   v[3]                    = A[2][1] * weight;
1968e5e3595SJames Wright   v[4]                    = A[2][0] * weight;
1978e5e3595SJames Wright   v[5]                    = A[1][0] * weight;
1988e5e3595SJames Wright }
1998e5e3595SJames Wright 
2008e5e3595SJames Wright // @brief Calculate metric tensor from mapping, g_{ij} = xi_{k,i} xi_{k,j} = dXdx^T dXdx
2018e5e3595SJames Wright CEED_QFUNCTION_HELPER void KMMetricTensor(const CeedScalar dXdx[3][3], CeedScalar km_g_ij[6]) {
2028e5e3595SJames Wright   CeedScalar g_ij[3][3] = {{0.}};
2038e5e3595SJames Wright   MatMat3(dXdx, dXdx, CEED_TRANSPOSE, CEED_NOTRANSPOSE, g_ij);
2048e5e3595SJames Wright   KMPack(g_ij, km_g_ij);
2058e5e3595SJames Wright }
2068e5e3595SJames Wright 
207e7754af5SKenneth E. Jansen // @brief Linear ramp evaluation
208e7754af5SKenneth E. Jansen CEED_QFUNCTION_HELPER CeedScalar LinearRampCoefficient(CeedScalar amplitude, CeedScalar length, CeedScalar start, CeedScalar x) {
209e7754af5SKenneth E. Jansen   if (x < start) {
210e7754af5SKenneth E. Jansen     return amplitude;
211e7754af5SKenneth E. Jansen   } else if (x < start + length) {
212e7754af5SKenneth E. Jansen     return amplitude * ((x - start) * (-1 / length) + 1);
213e7754af5SKenneth E. Jansen   } else {
214e7754af5SKenneth E. Jansen     return 0;
215e7754af5SKenneth E. Jansen   }
216e7754af5SKenneth E. Jansen }
217e7754af5SKenneth E. Jansen 
218ade49511SJames Wright /**
219ade49511SJames Wright   @brief Pack stored values at quadrature point
220ade49511SJames Wright 
221ade49511SJames Wright   @param[in]   Q              Number of quadrature points
222ade49511SJames Wright   @param[in]   i              Current quadrature point
223ade49511SJames Wright   @param[in]   start          Starting index to store components
224ade49511SJames Wright   @param[in]   num_comp       Number of components to store
2256764667bSJames Wright   @param[in]   values_at_qpnt Local values for quadrature point i
226ade49511SJames Wright   @param[out]  stored         Stored values
227ade49511SJames Wright 
228ade49511SJames Wright   @return An error code: 0 - success, otherwise - failure
229ade49511SJames Wright **/
2306764667bSJames Wright CEED_QFUNCTION_HELPER int StoredValuesPack(CeedInt Q, CeedInt i, CeedInt start, CeedInt num_comp, const CeedScalar *values_at_qpnt,
2316764667bSJames Wright                                            CeedScalar *stored) {
2326764667bSJames Wright   for (CeedInt j = 0; j < num_comp; j++) stored[(start + j) * Q + i] = values_at_qpnt[j];
233ade49511SJames Wright 
234ade49511SJames Wright   return CEED_ERROR_SUCCESS;
235ade49511SJames Wright }
236ade49511SJames Wright 
237ade49511SJames Wright /**
238ade49511SJames Wright   @brief Unpack stored values at quadrature point
239ade49511SJames Wright 
240ade49511SJames Wright   @param[in]   Q              Number of quadrature points
241ade49511SJames Wright   @param[in]   i              Current quadrature point
242ade49511SJames Wright   @param[in]   start          Starting index to store components
243ade49511SJames Wright   @param[in]   num_comp       Number of components to store
244ade49511SJames Wright   @param[in]   stored         Stored values
2456764667bSJames Wright   @param[out]  values_at_qpnt Local values for quadrature point i
246ade49511SJames Wright 
247ade49511SJames Wright   @return An error code: 0 - success, otherwise - failure
248ade49511SJames Wright **/
2496764667bSJames Wright CEED_QFUNCTION_HELPER int StoredValuesUnpack(CeedInt Q, CeedInt i, CeedInt start, CeedInt num_comp, const CeedScalar *stored,
2506764667bSJames Wright                                              CeedScalar *values_at_qpnt) {
2516764667bSJames Wright   for (CeedInt j = 0; j < num_comp; j++) values_at_qpnt[j] = stored[(start + j) * Q + i];
252ade49511SJames Wright 
253ade49511SJames Wright   return CEED_ERROR_SUCCESS;
254ade49511SJames Wright }
255ade49511SJames Wright 
256ade49511SJames Wright /**
257e1bedf8cSJames Wright   @brief Unpack N-D element q_data at quadrature point
258e1bedf8cSJames Wright 
259e1bedf8cSJames Wright   @param[in]   dim       Dimension of the element
260e1bedf8cSJames Wright   @param[in]   Q         Number of quadrature points
261e1bedf8cSJames Wright   @param[in]   i         Current quadrature point
262e1bedf8cSJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:Setup`)
263e1bedf8cSJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian, or `NULL`
264e1bedf8cSJames Wright   @param[out]  dXdx      Inverse of the mapping Jacobian (shape [dim][dim]), or `NULL`
265e77831d2SJames Wright 
266e77831d2SJames Wright   @return An error code: 0 - success, otherwise - failure
267e1bedf8cSJames Wright **/
268e77831d2SJames Wright CEED_QFUNCTION_HELPER int QdataUnpack_ND(CeedInt dim, CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ, CeedScalar *dXdx) {
269e1bedf8cSJames Wright   switch (dim) {
270e1bedf8cSJames Wright     case 2:
271e1bedf8cSJames Wright       if (wdetJ) StoredValuesUnpack(Q, i, 0, 1, q_data, wdetJ);
272e1bedf8cSJames Wright       if (dXdx) StoredValuesUnpack(Q, i, 1, 4, q_data, dXdx);
273e1bedf8cSJames Wright       break;
274e1bedf8cSJames Wright     case 3:
275e1bedf8cSJames Wright       if (wdetJ) StoredValuesUnpack(Q, i, 0, 1, q_data, wdetJ);
276e1bedf8cSJames Wright       if (dXdx) StoredValuesUnpack(Q, i, 1, 9, q_data, dXdx);
277e1bedf8cSJames Wright       break;
278e1bedf8cSJames Wright   }
279e77831d2SJames Wright   return CEED_ERROR_SUCCESS;
280e1bedf8cSJames Wright }
281e1bedf8cSJames Wright 
282e1bedf8cSJames Wright /**
283e1bedf8cSJames Wright   @brief Unpack boundary element q_data for N-D problem at quadrature point
284e1bedf8cSJames Wright 
285e77831d2SJames Wright   @param[in]   dim       Dimension of the element
286e1bedf8cSJames Wright   @param[in]   Q         Number of quadrature points
287e1bedf8cSJames Wright   @param[in]   i         Current quadrature point
288e1bedf8cSJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:SetupBoundary`)
289e1bedf8cSJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian, or `NULL`
290e1bedf8cSJames Wright   @param[out]  dXdx      Inverse of the mapping Jacobian (shape [dim - 1][dim]), or `NULL`
291e1bedf8cSJames Wright   @param[out]  normal    Components of the normal vector (shape [dim]), or `NULL`
292e77831d2SJames Wright 
293e77831d2SJames Wright   @return An error code: 0 - success, otherwise - failure
294e1bedf8cSJames Wright **/
295e77831d2SJames Wright CEED_QFUNCTION_HELPER int QdataBoundaryUnpack_ND(CeedInt dim, CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ, CeedScalar *dXdx,
296e1bedf8cSJames Wright                                                  CeedScalar *normal) {
297e1bedf8cSJames Wright   switch (dim) {
298e1bedf8cSJames Wright     case 2:
299e1bedf8cSJames Wright       if (wdetJ) StoredValuesUnpack(Q, i, 0, 1, q_data, wdetJ);
300e1bedf8cSJames Wright       if (normal) StoredValuesUnpack(Q, i, 1, 2, q_data, normal);
301e1bedf8cSJames Wright       break;
302e1bedf8cSJames Wright     case 3:
303e1bedf8cSJames Wright       if (wdetJ) StoredValuesUnpack(Q, i, 0, 1, q_data, wdetJ);
304e1bedf8cSJames Wright       if (normal) StoredValuesUnpack(Q, i, 1, 3, q_data, normal);
305e1bedf8cSJames Wright       if (dXdx) StoredValuesUnpack(Q, i, 4, 6, q_data, (CeedScalar *)dXdx);
306e1bedf8cSJames Wright       break;
307e1bedf8cSJames Wright   }
308e77831d2SJames Wright   return CEED_ERROR_SUCCESS;
309e1bedf8cSJames Wright }
310e1bedf8cSJames Wright 
311e1bedf8cSJames Wright /**
312da8b59d6SJames Wright   @brief Unpack boundary element q_data for N-D problem at quadrature point
313da8b59d6SJames Wright 
314da8b59d6SJames Wright   @param[in]   dim       Dimension of the element
315da8b59d6SJames Wright   @param[in]   Q         Number of quadrature points
316da8b59d6SJames Wright   @param[in]   i         Current quadrature point
317da8b59d6SJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:SetupBoundaryGradient`)
318da8b59d6SJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian, or `NULL`
319da8b59d6SJames Wright   @param[out]  dXdx      Inverse of the mapping Jacobian (shape [dim][dim]), or `NULL`
320da8b59d6SJames Wright   @param[out]  normal    Components of the normal vector (shape [dim]), or `NULL`
321da8b59d6SJames Wright 
322da8b59d6SJames Wright   @return An error code: 0 - success, otherwise - failure
323da8b59d6SJames Wright **/
324da8b59d6SJames Wright CEED_QFUNCTION_HELPER int QdataBoundaryGradientUnpack_ND(CeedInt dim, CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ,
325da8b59d6SJames Wright                                                          CeedScalar *dXdx, CeedScalar *normal) {
326da8b59d6SJames Wright   switch (dim) {
327da8b59d6SJames Wright     case 2:
328da8b59d6SJames Wright       if (wdetJ) StoredValuesUnpack(Q, i, 0, 1, q_data, wdetJ);
329da8b59d6SJames Wright       if (dXdx) StoredValuesUnpack(Q, i, 1, 4, q_data, dXdx);
330da8b59d6SJames Wright       if (normal) StoredValuesUnpack(Q, i, 5, 2, q_data, normal);
331da8b59d6SJames Wright       break;
332da8b59d6SJames Wright     case 3:
333da8b59d6SJames Wright       if (wdetJ) StoredValuesUnpack(Q, i, 0, 1, q_data, wdetJ);
334da8b59d6SJames Wright       if (dXdx) StoredValuesUnpack(Q, i, 1, 9, q_data, dXdx);
335da8b59d6SJames Wright       if (normal) StoredValuesUnpack(Q, i, 10, 3, q_data, normal);
336da8b59d6SJames Wright       break;
337da8b59d6SJames Wright   }
338da8b59d6SJames Wright   return CEED_ERROR_SUCCESS;
339da8b59d6SJames Wright }
340da8b59d6SJames Wright 
341da8b59d6SJames Wright /**
342ade49511SJames Wright   @brief Unpack 3D element q_data at quadrature point
343ade49511SJames Wright 
344ade49511SJames Wright   @param[in]   Q         Number of quadrature points
345ade49511SJames Wright   @param[in]   i         Current quadrature point
346ade49511SJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:Setup`)
347ade49511SJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian
348ade49511SJames Wright   @param[out]  dXdx      Inverse of the mapping Jacobian (shape [3][3])
349ade49511SJames Wright 
350ade49511SJames Wright   @return An error code: 0 - success, otherwise - failure
351ade49511SJames Wright **/
352ade49511SJames Wright CEED_QFUNCTION_HELPER int QdataUnpack_3D(CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ, CeedScalar dXdx[3][3]) {
353e77831d2SJames Wright   return QdataUnpack_ND(3, Q, i, q_data, wdetJ, (CeedScalar *)dXdx);
354ade49511SJames Wright }
355ade49511SJames Wright 
356ade49511SJames Wright /**
357ade49511SJames Wright   @brief Unpack boundary element q_data for 3D problem at quadrature point
358ade49511SJames Wright 
359ade49511SJames Wright   @param[in]   Q         Number of quadrature points
360ade49511SJames Wright   @param[in]   i         Current quadrature point
3612c512a7bSJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:SetupBoundary`)
362ade49511SJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian, or `NULL`
363ade49511SJames Wright   @param[out]  dXdx      Inverse of the mapping Jacobian (shape [2][3]), or `NULL`
364ade49511SJames Wright   @param[out]  normal    Components of the normal vector (shape [3]), or `NULL`
365ade49511SJames Wright 
366ade49511SJames Wright   @return An error code: 0 - success, otherwise - failure
367ade49511SJames Wright **/
368ade49511SJames Wright CEED_QFUNCTION_HELPER int QdataBoundaryUnpack_3D(CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ, CeedScalar dXdx[2][3],
369ade49511SJames Wright                                                  CeedScalar normal[3]) {
370e77831d2SJames Wright   return QdataBoundaryUnpack_ND(3, Q, i, q_data, wdetJ, (CeedScalar *)dXdx, normal);
371ade49511SJames Wright }
372ade49511SJames Wright 
373baadde1fSJames Wright /**
37415c15616SJames Wright   @brief Unpack boundary element q_data for 3D problem at quadrature point
37515c15616SJames Wright 
37615c15616SJames Wright   @param[in]   Q         Number of quadrature points
37715c15616SJames Wright   @param[in]   i         Current quadrature point
37815c15616SJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:SetupBoundary`)
37915c15616SJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian, or `NULL`
380e77831d2SJames Wright   @param[out]  dXdx      Inverse of the mapping Jacobian (shape [3][3]), or `NULL`
38115c15616SJames Wright   @param[out]  normal    Components of the normal vector (shape [3]), or `NULL`
38215c15616SJames Wright 
38315c15616SJames Wright   @return An error code: 0 - success, otherwise - failure
38415c15616SJames Wright **/
385e77831d2SJames Wright CEED_QFUNCTION_HELPER int QdataBoundaryGradientUnpack_3D(CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ, CeedScalar dXdx[3][3],
38615c15616SJames Wright                                                          CeedScalar normal[3]) {
387da8b59d6SJames Wright   return QdataBoundaryGradientUnpack_ND(3, Q, i, q_data, wdetJ, (CeedScalar *)dXdx, normal);
38815c15616SJames Wright }
38915c15616SJames Wright 
39015c15616SJames Wright /**
391baadde1fSJames Wright   @brief Unpack 2D element q_data at quadrature point
392baadde1fSJames Wright 
393baadde1fSJames Wright   @param[in]   Q         Number of quadrature points
394baadde1fSJames Wright   @param[in]   i         Current quadrature point
395baadde1fSJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:Setup`)
396baadde1fSJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian
397baadde1fSJames Wright   @param[out]  dXdx      Inverse of the mapping Jacobian (shape [2][2])
398baadde1fSJames Wright 
399baadde1fSJames Wright   @return An error code: 0 - success, otherwise - failure
400baadde1fSJames Wright **/
401baadde1fSJames Wright CEED_QFUNCTION_HELPER int QdataUnpack_2D(CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ, CeedScalar dXdx[2][2]) {
402e1bedf8cSJames Wright   QdataUnpack_ND(2, Q, i, q_data, wdetJ, (CeedScalar *)dXdx);
403baadde1fSJames Wright   return CEED_ERROR_SUCCESS;
404baadde1fSJames Wright }
405baadde1fSJames Wright 
4062c512a7bSJames Wright /**
4072c512a7bSJames Wright   @brief Unpack boundary element q_data for 2D problem at quadrature point
4082c512a7bSJames Wright 
4092c512a7bSJames Wright   @param[in]   Q         Number of quadrature points
4102c512a7bSJames Wright   @param[in]   i         Current quadrature point
4112c512a7bSJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:SetupBoundary2d`)
4122c512a7bSJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian, or `NULL`
4132c512a7bSJames Wright   @param[out]  normal    Components of the normal vector (shape [2]), or `NULL`
4142c512a7bSJames Wright 
4152c512a7bSJames Wright   @return An error code: 0 - success, otherwise - failure
4162c512a7bSJames Wright **/
4172c512a7bSJames Wright CEED_QFUNCTION_HELPER int QdataBoundaryUnpack_2D(CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ, CeedScalar normal[2]) {
418e1bedf8cSJames Wright   QdataBoundaryUnpack_ND(3, Q, i, q_data, wdetJ, NULL, normal);
4192c512a7bSJames Wright   return CEED_ERROR_SUCCESS;
4202c512a7bSJames Wright }
42106f0a019SJames Wright 
42206f0a019SJames Wright /**
423da8b59d6SJames Wright   @brief Unpack boundary element q_data for 2D problem at quadrature point
424da8b59d6SJames Wright 
425da8b59d6SJames Wright   @param[in]   Q         Number of quadrature points
426da8b59d6SJames Wright   @param[in]   i         Current quadrature point
427da8b59d6SJames Wright   @param[in]   q_data    Pointer to q_data (generated by `setupgeo.h:SetupBoundary`)
428da8b59d6SJames Wright   @param[out]  wdetJ     Quadrature weight times determinant of the mapping Jacobian, or `NULL`
429da8b59d6SJames Wright   @param[out]  dXdx      Inverse of the mapping Jacobian (shape [2][2]), or `NULL`
430da8b59d6SJames Wright   @param[out]  normal    Components of the normal vector (shape [2]), or `NULL`
431da8b59d6SJames Wright 
432da8b59d6SJames Wright   @return An error code: 0 - success, otherwise - failure
433da8b59d6SJames Wright **/
434da8b59d6SJames Wright CEED_QFUNCTION_HELPER int QdataBoundaryGradientUnpack_2D(CeedInt Q, CeedInt i, const CeedScalar *q_data, CeedScalar *wdetJ, CeedScalar dXdx[2][2],
435da8b59d6SJames Wright                                                          CeedScalar normal[2]) {
436da8b59d6SJames Wright   return QdataBoundaryGradientUnpack_ND(2, Q, i, q_data, wdetJ, (CeedScalar *)dXdx, normal);
437da8b59d6SJames Wright }
438da8b59d6SJames Wright 
439da8b59d6SJames Wright /**
44006f0a019SJames Wright   @brief Unpack `CEED_EVAL_GRAD` QF input into quadrature-point local array
44106f0a019SJames Wright 
44206f0a019SJames Wright   @param[in]  Q          Number of quadrature points
44306f0a019SJames Wright   @param[in]  i          Current quadrature point
44406f0a019SJames Wright   @param[in]  num_comp   Number of components of the input
44506f0a019SJames Wright   @param[in]  dim        Topological dimension of the element (ie. number of derivative terms per component)
44606f0a019SJames Wright   @param[in]  grad       QF gradient input, shape `[dim][num_comp][Q]`
447db7fbcd2SJames Wright   @param[out] grad_local Gradient array at quadrature point Q, shape `[num_comp][dim]`
44806f0a019SJames Wright **/
449db7fbcd2SJames Wright CEED_QFUNCTION_HELPER void GradUnpackN(CeedInt Q, CeedInt i, CeedInt num_comp, CeedInt dim, const CeedScalar *grad, CeedScalar *grad_local) {
45006f0a019SJames Wright   for (CeedInt d = 0; d < dim; d++) {
45106f0a019SJames Wright     for (CeedInt c = 0; c < num_comp; c++) {
452db7fbcd2SJames Wright       grad_local[dim * c + d] = grad[(Q * num_comp) * d + Q * c + i];
45306f0a019SJames Wright     }
45406f0a019SJames Wright   }
45506f0a019SJames Wright }
45606f0a019SJames Wright 
45706f0a019SJames Wright /**
45806f0a019SJames Wright   @brief Unpack `CEED_EVAL_GRAD` QF input into quadrature-point local array for 3D elements
45906f0a019SJames Wright 
46006f0a019SJames Wright   @param[in]  Q          Number of quadrature points
46106f0a019SJames Wright   @param[in]  i          Current quadrature point
46206f0a019SJames Wright   @param[in]  num_comp   Number of components of the input
46383c0b726SJames Wright   @param[in]  grad       QF gradient input, shape `[3][num_comp][Q]`
464db7fbcd2SJames Wright   @param[out] grad_local Gradient array at quadrature point Q, shape `[num_comp][3]`
46506f0a019SJames Wright **/
466db7fbcd2SJames Wright CEED_QFUNCTION_HELPER void GradUnpack3(CeedInt Q, CeedInt i, CeedInt num_comp, const CeedScalar *grad, CeedScalar (*grad_local)[3]) {
467db7fbcd2SJames Wright   GradUnpackN(Q, i, num_comp, 3, grad, (CeedScalar *)grad_local);
46806f0a019SJames Wright }
4698c85b835SJames Wright 
4708c85b835SJames Wright /**
47183c0b726SJames Wright   @brief Unpack `CEED_EVAL_GRAD` QF input into quadrature-point local array for 2D elements
47283c0b726SJames Wright 
47383c0b726SJames Wright   @param[in]  Q          Number of quadrature points
47483c0b726SJames Wright   @param[in]  i          Current quadrature point
47583c0b726SJames Wright   @param[in]  num_comp   Number of components of the input
47683c0b726SJames Wright   @param[in]  grad       QF gradient input, shape `[2][num_comp][Q]`
477db7fbcd2SJames Wright   @param[out] grad_local Gradient array at quadrature point Q, shape `[num_comp][2]`
47883c0b726SJames Wright **/
479db7fbcd2SJames Wright CEED_QFUNCTION_HELPER void GradUnpack2(CeedInt Q, CeedInt i, CeedInt num_comp, const CeedScalar *grad, CeedScalar (*grad_local)[2]) {
480db7fbcd2SJames Wright   GradUnpackN(Q, i, num_comp, 2, grad, (CeedScalar *)grad_local);
48183c0b726SJames Wright }
48283c0b726SJames Wright 
48383c0b726SJames Wright /**
4848c85b835SJames Wright   @brief Calculate divergence from reference gradient
4858c85b835SJames Wright 
4868c85b835SJames Wright   Given gradient array G_{ij} and inverse element mapping X_{ij}, then the divergence is
4878c85b835SJames Wright 
4888c85b835SJames Wright   G_{ij} X{ji}
4898c85b835SJames Wright 
4908c85b835SJames Wright   @param[in]  grad_qn    Gradient array, orientation [vector component][gradient direction]
4918c85b835SJames Wright   @param[in]  dXdx       Inverse of the mapping Jacobian (shape [dim][dim])
4928c85b835SJames Wright   @param[in]  dim        Dimension of the problem
4938c85b835SJames Wright   @param[out] divergence The divergence
4948c85b835SJames Wright **/
4958c85b835SJames Wright CEED_QFUNCTION_HELPER void DivergenceND(const CeedScalar *grad_qn, const CeedScalar *dXdx, const CeedInt dim, CeedScalar *divergence) {
4968c85b835SJames Wright   for (CeedInt i = 0; i < dim; i++) {
4978c85b835SJames Wright     for (CeedInt j = 0; j < dim; j++) {
4988c85b835SJames Wright       *divergence += grad_qn[i * dim + j] * dXdx[j * dim + i];
4998c85b835SJames Wright     }
5008c85b835SJames Wright   }
5018c85b835SJames Wright }
5028c85b835SJames Wright 
5038c85b835SJames Wright /**
5048c85b835SJames Wright   @brief Calculate divergence from reference gradient for 3D problem
5058c85b835SJames Wright 
5068c85b835SJames Wright   Given gradient array G_{ij} and inverse element mapping X_{ij}, then the divergence is
5078c85b835SJames Wright 
5088c85b835SJames Wright   G_{ij} X{ji}
5098c85b835SJames Wright 
5108c85b835SJames Wright   @param[in]  grad_qn    Gradient array, orientation [vector component][gradient direction]
5118c85b835SJames Wright   @param[in]  dXdx       Inverse of the mapping Jacobian (shape [3][3])
5128c85b835SJames Wright   @param[out] divergence The divergence
5138c85b835SJames Wright **/
5148c85b835SJames Wright CEED_QFUNCTION_HELPER void Divergence3D(const CeedScalar grad_qn[3][3], const CeedScalar dXdx[3][3], CeedScalar *divergence) {
5158c85b835SJames Wright   DivergenceND((const CeedScalar *)grad_qn, (const CeedScalar *)dXdx, 3, divergence);
5168c85b835SJames Wright }
517