xref: /libCEED/tests/t314-basis.c (revision 2b730f8b5a9c809740a0b3b302db43a719c636b1)
1a7bd39daSjeremylt /// @file
252bfb9bbSJeremy L Thompson /// Test grad in multiple dimensions
352bfb9bbSJeremy L Thompson /// \test Test grad in multiple dimensions
4a7bd39daSjeremylt #include <ceed.h>
5a7bd39daSjeremylt #include <math.h>
6a7bd39daSjeremylt 
7a7bd39daSjeremylt static CeedScalar Eval(CeedInt dim, const CeedScalar x[]) {
8a7bd39daSjeremylt   CeedScalar result = tanh(x[0] + 0.1);
9a7bd39daSjeremylt   if (dim > 1) result += atan(x[1] + 0.2);
10a7bd39daSjeremylt   if (dim > 2) result += exp(-(x[2] + 0.3) * (x[2] + 0.3));
11a7bd39daSjeremylt   return result;
12a7bd39daSjeremylt }
13a7bd39daSjeremylt 
1480a9ef05SNatalie Beams static CeedScalar GetTolerance(CeedScalarType scalar_type, int dim) {
1580a9ef05SNatalie Beams   CeedScalar tol;
1680a9ef05SNatalie Beams   if (scalar_type == CEED_SCALAR_FP32) {
17*2b730f8bSJeremy L Thompson     if (dim == 3) tol = 0.05;
18*2b730f8bSJeremy L Thompson     else tol = 1.e-3;
1980a9ef05SNatalie Beams   } else {
2080a9ef05SNatalie Beams     tol = 1.e-11;
2180a9ef05SNatalie Beams   }
2280a9ef05SNatalie Beams   return tol;
2380a9ef05SNatalie Beams }
2480a9ef05SNatalie Beams 
25a7bd39daSjeremylt int main(int argc, char **argv) {
26a7bd39daSjeremylt   Ceed ceed;
27a7bd39daSjeremylt 
28a7bd39daSjeremylt   CeedInit(argv[1], &ceed);
29288c0443SJeremy L Thompson 
30a7bd39daSjeremylt   for (CeedInt dim = 1; dim <= 3; dim++) {
31d1d35e2fSjeremylt     CeedVector        X, X_q, U, U_q, ones, grad_T_ones;
32d1d35e2fSjeremylt     CeedBasis         basis_x_lobatto, basis_u_gauss;
33*2b730f8bSJeremy L Thompson     CeedInt           P = 8, Q = 10, P_dim = CeedIntPow(P, dim), Q_dim = CeedIntPow(Q, dim), X_dim = CeedIntPow(2, dim);
34d1d35e2fSjeremylt     CeedScalar        x[X_dim * dim], u[P_dim];
35d1d35e2fSjeremylt     const CeedScalar *x_q, *u_q, *grad_t_ones_array;
36d1d35e2fSjeremylt     CeedScalar        sum_1 = 0, sum_2 = 0;
37a7bd39daSjeremylt 
38*2b730f8bSJeremy L Thompson     for (CeedInt d = 0; d < dim; d++) {
39*2b730f8bSJeremy L Thompson       for (CeedInt i = 0; i < X_dim; i++) x[d * X_dim + i] = (i % CeedIntPow(2, dim - d)) / CeedIntPow(2, dim - d - 1) ? 1 : -1;
40*2b730f8bSJeremy L Thompson     }
41a7bd39daSjeremylt 
42d1d35e2fSjeremylt     CeedVectorCreate(ceed, X_dim * dim, &X);
43288c0443SJeremy L Thompson     CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
44d1d35e2fSjeremylt     CeedVectorCreate(ceed, P_dim * dim, &X_q);
45d1d35e2fSjeremylt     CeedVectorSetValue(X_q, 0);
46d1d35e2fSjeremylt     CeedVectorCreate(ceed, P_dim, &U);
47d1d35e2fSjeremylt     CeedVectorCreate(ceed, Q_dim * dim, &U_q);
48d1d35e2fSjeremylt     CeedVectorSetValue(U_q, 0);
49d1d35e2fSjeremylt     CeedVectorCreate(ceed, Q_dim * dim, &ones);
50d1d35e2fSjeremylt     CeedVectorSetValue(ones, 1);
51d1d35e2fSjeremylt     CeedVectorCreate(ceed, P_dim, &grad_T_ones);
52d1d35e2fSjeremylt     CeedVectorSetValue(grad_T_ones, 0);
53a7bd39daSjeremylt 
54a7bd39daSjeremylt     // Get function values at quadrature points
55*2b730f8bSJeremy L Thompson     CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, 2, P, CEED_GAUSS_LOBATTO, &basis_x_lobatto);
56d1d35e2fSjeremylt     CeedBasisApply(basis_x_lobatto, 1, CEED_NOTRANSPOSE, CEED_EVAL_INTERP, X, X_q);
57a7bd39daSjeremylt 
58d1d35e2fSjeremylt     CeedVectorGetArrayRead(X_q, CEED_MEM_HOST, &x_q);
59d1d35e2fSjeremylt     for (CeedInt i = 0; i < P_dim; i++) {
60a7bd39daSjeremylt       CeedScalar xx[dim];
61*2b730f8bSJeremy L Thompson       for (CeedInt d = 0; d < dim; d++) xx[d] = x_q[d * P_dim + i];
62a7bd39daSjeremylt       u[i] = Eval(dim, xx);
63a7bd39daSjeremylt     }
64d1d35e2fSjeremylt     CeedVectorRestoreArrayRead(X_q, &x_q);
65288c0443SJeremy L Thompson     CeedVectorSetArray(U, CEED_MEM_HOST, CEED_USE_POINTER, u);
66a7bd39daSjeremylt 
67a7bd39daSjeremylt     // Calculate G u at quadrature points, G' * 1 at dofs
68d1d35e2fSjeremylt     CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P, Q, CEED_GAUSS, &basis_u_gauss);
69d1d35e2fSjeremylt     CeedBasisApply(basis_u_gauss, 1, CEED_NOTRANSPOSE, CEED_EVAL_GRAD, U, U_q);
70*2b730f8bSJeremy L Thompson     CeedBasisApply(basis_u_gauss, 1, CEED_TRANSPOSE, CEED_EVAL_GRAD, ones, grad_T_ones);
71a7bd39daSjeremylt 
72a7bd39daSjeremylt     // Check if 1' * G * u = u' * (G' * 1)
73d1d35e2fSjeremylt     CeedVectorGetArrayRead(grad_T_ones, CEED_MEM_HOST, &grad_t_ones_array);
74d1d35e2fSjeremylt     CeedVectorGetArrayRead(U_q, CEED_MEM_HOST, &u_q);
75*2b730f8bSJeremy L Thompson     for (CeedInt i = 0; i < P_dim; i++) sum_1 += grad_t_ones_array[i] * u[i];
76*2b730f8bSJeremy L Thompson     for (CeedInt i = 0; i < dim * Q_dim; i++) sum_2 += u_q[i];
77d1d35e2fSjeremylt     CeedVectorRestoreArrayRead(grad_T_ones, &grad_t_ones_array);
78d1d35e2fSjeremylt     CeedVectorRestoreArrayRead(U_q, &u_q);
7980a9ef05SNatalie Beams     CeedScalar tol = GetTolerance(CEED_SCALAR_TYPE, dim);
80*2b730f8bSJeremy L Thompson     if (fabs(sum_1 - sum_2) > tol) printf("[%" CeedInt_FMT "] %f != %f\n", dim, sum_1, sum_2);
81a7bd39daSjeremylt 
82a7bd39daSjeremylt     CeedVectorDestroy(&X);
83d1d35e2fSjeremylt     CeedVectorDestroy(&X_q);
84a7bd39daSjeremylt     CeedVectorDestroy(&U);
85d1d35e2fSjeremylt     CeedVectorDestroy(&U_q);
86d1d35e2fSjeremylt     CeedVectorDestroy(&ones);
87d1d35e2fSjeremylt     CeedVectorDestroy(&grad_T_ones);
88d1d35e2fSjeremylt     CeedBasisDestroy(&basis_x_lobatto);
89d1d35e2fSjeremylt     CeedBasisDestroy(&basis_u_gauss);
90a7bd39daSjeremylt   }
91a7bd39daSjeremylt   CeedDestroy(&ceed);
92a7bd39daSjeremylt   return 0;
93a7bd39daSjeremylt }
94