xref: /libCEED/tests/t315-basis.c (revision d1d35e2f02dc969aee8debf3fd943dd784aa847a)
152bfb9bbSJeremy L Thompson /// @file
252bfb9bbSJeremy L Thompson /// Test collocated grad in multiple dimensions
352bfb9bbSJeremy L Thompson /// \test Test collocated grad in multiple dimensions
452bfb9bbSJeremy L Thompson #include <ceed.h>
552bfb9bbSJeremy L Thompson #include <math.h>
652bfb9bbSJeremy L Thompson 
752bfb9bbSJeremy L Thompson static CeedScalar Eval(CeedInt dim, const CeedScalar x[]) {
852bfb9bbSJeremy L Thompson   CeedScalar result = tanh(x[0] + 0.1);
952bfb9bbSJeremy L Thompson   if (dim > 1) result += atan(x[1] + 0.2);
1052bfb9bbSJeremy L Thompson   if (dim > 2) result += exp(-(x[2] + 0.3)*(x[2] + 0.3));
1152bfb9bbSJeremy L Thompson   return result;
1252bfb9bbSJeremy L Thompson }
1352bfb9bbSJeremy L Thompson 
1452bfb9bbSJeremy L Thompson int main(int argc, char **argv) {
1552bfb9bbSJeremy L Thompson   Ceed ceed;
1652bfb9bbSJeremy L Thompson 
1752bfb9bbSJeremy L Thompson   CeedInit(argv[1], &ceed);
1852bfb9bbSJeremy L Thompson 
1952bfb9bbSJeremy L Thompson   for (CeedInt dim=1; dim<=3; dim++) {
20*d1d35e2fSjeremylt     CeedVector X, X_q, U, U_q, ones, grad_T_ones;
21*d1d35e2fSjeremylt     CeedBasis basis_x_lobatto, basis_u_gauss;
22*d1d35e2fSjeremylt     CeedInt P = 8, Q = 8, P_dim = CeedIntPow(P, dim), Qdim_ = CeedIntPow(Q, dim),
23*d1d35e2fSjeremylt             X_dim = CeedIntPow(2, dim);
24*d1d35e2fSjeremylt     CeedScalar x[X_dim*dim], u[P_dim];
25*d1d35e2fSjeremylt     const CeedScalar *x_q, *u_q, *grad_t_ones_array;
26*d1d35e2fSjeremylt     CeedScalar sum_1 = 0, sum_2 = 0;
2752bfb9bbSJeremy L Thompson 
2852bfb9bbSJeremy L Thompson     for (CeedInt d=0; d<dim; d++)
29*d1d35e2fSjeremylt       for (CeedInt i=0; i<X_dim; i++)
30*d1d35e2fSjeremylt         x[d*X_dim + i] = (i % CeedIntPow(2, dim-d)) /
3152bfb9bbSJeremy L Thompson                          CeedIntPow(2, dim-d-1) ? 1 : -1;
3252bfb9bbSJeremy L Thompson 
33*d1d35e2fSjeremylt     CeedVectorCreate(ceed, X_dim*dim, &X);
3452bfb9bbSJeremy L Thompson     CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
35*d1d35e2fSjeremylt     CeedVectorCreate(ceed, P_dim*dim, &X_q);
36*d1d35e2fSjeremylt     CeedVectorSetValue(X_q, 0);
37*d1d35e2fSjeremylt     CeedVectorCreate(ceed, P_dim, &U);
38*d1d35e2fSjeremylt     CeedVectorCreate(ceed, Qdim_*dim, &U_q);
39*d1d35e2fSjeremylt     CeedVectorSetValue(U_q, 0);
40*d1d35e2fSjeremylt     CeedVectorCreate(ceed, Qdim_*dim, &ones);
41*d1d35e2fSjeremylt     CeedVectorSetValue(ones, 1);
42*d1d35e2fSjeremylt     CeedVectorCreate(ceed, P_dim, &grad_T_ones);
43*d1d35e2fSjeremylt     CeedVectorSetValue(grad_T_ones, 0);
4452bfb9bbSJeremy L Thompson 
4552bfb9bbSJeremy L Thompson     // Get function values at quadrature points
4652bfb9bbSJeremy L Thompson     CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, 2, P,
47*d1d35e2fSjeremylt                                     CEED_GAUSS_LOBATTO, &basis_x_lobatto);
48*d1d35e2fSjeremylt     CeedBasisApply(basis_x_lobatto, 1, CEED_NOTRANSPOSE, CEED_EVAL_INTERP, X, X_q);
4952bfb9bbSJeremy L Thompson 
50*d1d35e2fSjeremylt     CeedVectorGetArrayRead(X_q, CEED_MEM_HOST, &x_q);
51*d1d35e2fSjeremylt     for (CeedInt i=0; i<P_dim; i++) {
5252bfb9bbSJeremy L Thompson       CeedScalar xx[dim];
5352bfb9bbSJeremy L Thompson       for (CeedInt d=0; d<dim; d++)
54*d1d35e2fSjeremylt         xx[d] = x_q[d*P_dim + i];
5552bfb9bbSJeremy L Thompson       u[i] = Eval(dim, xx);
5652bfb9bbSJeremy L Thompson     }
57*d1d35e2fSjeremylt     CeedVectorRestoreArrayRead(X_q, &x_q);
5852bfb9bbSJeremy L Thompson     CeedVectorSetArray(U, CEED_MEM_HOST, CEED_USE_POINTER, u);
5952bfb9bbSJeremy L Thompson 
6052bfb9bbSJeremy L Thompson     // Calculate G u at quadrature points, G' * 1 at dofs
6152bfb9bbSJeremy L Thompson     CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P, Q,
62*d1d35e2fSjeremylt                                     CEED_GAUSS_LOBATTO, &basis_u_gauss);
63*d1d35e2fSjeremylt     CeedBasisApply(basis_u_gauss, 1, CEED_NOTRANSPOSE, CEED_EVAL_GRAD, U, U_q);
64*d1d35e2fSjeremylt     CeedBasisApply(basis_u_gauss, 1, CEED_TRANSPOSE, CEED_EVAL_GRAD, ones,
65*d1d35e2fSjeremylt                    grad_T_ones);
6652bfb9bbSJeremy L Thompson 
6752bfb9bbSJeremy L Thompson     // Check if 1' * G * u = u' * (G' * 1)
68*d1d35e2fSjeremylt     CeedVectorGetArrayRead(grad_T_ones, CEED_MEM_HOST, &grad_t_ones_array);
69*d1d35e2fSjeremylt     CeedVectorGetArrayRead(U_q, CEED_MEM_HOST, &u_q);
70*d1d35e2fSjeremylt     for (CeedInt i=0; i<P_dim; i++)
71*d1d35e2fSjeremylt       sum_1 += grad_t_ones_array[i]*u[i];
72*d1d35e2fSjeremylt     for (CeedInt i=0; i<dim*Qdim_; i++)
73*d1d35e2fSjeremylt       sum_2 += u_q[i];
74*d1d35e2fSjeremylt     CeedVectorRestoreArrayRead(grad_T_ones, &grad_t_ones_array);
75*d1d35e2fSjeremylt     CeedVectorRestoreArrayRead(U_q, &u_q);
76*d1d35e2fSjeremylt     if (fabs(sum_1 - sum_2) > 1e-10)
77c042f62fSJeremy L Thompson       // LCOV_EXCL_START
78*d1d35e2fSjeremylt       printf("[%d] %f != %f\n", dim, sum_1, sum_2);
79c042f62fSJeremy L Thompson     // LCOV_EXCL_STOP
8052bfb9bbSJeremy L Thompson 
8152bfb9bbSJeremy L Thompson     CeedVectorDestroy(&X);
82*d1d35e2fSjeremylt     CeedVectorDestroy(&X_q);
8352bfb9bbSJeremy L Thompson     CeedVectorDestroy(&U);
84*d1d35e2fSjeremylt     CeedVectorDestroy(&U_q);
85*d1d35e2fSjeremylt     CeedVectorDestroy(&ones);
86*d1d35e2fSjeremylt     CeedVectorDestroy(&grad_T_ones);
87*d1d35e2fSjeremylt     CeedBasisDestroy(&basis_x_lobatto);
88*d1d35e2fSjeremylt     CeedBasisDestroy(&basis_u_gauss);
8952bfb9bbSJeremy L Thompson   }
9052bfb9bbSJeremy L Thompson   CeedDestroy(&ceed);
9152bfb9bbSJeremy L Thompson   return 0;
9252bfb9bbSJeremy L Thompson }
93