xref: /libCEED/tests/t592-operator.c (revision e13f2367fe6909fff484f5bc0bdefbfcf8ffe552)
1*e13f2367SZach Atkins /// @file
2*e13f2367SZach Atkins /// Test assembly of mass matrix operator QFunction at points
3*e13f2367SZach Atkins /// \test Test assembly of mass matrix operator QFunction
4*e13f2367SZach Atkins #include <ceed.h>
5*e13f2367SZach Atkins #include <math.h>
6*e13f2367SZach Atkins #include <stdio.h>
7*e13f2367SZach Atkins #include <stdlib.h>
8*e13f2367SZach Atkins 
9*e13f2367SZach Atkins #include "t591-operator.h"
10*e13f2367SZach Atkins 
11*e13f2367SZach Atkins int main(int argc, char **argv) {
12*e13f2367SZach Atkins   Ceed    ceed;
13*e13f2367SZach Atkins   CeedInt num_elem_1d = 3, num_elem = num_elem_1d * num_elem_1d, dim = 2, p = 3, q = 5;
14*e13f2367SZach Atkins   CeedInt num_nodes = (num_elem_1d * (p - 1) + 1) * (num_elem_1d * (p - 1) + 1), num_points_per_elem = 4, num_points = num_elem * num_points_per_elem;
15*e13f2367SZach Atkins   CeedVector          x_points, x_elem, q_data, u, v, qf_assembled;
16*e13f2367SZach Atkins   CeedElemRestriction elem_restriction_x_points, elem_restriction_q_data, elem_restriction_x, elem_restriction_u, elem_restriction_assembled;
17*e13f2367SZach Atkins   CeedBasis           basis_x, basis_u;
18*e13f2367SZach Atkins   CeedQFunction       qf_setup, qf_mass;
19*e13f2367SZach Atkins   CeedOperator        op_setup, op_mass;
20*e13f2367SZach Atkins   bool                is_at_points;
21*e13f2367SZach Atkins 
22*e13f2367SZach Atkins   CeedInit(argv[1], &ceed);
23*e13f2367SZach Atkins 
24*e13f2367SZach Atkins   // Point reference coordinates
25*e13f2367SZach Atkins   CeedVectorCreate(ceed, dim * num_points, &x_points);
26*e13f2367SZach Atkins   {
27*e13f2367SZach Atkins     CeedScalar x_array[dim * num_points];
28*e13f2367SZach Atkins 
29*e13f2367SZach Atkins     for (CeedInt e = 0; e < num_elem; e++) {
30*e13f2367SZach Atkins       for (CeedInt d = 0; d < dim; d++) {
31*e13f2367SZach Atkins         x_array[num_points_per_elem * (e * dim + d) + 0] = 0.25;
32*e13f2367SZach Atkins         x_array[num_points_per_elem * (e * dim + d) + 1] = d == 0 ? -0.25 : 0.25;
33*e13f2367SZach Atkins         x_array[num_points_per_elem * (e * dim + d) + 2] = d == 0 ? 0.25 : -0.25;
34*e13f2367SZach Atkins         x_array[num_points_per_elem * (e * dim + d) + 3] = 0.25;
35*e13f2367SZach Atkins       }
36*e13f2367SZach Atkins     }
37*e13f2367SZach Atkins     CeedVectorSetArray(x_points, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
38*e13f2367SZach Atkins   }
39*e13f2367SZach Atkins   {
40*e13f2367SZach Atkins     CeedInt ind_x[num_elem + 1 + num_points];
41*e13f2367SZach Atkins 
42*e13f2367SZach Atkins     for (CeedInt i = 0; i <= num_elem; i++) ind_x[i] = num_elem + 1 + i * num_points_per_elem;
43*e13f2367SZach Atkins     for (CeedInt i = 0; i < num_points; i++) ind_x[num_elem + 1 + i] = i;
44*e13f2367SZach Atkins     CeedElemRestrictionCreateAtPoints(ceed, num_elem, num_points, dim, num_points * dim, CEED_MEM_HOST, CEED_COPY_VALUES, ind_x,
45*e13f2367SZach Atkins                                       &elem_restriction_x_points);
46*e13f2367SZach Atkins     CeedElemRestrictionCreateAtPoints(ceed, num_elem, num_points, 1, num_points, CEED_MEM_HOST, CEED_COPY_VALUES, ind_x, &elem_restriction_q_data);
47*e13f2367SZach Atkins   }
48*e13f2367SZach Atkins 
49*e13f2367SZach Atkins   // Q data
50*e13f2367SZach Atkins   CeedVectorCreate(ceed, num_points, &q_data);
51*e13f2367SZach Atkins 
52*e13f2367SZach Atkins   // Cell coordinates
53*e13f2367SZach Atkins   {
54*e13f2367SZach Atkins     CeedInt p = 2, num_nodes = (num_elem_1d * (p - 1) + 1) * (num_elem_1d * (p - 1) + 1);
55*e13f2367SZach Atkins     CeedInt ind_x[num_elem * p * p];
56*e13f2367SZach Atkins 
57*e13f2367SZach Atkins     for (CeedInt e = 0; e < num_elem; e++) {
58*e13f2367SZach Atkins       CeedInt elem_xy[2] = {1, 1}, n_d[2] = {0, 0};
59*e13f2367SZach Atkins 
60*e13f2367SZach Atkins       for (CeedInt d = 0; d < dim; d++) n_d[d] = num_elem_1d * (p - 1) + 1;
61*e13f2367SZach Atkins       {
62*e13f2367SZach Atkins         CeedInt r_e = e;
63*e13f2367SZach Atkins 
64*e13f2367SZach Atkins         for (CeedInt d = 0; d < dim; d++) {
65*e13f2367SZach Atkins           elem_xy[d] = r_e % num_elem_1d;
66*e13f2367SZach Atkins           r_e /= num_elem_1d;
67*e13f2367SZach Atkins         }
68*e13f2367SZach Atkins       }
69*e13f2367SZach Atkins       CeedInt num_nodes_in_elem = p * p, *elem_nodes = ind_x + e * num_nodes_in_elem;
70*e13f2367SZach Atkins 
71*e13f2367SZach Atkins       for (CeedInt n = 0; n < num_nodes_in_elem; n++) {
72*e13f2367SZach Atkins         CeedInt g_node = 0, g_node_stride = 1, r_node = n;
73*e13f2367SZach Atkins 
74*e13f2367SZach Atkins         for (CeedInt d = 0; d < dim; d++) {
75*e13f2367SZach Atkins           g_node += (elem_xy[d] * (p - 1) + r_node % p) * g_node_stride;
76*e13f2367SZach Atkins           g_node_stride *= n_d[d];
77*e13f2367SZach Atkins           r_node /= p;
78*e13f2367SZach Atkins         }
79*e13f2367SZach Atkins         elem_nodes[n] = p * g_node;
80*e13f2367SZach Atkins       }
81*e13f2367SZach Atkins     }
82*e13f2367SZach Atkins     CeedElemRestrictionCreate(ceed, num_elem, p * p, dim, 1, dim * num_nodes, CEED_MEM_HOST, CEED_COPY_VALUES, ind_x, &elem_restriction_x);
83*e13f2367SZach Atkins     CeedVectorCreate(ceed, dim * num_nodes, &x_elem);
84*e13f2367SZach Atkins     {
85*e13f2367SZach Atkins       CeedScalar x_array[dim * num_nodes];
86*e13f2367SZach Atkins 
87*e13f2367SZach Atkins       for (CeedInt i = 0; i <= num_elem_1d; i++) {
88*e13f2367SZach Atkins         for (CeedInt j = 0; j <= num_elem_1d; j++) {
89*e13f2367SZach Atkins           x_array[(i * (num_elem_1d + 1) + j) * dim + 0] = j;
90*e13f2367SZach Atkins           x_array[(i * (num_elem_1d + 1) + j) * dim + 1] = i;
91*e13f2367SZach Atkins         }
92*e13f2367SZach Atkins       }
93*e13f2367SZach Atkins       CeedVectorSetArray(x_elem, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
94*e13f2367SZach Atkins     }
95*e13f2367SZach Atkins   }
96*e13f2367SZach Atkins 
97*e13f2367SZach Atkins   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, 2, q, CEED_GAUSS, &basis_x);
98*e13f2367SZach Atkins 
99*e13f2367SZach Atkins   // Cell solution
100*e13f2367SZach Atkins   {
101*e13f2367SZach Atkins     CeedInt ind_u[num_elem * p * p];
102*e13f2367SZach Atkins 
103*e13f2367SZach Atkins     for (CeedInt e = 0; e < num_elem; e++) {
104*e13f2367SZach Atkins       CeedInt elem_xy[2] = {1, 1}, n_d[2] = {0, 0};
105*e13f2367SZach Atkins 
106*e13f2367SZach Atkins       for (CeedInt d = 0; d < dim; d++) n_d[d] = num_elem_1d * (p - 1) + 1;
107*e13f2367SZach Atkins       {
108*e13f2367SZach Atkins         CeedInt r_e = e;
109*e13f2367SZach Atkins 
110*e13f2367SZach Atkins         for (CeedInt d = 0; d < dim; d++) {
111*e13f2367SZach Atkins           elem_xy[d] = r_e % num_elem_1d;
112*e13f2367SZach Atkins           r_e /= num_elem_1d;
113*e13f2367SZach Atkins         }
114*e13f2367SZach Atkins       }
115*e13f2367SZach Atkins       CeedInt num_nodes_in_elem = p * p, *elem_nodes = ind_u + e * num_nodes_in_elem;
116*e13f2367SZach Atkins 
117*e13f2367SZach Atkins       for (CeedInt n = 0; n < num_nodes_in_elem; n++) {
118*e13f2367SZach Atkins         CeedInt g_node = 0, g_node_stride = 1, r_node = n;
119*e13f2367SZach Atkins 
120*e13f2367SZach Atkins         for (CeedInt d = 0; d < dim; d++) {
121*e13f2367SZach Atkins           g_node += (elem_xy[d] * (p - 1) + r_node % p) * g_node_stride;
122*e13f2367SZach Atkins           g_node_stride *= n_d[d];
123*e13f2367SZach Atkins           r_node /= p;
124*e13f2367SZach Atkins         }
125*e13f2367SZach Atkins         elem_nodes[n] = g_node;
126*e13f2367SZach Atkins       }
127*e13f2367SZach Atkins     }
128*e13f2367SZach Atkins     CeedElemRestrictionCreate(ceed, num_elem, p * p, 1, 1, num_nodes, CEED_MEM_HOST, CEED_COPY_VALUES, ind_u, &elem_restriction_u);
129*e13f2367SZach Atkins   }
130*e13f2367SZach Atkins   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, p, q, CEED_GAUSS, &basis_u);
131*e13f2367SZach Atkins 
132*e13f2367SZach Atkins   // Setup geometric scaling
133*e13f2367SZach Atkins   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
134*e13f2367SZach Atkins   CeedQFunctionAddInput(qf_setup, "x", dim * dim, CEED_EVAL_GRAD);
135*e13f2367SZach Atkins   CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
136*e13f2367SZach Atkins   CeedQFunctionAddOutput(qf_setup, "rho", 1, CEED_EVAL_NONE);
137*e13f2367SZach Atkins 
138*e13f2367SZach Atkins   CeedOperatorCreateAtPoints(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
139*e13f2367SZach Atkins   CeedOperatorSetField(op_setup, "x", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
140*e13f2367SZach Atkins   CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
141*e13f2367SZach Atkins   CeedOperatorSetField(op_setup, "rho", elem_restriction_q_data, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
142*e13f2367SZach Atkins   CeedOperatorAtPointsSetPoints(op_setup, elem_restriction_x_points, x_points);
143*e13f2367SZach Atkins 
144*e13f2367SZach Atkins   CeedOperatorApply(op_setup, x_elem, q_data, CEED_REQUEST_IMMEDIATE);
145*e13f2367SZach Atkins 
146*e13f2367SZach Atkins   // Mass operator
147*e13f2367SZach Atkins   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
148*e13f2367SZach Atkins   CeedQFunctionAddInput(qf_mass, "u", 1, CEED_EVAL_INTERP);
149*e13f2367SZach Atkins   CeedQFunctionAddInput(qf_mass, "rho", 1, CEED_EVAL_NONE);
150*e13f2367SZach Atkins   CeedQFunctionAddOutput(qf_mass, "v", 1, CEED_EVAL_INTERP);
151*e13f2367SZach Atkins 
152*e13f2367SZach Atkins   CeedOperatorCreateAtPoints(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass);
153*e13f2367SZach Atkins   CeedOperatorSetField(op_mass, "u", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
154*e13f2367SZach Atkins   CeedOperatorSetField(op_mass, "rho", elem_restriction_q_data, CEED_BASIS_NONE, q_data);
155*e13f2367SZach Atkins   CeedOperatorSetField(op_mass, "v", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
156*e13f2367SZach Atkins   CeedOperatorAtPointsSetPoints(op_mass, elem_restriction_x_points, x_points);
157*e13f2367SZach Atkins 
158*e13f2367SZach Atkins   CeedOperatorIsAtPoints(op_mass, &is_at_points);
159*e13f2367SZach Atkins   if (!is_at_points) printf("Error: Operator should be at points\n");
160*e13f2367SZach Atkins 
161*e13f2367SZach Atkins   CeedVectorCreate(ceed, num_nodes, &u);
162*e13f2367SZach Atkins   CeedVectorSetValue(u, 1.0);
163*e13f2367SZach Atkins   CeedVectorCreate(ceed, num_nodes, &v);
164*e13f2367SZach Atkins 
165*e13f2367SZach Atkins   // Assemble QFunction
166*e13f2367SZach Atkins   CeedOperatorSetQFunctionAssemblyReuse(op_mass, true);
167*e13f2367SZach Atkins   CeedOperatorSetQFunctionAssemblyDataUpdateNeeded(op_mass, true);
168*e13f2367SZach Atkins   CeedOperatorLinearAssembleQFunction(op_mass, &qf_assembled, &elem_restriction_assembled, CEED_REQUEST_IMMEDIATE);
169*e13f2367SZach Atkins 
170*e13f2367SZach Atkins   // Check output
171*e13f2367SZach Atkins   {
172*e13f2367SZach Atkins     const CeedScalar *assembled_array, *q_data_array;
173*e13f2367SZach Atkins 
174*e13f2367SZach Atkins     CeedVectorGetArrayRead(qf_assembled, CEED_MEM_HOST, &assembled_array);
175*e13f2367SZach Atkins     CeedVectorGetArrayRead(q_data, CEED_MEM_HOST, &q_data_array);
176*e13f2367SZach Atkins     for (CeedInt i = 0; i < num_points; i++)
177*e13f2367SZach Atkins       if (fabs(q_data_array[i] - assembled_array[i]) > 1e-9) {
178*e13f2367SZach Atkins         // LCOV_EXCL_START
179*e13f2367SZach Atkins         printf("Error: qf_assembled[%" CeedInt_FMT "] = %f != %f\n", i, assembled_array[i], q_data_array[i]);
180*e13f2367SZach Atkins         // LCOV_EXCL_STOP
181*e13f2367SZach Atkins       }
182*e13f2367SZach Atkins     CeedVectorRestoreArrayRead(qf_assembled, &assembled_array);
183*e13f2367SZach Atkins     CeedVectorRestoreArrayRead(q_data, &q_data_array);
184*e13f2367SZach Atkins   }
185*e13f2367SZach Atkins 
186*e13f2367SZach Atkins   // Apply original Mass Operator
187*e13f2367SZach Atkins   CeedVectorSetValue(u, 1.0);
188*e13f2367SZach Atkins   CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE);
189*e13f2367SZach Atkins 
190*e13f2367SZach Atkins   // Check output
191*e13f2367SZach Atkins   {
192*e13f2367SZach Atkins     const CeedScalar *v_array;
193*e13f2367SZach Atkins     CeedScalar        area = 0.0;
194*e13f2367SZach Atkins 
195*e13f2367SZach Atkins     CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array);
196*e13f2367SZach Atkins     for (CeedInt i = 0; i < num_nodes; i++) area += v_array[i];
197*e13f2367SZach Atkins     if (fabs(area - 1.0 * num_elem) > CEED_EPSILON * 5e3) printf("Error: True operator computed area = %f != 1.0\n", area);
198*e13f2367SZach Atkins     CeedVectorRestoreArrayRead(v, &v_array);
199*e13f2367SZach Atkins   }
200*e13f2367SZach Atkins 
201*e13f2367SZach Atkins   // Switch to new q_data
202*e13f2367SZach Atkins   {
203*e13f2367SZach Atkins     const CeedScalar *assembled_array;
204*e13f2367SZach Atkins 
205*e13f2367SZach Atkins     CeedVectorGetArrayRead(qf_assembled, CEED_MEM_HOST, &assembled_array);
206*e13f2367SZach Atkins     CeedVectorSetArray(q_data, CEED_MEM_HOST, CEED_COPY_VALUES, (CeedScalar *)assembled_array);
207*e13f2367SZach Atkins     CeedVectorRestoreArrayRead(qf_assembled, &assembled_array);
208*e13f2367SZach Atkins   }
209*e13f2367SZach Atkins 
210*e13f2367SZach Atkins   // Apply new Mass Operator
211*e13f2367SZach Atkins   CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE);
212*e13f2367SZach Atkins 
213*e13f2367SZach Atkins   // Check output
214*e13f2367SZach Atkins   {
215*e13f2367SZach Atkins     const CeedScalar *v_array;
216*e13f2367SZach Atkins     CeedScalar        area = 0.0;
217*e13f2367SZach Atkins 
218*e13f2367SZach Atkins     CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array);
219*e13f2367SZach Atkins     for (CeedInt i = 0; i < num_nodes; i++) area += v_array[i];
220*e13f2367SZach Atkins     CeedVectorRestoreArrayRead(v, &v_array);
221*e13f2367SZach Atkins     if (fabs(area - 1.0 * num_elem) > CEED_EPSILON * 5e3) printf("Error: Linearized operator computed area = %f != 1.0\n", area);
222*e13f2367SZach Atkins   }
223*e13f2367SZach Atkins 
224*e13f2367SZach Atkins   // Cleanup
225*e13f2367SZach Atkins   CeedVectorDestroy(&qf_assembled);
226*e13f2367SZach Atkins   CeedVectorDestroy(&q_data);
227*e13f2367SZach Atkins   CeedVectorDestroy(&u);
228*e13f2367SZach Atkins   CeedVectorDestroy(&v);
229*e13f2367SZach Atkins   CeedVectorDestroy(&x_points);
230*e13f2367SZach Atkins   CeedVectorDestroy(&q_data);
231*e13f2367SZach Atkins   CeedVectorDestroy(&x_elem);
232*e13f2367SZach Atkins   CeedElemRestrictionDestroy(&elem_restriction_q_data);
233*e13f2367SZach Atkins   CeedElemRestrictionDestroy(&elem_restriction_x);
234*e13f2367SZach Atkins   CeedElemRestrictionDestroy(&elem_restriction_x_points);
235*e13f2367SZach Atkins   CeedElemRestrictionDestroy(&elem_restriction_u);
236*e13f2367SZach Atkins   CeedElemRestrictionDestroy(&elem_restriction_assembled);
237*e13f2367SZach Atkins   CeedBasisDestroy(&basis_x);
238*e13f2367SZach Atkins   CeedBasisDestroy(&basis_u);
239*e13f2367SZach Atkins   CeedQFunctionDestroy(&qf_setup);
240*e13f2367SZach Atkins   CeedQFunctionDestroy(&qf_mass);
241*e13f2367SZach Atkins   CeedOperatorDestroy(&op_setup);
242*e13f2367SZach Atkins   CeedOperatorDestroy(&op_mass);
243*e13f2367SZach Atkins   CeedDestroy(&ceed);
244*e13f2367SZach Atkins   return 0;
245*e13f2367SZach Atkins }
246