xref: /libCEED/tests/t553-operator.c (revision 4fee36f0a30516a0b5ad51bf7eb3b32d83efd623)
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 <math.h>
62b730f8bSJeremy L Thompson #include <stdlib.h>
7d99fa3c5SJeremy L Thompson 
8d99fa3c5SJeremy L Thompson int main(int argc, char **argv) {
9d99fa3c5SJeremy L Thompson   Ceed                ceed;
10*4fee36f0SJeremy L Thompson   CeedElemRestriction elem_restriction_x, elem_restriction_q_data, elem_restriction_u_coarse, elem_restriction_u_fine;
11d1d35e2fSjeremylt   CeedBasis           basis_x, basis_u;
12d99fa3c5SJeremy L Thompson   CeedQFunction       qf_setup, qf_mass;
13*4fee36f0SJeremy L Thompson   CeedOperator        op_setup, op_mass_coarse, op_mass_fine, op_prolong, op_restrict;
14*4fee36f0SJeremy L Thompson   CeedVector          q_data, x, u_coarse, u_fine, v_coarse, v_fine, p_mult_fine;
15*4fee36f0SJeremy L Thompson   CeedInt             num_elem = 15, p_coarse = 3, p_fine = 5, q = 8;
16*4fee36f0SJeremy L Thompson   CeedInt             num_dofs_x = num_elem + 1, num_dofs_u_coarse = num_elem * (p_coarse - 1) + 1, num_dofs_u_fine = num_elem * (p_fine - 1) + 1;
17*4fee36f0SJeremy L Thompson   CeedInt             ind_u_coarse[num_elem * p_coarse], ind_u_fine[num_elem * p_fine], ind_x[num_elem * 2];
18d99fa3c5SJeremy L Thompson 
19d99fa3c5SJeremy L Thompson   CeedInit(argv[1], &ceed);
20d99fa3c5SJeremy L Thompson 
21*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_x, &x);
22*4fee36f0SJeremy L Thompson   {
23*4fee36f0SJeremy L Thompson     CeedScalar x_array[num_dofs_x];
24*4fee36f0SJeremy L Thompson 
25*4fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_x; i++) x_array[i] = (CeedScalar)i / (num_dofs_x - 1);
26*4fee36f0SJeremy L Thompson     CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
27*4fee36f0SJeremy L Thompson   }
28*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_fine, &p_mult_fine);
29*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_coarse, &u_coarse);
30*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_coarse, &v_coarse);
31*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_fine, &u_fine);
32*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_fine, &v_fine);
33*4fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_elem * q, &q_data);
34*4fee36f0SJeremy L Thompson 
35*4fee36f0SJeremy L Thompson   // Restrictions
36d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
37d1d35e2fSjeremylt     ind_x[2 * i + 0] = i;
38d1d35e2fSjeremylt     ind_x[2 * i + 1] = i + 1;
39d99fa3c5SJeremy L Thompson   }
40*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, 2, 1, 1, num_dofs_x, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
41d99fa3c5SJeremy L Thompson 
42d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
43*4fee36f0SJeremy L Thompson     for (CeedInt j = 0; j < p_coarse; j++) {
44*4fee36f0SJeremy L Thompson       ind_u_coarse[p_coarse * i + j] = i * (p_coarse - 1) + j;
45d99fa3c5SJeremy L Thompson     }
46d99fa3c5SJeremy L Thompson   }
47*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p_coarse, 1, 1, num_dofs_u_coarse, CEED_MEM_HOST, CEED_USE_POINTER, ind_u_coarse,
48*4fee36f0SJeremy L Thompson                             &elem_restriction_u_coarse);
49d99fa3c5SJeremy L Thompson 
50d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
51*4fee36f0SJeremy L Thompson     for (CeedInt j = 0; j < p_fine; j++) {
52*4fee36f0SJeremy L Thompson       ind_u_fine[p_fine * i + j] = i * (p_fine - 1) + j;
53d99fa3c5SJeremy L Thompson     }
54d99fa3c5SJeremy L Thompson   }
55*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p_fine, 1, 1, num_dofs_u_fine, CEED_MEM_HOST, CEED_USE_POINTER, ind_u_fine, &elem_restriction_u_fine);
56d99fa3c5SJeremy L Thompson 
57*4fee36f0SJeremy L Thompson   CeedInt strides_q_data[3] = {1, q, q};
58*4fee36f0SJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, num_elem, q, 1, q * num_elem, strides_q_data, &elem_restriction_q_data);
59d99fa3c5SJeremy L Thompson 
60d99fa3c5SJeremy L Thompson   // Bases
61*4fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, 2, q, CEED_GAUSS, &basis_x);
62*4fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, p_fine, q, CEED_GAUSS, &basis_u);
63d99fa3c5SJeremy L Thompson 
64d99fa3c5SJeremy L Thompson   // QFunctions
65d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInteriorByName(ceed, "Mass1DBuild", &qf_setup);
66d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInteriorByName(ceed, "MassApply", &qf_mass);
67d99fa3c5SJeremy L Thompson 
68d99fa3c5SJeremy L Thompson   // Operators
692b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
70d99fa3c5SJeremy L Thompson 
712b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup, "weights", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
72*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_setup, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
73*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_setup, "qdata", elem_restriction_q_data, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
74d99fa3c5SJeremy L Thompson 
75*4fee36f0SJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass_fine);
76*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "qdata", elem_restriction_q_data, CEED_BASIS_COLLOCATED, q_data);
77*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "u", elem_restriction_u_fine, basis_u, CEED_VECTOR_ACTIVE);
78*4fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "v", elem_restriction_u_fine, basis_u, CEED_VECTOR_ACTIVE);
79d99fa3c5SJeremy L Thompson 
80*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_setup, x, q_data, CEED_REQUEST_IMMEDIATE);
81d99fa3c5SJeremy L Thompson 
82d99fa3c5SJeremy L Thompson   // Create multigrid level
83*4fee36f0SJeremy L Thompson   CeedVectorSetValue(p_mult_fine, 1.0);
84*4fee36f0SJeremy L Thompson   CeedBasis basis_u_coarse, basis_coarse_to_fine;
85*4fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, p_coarse, q, CEED_GAUSS, &basis_u_coarse);
86*4fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, p_coarse, p_fine, CEED_GAUSS_LOBATTO, &basis_coarse_to_fine);
87*4fee36f0SJeremy L Thompson   const CeedScalar *interp_coarse_to_fine;
88*4fee36f0SJeremy L Thompson   CeedBasisGetInterp1D(basis_coarse_to_fine, &interp_coarse_to_fine);
89*4fee36f0SJeremy L Thompson   CeedOperatorMultigridLevelCreateH1(op_mass_fine, p_mult_fine, elem_restriction_u_coarse, basis_u_coarse, interp_coarse_to_fine, &op_mass_coarse,
90*4fee36f0SJeremy L Thompson                                      &op_prolong, &op_restrict);
91d99fa3c5SJeremy L Thompson 
92d99fa3c5SJeremy L Thompson   // Coarse problem
93*4fee36f0SJeremy L Thompson   CeedVectorSetValue(u_coarse, 1.0);
94*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_mass_coarse, u_coarse, v_coarse, CEED_REQUEST_IMMEDIATE);
95d99fa3c5SJeremy L Thompson 
96d99fa3c5SJeremy L Thompson   // Check output
97*4fee36f0SJeremy L Thompson   {
98*4fee36f0SJeremy L Thompson     const CeedScalar *v_array;
99*4fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
100*4fee36f0SJeremy L Thompson 
101*4fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_coarse, CEED_MEM_HOST, &v_array);
102*4fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_u_coarse; i++) {
103*4fee36f0SJeremy L Thompson       sum += v_array[i];
104d99fa3c5SJeremy L Thompson     }
105*4fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_coarse, &v_array);
1062b730f8bSJeremy L Thompson     if (fabs(sum - 1.) > 1000. * CEED_EPSILON) printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
107*4fee36f0SJeremy L Thompson   }
108d99fa3c5SJeremy L Thompson 
109d99fa3c5SJeremy L Thompson   // Prolong coarse u
110*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_prolong, u_coarse, u_fine, CEED_REQUEST_IMMEDIATE);
111d99fa3c5SJeremy L Thompson 
112d99fa3c5SJeremy L Thompson   // Fine problem
113*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_mass_fine, u_fine, v_fine, CEED_REQUEST_IMMEDIATE);
114d99fa3c5SJeremy L Thompson 
115d99fa3c5SJeremy L Thompson   // Check output
116*4fee36f0SJeremy L Thompson   {
117*4fee36f0SJeremy L Thompson     const CeedScalar *v_array;
118*4fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
119*4fee36f0SJeremy L Thompson 
120*4fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_fine, CEED_MEM_HOST, &v_array);
121*4fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_u_fine; i++) {
122*4fee36f0SJeremy L Thompson       sum += v_array[i];
123d99fa3c5SJeremy L Thompson     }
124*4fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_fine, &v_array);
1252b730f8bSJeremy L Thompson     if (fabs(sum - 1.) > 1000. * CEED_EPSILON) printf("Computed Area Fine Grid: %f != True Area: 1.0\n", sum);
126*4fee36f0SJeremy L Thompson   }
127d99fa3c5SJeremy L Thompson 
128d99fa3c5SJeremy L Thompson   // Restrict state to coarse grid
129*4fee36f0SJeremy L Thompson   CeedOperatorApply(op_restrict, v_fine, v_coarse, CEED_REQUEST_IMMEDIATE);
130d99fa3c5SJeremy L Thompson 
131d99fa3c5SJeremy L Thompson   // Check output
132*4fee36f0SJeremy L Thompson   {
133*4fee36f0SJeremy L Thompson     const CeedScalar *v_array;
134*4fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
135*4fee36f0SJeremy L Thompson 
136*4fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_coarse, CEED_MEM_HOST, &v_array);
137*4fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_u_coarse; i++) {
138*4fee36f0SJeremy L Thompson       sum += v_array[i];
139d99fa3c5SJeremy L Thompson     }
140*4fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_coarse, &v_array);
1412b730f8bSJeremy L Thompson     if (fabs(sum - 1.) > 1000. * CEED_EPSILON) printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
142*4fee36f0SJeremy L Thompson   }
143d99fa3c5SJeremy L Thompson 
144d99fa3c5SJeremy L Thompson   // Cleanup
145*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&x);
146*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&u_coarse);
147*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&u_fine);
148*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&v_coarse);
149*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&v_fine);
150*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&p_mult_fine);
151*4fee36f0SJeremy L Thompson   CeedVectorDestroy(&q_data);
152*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_u_coarse);
153*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_u_fine);
154*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_x);
155*4fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_q_data);
156*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_u);
157*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_u_coarse);
158*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_coarse_to_fine);
159*4fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_x);
160d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
161d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
162d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
163*4fee36f0SJeremy L Thompson   CeedOperatorDestroy(&op_mass_coarse);
164*4fee36f0SJeremy L Thompson   CeedOperatorDestroy(&op_mass_fine);
165d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_prolong);
166d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_restrict);
167d99fa3c5SJeremy L Thompson   CeedDestroy(&ceed);
168d99fa3c5SJeremy L Thompson   return 0;
169d99fa3c5SJeremy L Thompson }
170