xref: /libCEED/tests/t553-operator.c (revision d1d35e2f02dc969aee8debf3fd943dd784aa847a)
1d99fa3c5SJeremy L Thompson /// @file
2d99fa3c5SJeremy L Thompson /// Test creation, action, and destruction for mass matrix operator with multigrid level, nontensor basis
3d99fa3c5SJeremy L Thompson /// \test Test creation, action, and destruction for mass matrix operator with multigrid level, nontensor basis
4d99fa3c5SJeremy L Thompson #include <ceed.h>
5d99fa3c5SJeremy L Thompson #include <stdlib.h>
6d99fa3c5SJeremy L Thompson #include <math.h>
7d99fa3c5SJeremy L Thompson 
8d99fa3c5SJeremy L Thompson int main(int argc, char **argv) {
9d99fa3c5SJeremy L Thompson   Ceed ceed;
10*d1d35e2fSjeremylt   CeedElemRestriction elem_restr_x, elem_restr_qd,
11*d1d35e2fSjeremylt                       elem_restr_u_c, elem_restr_u_f;
12*d1d35e2fSjeremylt   CeedBasis basis_x, basis_u;
13d99fa3c5SJeremy L Thompson   CeedQFunction qf_setup, qf_mass;
14*d1d35e2fSjeremylt   CeedOperator op_setup, op_mass_c, op_mass_f,
15d99fa3c5SJeremy L Thompson                op_prolong, op_restrict;
16*d1d35e2fSjeremylt   CeedVector q_data, X, U_c, U_f,
17*d1d35e2fSjeremylt              V_c, V_f, p_mult_f;
18d99fa3c5SJeremy L Thompson   const CeedScalar *hv;
19*d1d35e2fSjeremylt   CeedInt num_elem = 15, P_c = 3, P_f = 5, Q = 8;
20*d1d35e2fSjeremylt   CeedInt num_dofs_x = num_elem+1, num_dofs_u_c = num_elem*(P_c-1)+1,
21*d1d35e2fSjeremylt           num_dofs_u_f = num_elem*(P_f-1)+1;
22*d1d35e2fSjeremylt   CeedInt ind_u_c[num_elem*P_c], ind_u_f[num_elem*P_f],
23*d1d35e2fSjeremylt           ind_x[num_elem*2];
24*d1d35e2fSjeremylt   CeedScalar x[num_dofs_x];
25d99fa3c5SJeremy L Thompson   CeedScalar sum;
26d99fa3c5SJeremy L Thompson 
27d99fa3c5SJeremy L Thompson   CeedInit(argv[1], &ceed);
28d99fa3c5SJeremy L Thompson 
29*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs_x; i++)
30*d1d35e2fSjeremylt     x[i] = (CeedScalar) i / (num_dofs_x - 1);
31*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem; i++) {
32*d1d35e2fSjeremylt     ind_x[2*i+0] = i;
33*d1d35e2fSjeremylt     ind_x[2*i+1] = i+1;
34d99fa3c5SJeremy L Thompson   }
35d99fa3c5SJeremy L Thompson   // Restrictions
36*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, 2, 1, 1, num_dofs_x, CEED_MEM_HOST,
37*d1d35e2fSjeremylt                             CEED_USE_POINTER, ind_x, &elem_restr_x);
38d99fa3c5SJeremy L Thompson 
39*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem; i++) {
40*d1d35e2fSjeremylt     for (CeedInt j=0; j<P_c; j++) {
41*d1d35e2fSjeremylt       ind_u_c[P_c*i+j] = i*(P_c-1) + j;
42d99fa3c5SJeremy L Thompson     }
43d99fa3c5SJeremy L Thompson   }
44*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P_c, 1, 1, num_dofs_u_c,
45*d1d35e2fSjeremylt                             CEED_MEM_HOST,
46*d1d35e2fSjeremylt                             CEED_USE_POINTER, ind_u_c, &elem_restr_u_c);
47d99fa3c5SJeremy L Thompson 
48*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem; i++) {
49*d1d35e2fSjeremylt     for (CeedInt j=0; j<P_f; j++) {
50*d1d35e2fSjeremylt       ind_u_f[P_f*i+j] = i*(P_f-1) + j;
51d99fa3c5SJeremy L Thompson     }
52d99fa3c5SJeremy L Thompson   }
53*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P_f, 1, 1, num_dofs_u_f,
54*d1d35e2fSjeremylt                             CEED_MEM_HOST,
55*d1d35e2fSjeremylt                             CEED_USE_POINTER, ind_u_f, &elem_restr_u_f);
56d99fa3c5SJeremy L Thompson 
57*d1d35e2fSjeremylt   CeedInt strides_qd[3] = {1, Q, Q};
58*d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, num_elem, Q, 1, Q*num_elem, strides_qd,
59*d1d35e2fSjeremylt                                    &elem_restr_qd);
60d99fa3c5SJeremy L Thompson 
61d99fa3c5SJeremy L Thompson   // Bases
62*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, 2, Q, CEED_GAUSS, &basis_x);
63*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, P_f, Q, CEED_GAUSS, &basis_u);
64d99fa3c5SJeremy L Thompson 
65d99fa3c5SJeremy L Thompson   // QFunctions
66d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInteriorByName(ceed, "Mass1DBuild", &qf_setup);
67d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInteriorByName(ceed, "MassApply", &qf_mass);
68d99fa3c5SJeremy L Thompson 
69d99fa3c5SJeremy L Thompson   // Operators
70d99fa3c5SJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
71d99fa3c5SJeremy L Thompson                      &op_setup);
72d99fa3c5SJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
73*d1d35e2fSjeremylt                      &op_mass_f);
74d99fa3c5SJeremy L Thompson 
75*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs_x, &X);
76d99fa3c5SJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
77*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_elem*Q, &q_data);
78d99fa3c5SJeremy L Thompson 
79*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "weights", CEED_ELEMRESTRICTION_NONE, basis_x,
80d99fa3c5SJeremy L Thompson                        CEED_VECTOR_NONE);
81*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE);
82*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "qdata", elem_restr_qd, CEED_BASIS_COLLOCATED,
83d99fa3c5SJeremy L Thompson                        CEED_VECTOR_ACTIVE);
84d99fa3c5SJeremy L Thompson 
85*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "qdata", elem_restr_qd, CEED_BASIS_COLLOCATED,
86*d1d35e2fSjeremylt                        q_data);
87*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "u", elem_restr_u_f, basis_u,
88*d1d35e2fSjeremylt                        CEED_VECTOR_ACTIVE);
89*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "v", elem_restr_u_f, basis_u,
90*d1d35e2fSjeremylt                        CEED_VECTOR_ACTIVE);
91d99fa3c5SJeremy L Thompson 
92*d1d35e2fSjeremylt   CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE);
93d99fa3c5SJeremy L Thompson 
94d99fa3c5SJeremy L Thompson   // Create multigrid level
95*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs_u_f, &p_mult_f);
96*d1d35e2fSjeremylt   CeedVectorSetValue(p_mult_f, 1.0);
97*d1d35e2fSjeremylt   CeedBasis basis_u_c, basis_c_to_f;
98*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, P_c, Q, CEED_GAUSS, &basis_u_c);
99*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, P_c, P_f, CEED_GAUSS_LOBATTO,
100*d1d35e2fSjeremylt                                   &basis_c_to_f);
101*d1d35e2fSjeremylt   const CeedScalar *interp_c_to_f;
102*d1d35e2fSjeremylt   CeedBasisGetInterp1D(basis_c_to_f, &interp_c_to_f);
103*d1d35e2fSjeremylt   CeedOperatorMultigridLevelCreateH1(op_mass_f, p_mult_f, elem_restr_u_c,
104*d1d35e2fSjeremylt                                      basis_u_c, interp_c_to_f, &op_mass_c,
105d99fa3c5SJeremy L Thompson                                      &op_prolong, &op_restrict);
106d99fa3c5SJeremy L Thompson 
107d99fa3c5SJeremy L Thompson   // Coarse problem
108*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs_u_c, &U_c);
109*d1d35e2fSjeremylt   CeedVectorSetValue(U_c, 1.0);
110*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs_u_c, &V_c);
111*d1d35e2fSjeremylt   CeedOperatorApply(op_mass_c, U_c, V_c, CEED_REQUEST_IMMEDIATE);
112d99fa3c5SJeremy L Thompson 
113d99fa3c5SJeremy L Thompson   // Check output
114*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_c, CEED_MEM_HOST, &hv);
115d99fa3c5SJeremy L Thompson   sum = 0.;
116*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs_u_c; i++) {
117d99fa3c5SJeremy L Thompson     sum += hv[i];
118d99fa3c5SJeremy L Thompson   }
119d99fa3c5SJeremy L Thompson   if (fabs(sum-1.)>1e-10)
120d99fa3c5SJeremy L Thompson     // LCOV_EXCL_START
121d99fa3c5SJeremy L Thompson     printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
122d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
123*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_c, &hv);
124d99fa3c5SJeremy L Thompson 
125d99fa3c5SJeremy L Thompson   // Prolong coarse u
126*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs_u_f, &U_f);
127*d1d35e2fSjeremylt   CeedOperatorApply(op_prolong, U_c, U_f, CEED_REQUEST_IMMEDIATE);
128d99fa3c5SJeremy L Thompson 
129d99fa3c5SJeremy L Thompson   // Fine problem
130*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs_u_f, &V_f);
131*d1d35e2fSjeremylt   CeedOperatorApply(op_mass_f, U_f, V_f, CEED_REQUEST_IMMEDIATE);
132d99fa3c5SJeremy L Thompson 
133d99fa3c5SJeremy L Thompson   // Check output
134*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_f, CEED_MEM_HOST, &hv);
135d99fa3c5SJeremy L Thompson   sum = 0.;
136*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs_u_f; i++) {
137d99fa3c5SJeremy L Thompson     sum += hv[i];
138d99fa3c5SJeremy L Thompson   }
139d99fa3c5SJeremy L Thompson   if (fabs(sum-1.)>1e-10)
140d99fa3c5SJeremy L Thompson     // LCOV_EXCL_START
141d99fa3c5SJeremy L Thompson     printf("Computed Area Fine Grid: %f != True Area: 1.0\n", sum);
142d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
143*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_f, &hv);
144d99fa3c5SJeremy L Thompson 
145d99fa3c5SJeremy L Thompson   // Restrict state to coarse grid
146*d1d35e2fSjeremylt   CeedOperatorApply(op_restrict, V_f, V_c, CEED_REQUEST_IMMEDIATE);
147d99fa3c5SJeremy L Thompson 
148d99fa3c5SJeremy L Thompson   // Check output
149*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_c, CEED_MEM_HOST, &hv);
150d99fa3c5SJeremy L Thompson   sum = 0.;
151*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs_u_c; i++) {
152d99fa3c5SJeremy L Thompson     sum += hv[i];
153d99fa3c5SJeremy L Thompson   }
154d99fa3c5SJeremy L Thompson   if (fabs(sum-1.)>1e-10)
155d99fa3c5SJeremy L Thompson     // LCOV_EXCL_START
156d99fa3c5SJeremy L Thompson     printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
157d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
158*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_c, &hv);
159d99fa3c5SJeremy L Thompson 
160d99fa3c5SJeremy L Thompson   // Cleanup
161d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
162d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
163d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
164*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_c);
165*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_f);
166d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_prolong);
167d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_restrict);
168*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_c);
169*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_f);
170*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x);
171*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd);
172*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u);
173*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_c);
174*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_c_to_f);
175*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x);
176d99fa3c5SJeremy L Thompson   CeedVectorDestroy(&X);
177*d1d35e2fSjeremylt   CeedVectorDestroy(&U_c);
178*d1d35e2fSjeremylt   CeedVectorDestroy(&U_f);
179*d1d35e2fSjeremylt   CeedVectorDestroy(&V_c);
180*d1d35e2fSjeremylt   CeedVectorDestroy(&V_f);
181*d1d35e2fSjeremylt   CeedVectorDestroy(&p_mult_f);
182*d1d35e2fSjeremylt   CeedVectorDestroy(&q_data);
183d99fa3c5SJeremy L Thompson   CeedDestroy(&ceed);
184d99fa3c5SJeremy L Thompson   return 0;
185d99fa3c5SJeremy L Thompson }
186