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