xref: /libCEED/tests/t551-operator.c (revision 4fee36f0a30516a0b5ad51bf7eb3b32d83efd623)
1d99fa3c5SJeremy L Thompson /// @file
2d99fa3c5SJeremy L Thompson /// Test creation, action, and destruction for mass matrix operator with multigrid level, non-tensor basis and interpolation basis generation
3d99fa3c5SJeremy L Thompson /// \test Test creation, action, and destruction for mass matrix operator with multigrid level, non-tensor basis and interpolation basis generation
4d99fa3c5SJeremy L Thompson #include <ceed.h>
5d99fa3c5SJeremy L Thompson #include <math.h>
62b730f8bSJeremy L Thompson #include <stdlib.h>
7d99fa3c5SJeremy L Thompson 
8d99fa3c5SJeremy L Thompson #include "t502-operator.h"
9d99fa3c5SJeremy L Thompson 
10d99fa3c5SJeremy L Thompson int main(int argc, char **argv) {
11d99fa3c5SJeremy L Thompson   Ceed                ceed;
12*4fee36f0SJeremy L Thompson   CeedElemRestriction elem_restriction_x, elem_restriction_q_data, elem_restriction_u_coarse, elem_restriction_u_fine;
13*4fee36f0SJeremy L Thompson   CeedBasis           basis_x, basis_coarse, basis_fine;
14d99fa3c5SJeremy L Thompson   CeedQFunction       qf_setup, qf_mass;
15*4fee36f0SJeremy L Thompson   CeedOperator        op_setup, op_mass_coarse, op_mass_fine, op_prolong, op_restrict;
16*4fee36f0SJeremy L Thompson   CeedVector          q_data, x, u_coarse, u_fine, v_coarse, v_fine, p_mult_fine;
17*4fee36f0SJeremy L Thompson   CeedInt             num_elem = 15, p_coarse = 3, p_fine = 5, q = 8, num_comp = 2;
18*4fee36f0SJeremy L Thompson   CeedInt             num_dofs_x = num_elem + 1, num_dofs_u_c = num_elem * (p_coarse - 1) + 1, num_dofs_u_f = num_elem * (p_fine - 1) + 1;
19*4fee36f0SJeremy L Thompson   CeedInt             ind_u_coarse[num_elem * p_coarse], ind_u_fine[num_elem * p_fine], ind_x[num_elem * 2];
20d99fa3c5SJeremy L Thompson 
21d99fa3c5SJeremy L Thompson   CeedInit(argv[1], &ceed);
22d99fa3c5SJeremy L Thompson 
23*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_x, &x);
24*4fee36f0SJeremy L Thompson   {
25*4fee36f0SJeremy L Thompson     CeedScalar x_array[num_dofs_x];
26*4fee36f0SJeremy L Thompson 
27*4fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_x; i++) x_array[i] = (CeedScalar)i / (num_dofs_x - 1);
28*4fee36f0SJeremy L Thompson     CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
29*4fee36f0SJeremy L Thompson   }
30*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_comp * num_dofs_u_f, &p_mult_fine);
31*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_comp * num_dofs_u_c, &u_coarse);
32*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_comp * num_dofs_u_f, &u_fine);
33*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_comp * num_dofs_u_c, &v_coarse);
34*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_comp * num_dofs_u_f, &v_fine);
35*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_elem * q, &q_data);
36*4fee36f0SJeremy L Thompson 
37*4fee36f0SJeremy L Thompson   // Restrictions
38d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
39d1d35e2fSjeremylt     ind_x[2 * i + 0] = i;
40d1d35e2fSjeremylt     ind_x[2 * i + 1] = i + 1;
41d99fa3c5SJeremy L Thompson   }
42*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, 2, 1, 1, num_dofs_x, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
43d99fa3c5SJeremy L Thompson 
44d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
45*4fee36f0SJeremy L Thompson     for (CeedInt j = 0; j < p_coarse; j++) {
46*4fee36f0SJeremy L Thompson       ind_u_coarse[p_coarse * i + j] = i * (p_coarse - 1) + j;
47d99fa3c5SJeremy L Thompson     }
48d99fa3c5SJeremy L Thompson   }
49*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p_coarse, num_comp, num_dofs_u_c, num_comp * num_dofs_u_c, CEED_MEM_HOST, CEED_USE_POINTER, ind_u_coarse,
50*4fee36f0SJeremy L Thompson                             &elem_restriction_u_coarse);
51d99fa3c5SJeremy L Thompson 
52d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
53*4fee36f0SJeremy L Thompson     for (CeedInt j = 0; j < p_fine; j++) {
54*4fee36f0SJeremy L Thompson       ind_u_fine[p_fine * i + j] = i * (p_fine - 1) + j;
55d99fa3c5SJeremy L Thompson     }
56d99fa3c5SJeremy L Thompson   }
57*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p_fine, num_comp, num_dofs_u_f, num_comp * num_dofs_u_f, CEED_MEM_HOST, CEED_USE_POINTER, ind_u_fine,
58*4fee36f0SJeremy L Thompson                             &elem_restriction_u_fine);
59d99fa3c5SJeremy L Thompson 
60*4fee36f0SJeremy L Thompson   CeedInt strides_q_data[3] = {1, q, q};
61*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, num_elem, q, 1, q * num_elem, strides_q_data, &elem_restriction_q_data);
62d99fa3c5SJeremy L Thompson 
63d99fa3c5SJeremy L Thompson   // Bases
64*4fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, 2, q, CEED_GAUSS, &basis_x);
65*4fee36f0SJeremy L Thompson   {
66*4fee36f0SJeremy L Thompson     CeedBasis basis_temporary;
67*4fee36f0SJeremy L Thompson 
68*4fee36f0SJeremy L Thompson     CeedBasisCreateTensorH1Lagrange(ceed, 1, num_comp, p_coarse, q, CEED_GAUSS, &basis_temporary);
69d1d35e2fSjeremylt     const CeedScalar *interp, *grad, *q_ref, *q_weight;
70*4fee36f0SJeremy L Thompson     CeedBasisGetInterp1D(basis_temporary, &interp);
71*4fee36f0SJeremy L Thompson     CeedBasisGetGrad1D(basis_temporary, &grad);
72*4fee36f0SJeremy L Thompson     CeedBasisGetQRef(basis_temporary, &q_ref);
73*4fee36f0SJeremy L Thompson     CeedBasisGetQWeights(basis_temporary, &q_weight);
74*4fee36f0SJeremy L Thompson     CeedBasisCreateH1(ceed, CEED_TOPOLOGY_LINE, num_comp, p_coarse, q, interp, grad, q_ref, q_weight, &basis_coarse);
75*4fee36f0SJeremy L Thompson     CeedBasisDestroy(&basis_temporary);
76*4fee36f0SJeremy L Thompson     CeedBasisCreateTensorH1Lagrange(ceed, 1, num_comp, p_fine, q, CEED_GAUSS, &basis_temporary);
77*4fee36f0SJeremy L Thompson     CeedBasisGetInterp1D(basis_temporary, &interp);
78*4fee36f0SJeremy L Thompson     CeedBasisGetGrad1D(basis_temporary, &grad);
79*4fee36f0SJeremy L Thompson     CeedBasisGetQRef(basis_temporary, &q_ref);
80*4fee36f0SJeremy L Thompson     CeedBasisGetQWeights(basis_temporary, &q_weight);
81*4fee36f0SJeremy L Thompson     CeedBasisCreateH1(ceed, CEED_TOPOLOGY_LINE, num_comp, p_fine, q, interp, grad, q_ref, q_weight, &basis_fine);
82*4fee36f0SJeremy L Thompson     CeedBasisDestroy(&basis_temporary);
83*4fee36f0SJeremy L Thompson   }
84d99fa3c5SJeremy L Thompson 
85d99fa3c5SJeremy L Thompson   // QFunctions
86d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
87a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
88d99fa3c5SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "dx", 1 * 1, CEED_EVAL_GRAD);
89d99fa3c5SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup, "q data", 1, CEED_EVAL_NONE);
90d99fa3c5SJeremy L Thompson 
91d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
92d99fa3c5SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "q data", 1, CEED_EVAL_NONE);
93d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass, "u", num_comp, CEED_EVAL_INTERP);
94d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass, "v", num_comp, CEED_EVAL_INTERP);
95d99fa3c5SJeremy L Thompson 
96d99fa3c5SJeremy L Thompson   // Operators
972b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
982b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
99*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_setup, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
100*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_setup, "q data", elem_restriction_q_data, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
101d99fa3c5SJeremy L Thompson 
102*4fee36f0SJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass_fine);
103*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "q data", elem_restriction_q_data, CEED_BASIS_COLLOCATED, q_data);
104*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "u", elem_restriction_u_fine, basis_fine, CEED_VECTOR_ACTIVE);
105*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "v", elem_restriction_u_fine, basis_fine, CEED_VECTOR_ACTIVE);
106d99fa3c5SJeremy L Thompson 
107*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_setup, x, q_data, CEED_REQUEST_IMMEDIATE);
108d99fa3c5SJeremy L Thompson 
109d99fa3c5SJeremy L Thompson   // Create multigrid level
110d1d35e2fSjeremylt   CeedVectorSetValue(p_mult_fine, 1.0);
111*4fee36f0SJeremy L Thompson   CeedOperatorMultigridLevelCreate(op_mass_fine, p_mult_fine, elem_restriction_u_coarse, basis_coarse, &op_mass_coarse, &op_prolong, &op_restrict);
112d99fa3c5SJeremy L Thompson 
113d99fa3c5SJeremy L Thompson   // Coarse problem
114*4fee36f0SJeremy L Thompson   CeedVectorSetValue(u_coarse, 1.0);
115*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_mass_coarse, u_coarse, v_coarse, CEED_REQUEST_IMMEDIATE);
116d99fa3c5SJeremy L Thompson 
117d99fa3c5SJeremy L Thompson   // Check output
118*4fee36f0SJeremy L Thompson   {
119*4fee36f0SJeremy L Thompson     const CeedScalar *v_array;
120*4fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
121*4fee36f0SJeremy L Thompson 
122*4fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_coarse, CEED_MEM_HOST, &v_array);
123d1d35e2fSjeremylt     for (CeedInt i = 0; i < num_comp * num_dofs_u_c; i++) {
124*4fee36f0SJeremy L Thompson       sum += v_array[i];
125d99fa3c5SJeremy L Thompson     }
126*4fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_coarse, &v_array);
1272b730f8bSJeremy L Thompson     if (fabs(sum - 2.) > 1000. * CEED_EPSILON) printf("Computed Area Coarse Grid: %f != True Area: 2.0\n", sum);
128*4fee36f0SJeremy L Thompson   }
129d99fa3c5SJeremy L Thompson 
130d99fa3c5SJeremy L Thompson   // Prolong coarse u
131*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_prolong, u_coarse, u_fine, CEED_REQUEST_IMMEDIATE);
132d99fa3c5SJeremy L Thompson 
133d99fa3c5SJeremy L Thompson   // Fine problem
134*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_mass_fine, u_fine, v_fine, CEED_REQUEST_IMMEDIATE);
135d99fa3c5SJeremy L Thompson 
136d99fa3c5SJeremy L Thompson   // Check output
137*4fee36f0SJeremy L Thompson   {
138*4fee36f0SJeremy L Thompson     const CeedScalar *v_array;
139*4fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
140*4fee36f0SJeremy L Thompson 
141*4fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_fine, CEED_MEM_HOST, &v_array);
142d1d35e2fSjeremylt     for (CeedInt i = 0; i < num_comp * num_dofs_u_f; i++) {
143*4fee36f0SJeremy L Thompson       sum += v_array[i];
144d99fa3c5SJeremy L Thompson     }
145*4fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_fine, &v_array);
1462b730f8bSJeremy L Thompson     if (fabs(sum - 2.) > 1000. * CEED_EPSILON) printf("Computed Area Fine Grid: %f != True Area: 2.0\n", sum);
147*4fee36f0SJeremy L Thompson   }
148d99fa3c5SJeremy L Thompson 
149d99fa3c5SJeremy L Thompson   // Restrict state to coarse grid
150*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_restrict, v_fine, v_coarse, CEED_REQUEST_IMMEDIATE);
151d99fa3c5SJeremy L Thompson 
152d99fa3c5SJeremy L Thompson   // Check output
153*4fee36f0SJeremy L Thompson   {
154*4fee36f0SJeremy L Thompson     const CeedScalar *v_array;
155*4fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
156*4fee36f0SJeremy L Thompson 
157*4fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_coarse, CEED_MEM_HOST, &v_array);
158d1d35e2fSjeremylt     for (CeedInt i = 0; i < num_comp * num_dofs_u_c; i++) {
159*4fee36f0SJeremy L Thompson       sum += v_array[i];
160d99fa3c5SJeremy L Thompson     }
161*4fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_coarse, &v_array);
1622b730f8bSJeremy L Thompson     if (fabs(sum - 2.) > 1000. * CEED_EPSILON) printf("Computed Area Coarse Grid: %f != True Area: 2.0\n", sum);
163*4fee36f0SJeremy L Thompson   }
164d99fa3c5SJeremy L Thompson 
165d99fa3c5SJeremy L Thompson   // Cleanup
166*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&x);
167*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&u_coarse);
168*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&u_fine);
169*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&v_coarse);
170*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&v_fine);
171*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&p_mult_fine);
172*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&q_data);
173*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_u_coarse);
174*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_u_fine);
175*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_x);
176*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_q_data);
177*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_coarse);
178*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_fine);
179*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_x);
180d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
181d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
182d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
183*4fee36f0SJeremy L Thompson   CeedOperatorDestroy(&op_mass_coarse);
184*4fee36f0SJeremy L Thompson   CeedOperatorDestroy(&op_mass_fine);
185d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_prolong);
186d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_restrict);
187d99fa3c5SJeremy L Thompson   CeedDestroy(&ceed);
188d99fa3c5SJeremy L Thompson   return 0;
189d99fa3c5SJeremy L Thompson }
190