xref: /libCEED/tests/t536-operator.c (revision 3ce2313bc32a8d1df59be3f8889df9455bf46f44)
1 /// @file
2 /// Test assembly of mass and Poisson operator diagonal
3 /// \test Test assembly of mass and Poisson operator diagonal
4 #include <ceed.h>
5 #include <math.h>
6 #include <stdio.h>
7 #include <stdlib.h>
8 
9 #include "t320-basis.h"
10 #include "t535-operator.h"
11 
12 int main(int argc, char **argv) {
13   Ceed                ceed;
14   CeedElemRestriction elem_restriction_x, elem_restriction_u, elem_restriction_q_data_mass, elem_restriction_q_data_diff;
15   CeedBasis           basis_x, basis_u;
16   CeedQFunction       qf_setup_mass, qf_setup_diff, qf_apply;
17   CeedOperator        op_setup_mass, op_setup_diff, op_apply;
18   CeedVector          q_data_mass, q_data_diff, x, assembled, u, v;
19   CeedInt             num_elem = 12, dim = 2, p = 6, q = 4;
20   CeedInt             n_x = 3, n_y = 2;
21   CeedInt             row, column, offset;
22   CeedInt             num_dofs = (n_x * 2 + 1) * (n_y * 2 + 1), num_qpts = num_elem * q;
23   CeedInt             ind_x[num_elem * p * p];
24   CeedScalar          assembled_true[num_dofs];
25   CeedScalar          q_ref[dim * q], q_weight[q];
26   CeedScalar          interp[p * q], grad[dim * p * q];
27 
28   CeedInit(argv[1], &ceed);
29 
30   // Vectors
31   CeedVectorCreate(ceed, dim * num_dofs, &x);
32   {
33     CeedScalar x_array[dim * num_dofs];
34 
35     for (CeedInt i = 0; i < num_dofs; i++) {
36       x_array[i]            = (1. / (n_x * 2)) * (CeedScalar)(i % (n_x * 2 + 1));
37       x_array[i + num_dofs] = (1. / (n_y * 2)) * (CeedScalar)(i / (n_x * 2 + 1));
38     }
39     CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
40   }
41   CeedVectorCreate(ceed, num_dofs, &u);
42   CeedVectorCreate(ceed, num_dofs, &v);
43   CeedVectorCreate(ceed, num_qpts, &q_data_mass);
44   CeedVectorCreate(ceed, num_qpts * dim * (dim + 1) / 2, &q_data_diff);
45 
46   // Restrictions
47   for (CeedInt i = 0; i < num_elem / 2; i++) {
48     column = i % n_x;
49     row    = i / n_x;
50     offset = column * 2 + row * (n_x * 2 + 1) * 2;
51 
52     ind_x[i * 2 * p + 0] = 2 + offset;
53     ind_x[i * 2 * p + 1] = 9 + offset;
54     ind_x[i * 2 * p + 2] = 16 + offset;
55     ind_x[i * 2 * p + 3] = 1 + offset;
56     ind_x[i * 2 * p + 4] = 8 + offset;
57     ind_x[i * 2 * p + 5] = 0 + offset;
58 
59     ind_x[i * 2 * p + 6]  = 14 + offset;
60     ind_x[i * 2 * p + 7]  = 7 + offset;
61     ind_x[i * 2 * p + 8]  = 0 + offset;
62     ind_x[i * 2 * p + 9]  = 15 + offset;
63     ind_x[i * 2 * p + 10] = 8 + offset;
64     ind_x[i * 2 * p + 11] = 16 + offset;
65   }
66   CeedElemRestrictionCreate(ceed, num_elem, p, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
67   CeedElemRestrictionCreate(ceed, num_elem, p, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_u);
68 
69   CeedInt strides_q_data_mass[3] = {1, q, q};
70   CeedElemRestrictionCreateStrided(ceed, num_elem, q, 1, num_qpts, strides_q_data_mass, &elem_restriction_q_data_mass);
71 
72   CeedInt strides_q_data_diff[3] = {1, q, q * dim * (dim + 1) / 2};
73   CeedElemRestrictionCreateStrided(ceed, num_elem, q, dim * (dim + 1) / 2, dim * (dim + 1) / 2 * num_qpts, strides_q_data_diff,
74                                    &elem_restriction_q_data_diff);
75 
76   // Bases
77   Build2DSimplex(q_ref, q_weight, interp, grad);
78   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, dim, p, q, interp, grad, q_ref, q_weight, &basis_x);
79 
80   Build2DSimplex(q_ref, q_weight, interp, grad);
81   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, 1, p, q, interp, grad, q_ref, q_weight, &basis_u);
82 
83   // QFunction - setup mass
84   CeedQFunctionCreateInterior(ceed, 1, setup_mass, setup_mass_loc, &qf_setup_mass);
85   CeedQFunctionAddInput(qf_setup_mass, "dx", dim * dim, CEED_EVAL_GRAD);
86   CeedQFunctionAddInput(qf_setup_mass, "weight", 1, CEED_EVAL_WEIGHT);
87   CeedQFunctionAddOutput(qf_setup_mass, "q data", 1, CEED_EVAL_NONE);
88 
89   // Operator - setup mass
90   CeedOperatorCreate(ceed, qf_setup_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup_mass);
91   CeedOperatorSetField(op_setup_mass, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
92   CeedOperatorSetField(op_setup_mass, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
93   CeedOperatorSetField(op_setup_mass, "q data", elem_restriction_q_data_mass, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
94 
95   // QFunction - setup diff
96   CeedQFunctionCreateInterior(ceed, 1, setup_diff, setup_diff_loc, &qf_setup_diff);
97   CeedQFunctionAddInput(qf_setup_diff, "dx", dim * dim, CEED_EVAL_GRAD);
98   CeedQFunctionAddInput(qf_setup_diff, "weight", 1, CEED_EVAL_WEIGHT);
99   CeedQFunctionAddOutput(qf_setup_diff, "q data", dim * (dim + 1) / 2, CEED_EVAL_NONE);
100 
101   // Operator - setup diff
102   CeedOperatorCreate(ceed, qf_setup_diff, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup_diff);
103   CeedOperatorSetField(op_setup_diff, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
104   CeedOperatorSetField(op_setup_diff, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
105   CeedOperatorSetField(op_setup_diff, "q data", elem_restriction_q_data_diff, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
106 
107   // Apply Setup Operators
108   CeedOperatorApply(op_setup_mass, x, q_data_mass, CEED_REQUEST_IMMEDIATE);
109   CeedOperatorApply(op_setup_diff, x, q_data_diff, CEED_REQUEST_IMMEDIATE);
110 
111   // QFunction - apply
112   CeedQFunctionCreateInterior(ceed, 1, apply, apply_loc, &qf_apply);
113   CeedQFunctionAddInput(qf_apply, "du", dim, CEED_EVAL_GRAD);
114   CeedQFunctionAddInput(qf_apply, "mass q data", 1, CEED_EVAL_NONE);
115   CeedQFunctionAddInput(qf_apply, "diff q data", dim * (dim + 1) / 2, CEED_EVAL_NONE);
116   CeedQFunctionAddInput(qf_apply, "u", 1, CEED_EVAL_INTERP);
117   CeedQFunctionAddOutput(qf_apply, "v", 1, CEED_EVAL_INTERP);
118   CeedQFunctionAddOutput(qf_apply, "dv", dim, CEED_EVAL_GRAD);
119 
120   // Operator - apply
121   CeedOperatorCreate(ceed, qf_apply, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_apply);
122   CeedOperatorSetField(op_apply, "du", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
123   CeedOperatorSetField(op_apply, "mass q data", elem_restriction_q_data_mass, CEED_BASIS_NONE, q_data_mass);
124   CeedOperatorSetField(op_apply, "diff q data", elem_restriction_q_data_diff, CEED_BASIS_NONE, q_data_diff);
125   CeedOperatorSetField(op_apply, "u", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
126   CeedOperatorSetField(op_apply, "v", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
127   CeedOperatorSetField(op_apply, "dv", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
128 
129   // Assemble diagonal
130   CeedVectorCreate(ceed, num_dofs, &assembled);
131   CeedOperatorLinearAssembleDiagonal(op_apply, assembled, CEED_REQUEST_IMMEDIATE);
132 
133   // Manually assemble diagonal
134   CeedVectorSetValue(u, 0.0);
135   for (int i = 0; i < num_dofs; i++) {
136     CeedScalar       *u_array;
137     const CeedScalar *v_array;
138 
139     // Set input
140     CeedVectorGetArray(u, CEED_MEM_HOST, &u_array);
141     u_array[i] = 1.0;
142     if (i) u_array[i - 1] = 0.0;
143     CeedVectorRestoreArray(u, &u_array);
144 
145     // Compute diag entry for DoF i
146     CeedOperatorApply(op_apply, u, v, CEED_REQUEST_IMMEDIATE);
147 
148     // Retrieve entry
149     CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array);
150     assembled_true[i] = v_array[i];
151     CeedVectorRestoreArrayRead(v, &v_array);
152   }
153 
154   // Check output
155   {
156     const CeedScalar *assembled_array;
157 
158     CeedVectorGetArrayRead(assembled, CEED_MEM_HOST, &assembled_array);
159     for (int i = 0; i < num_dofs; i++) {
160       if (fabs(assembled_array[i] - assembled_true[i]) > 100. * CEED_EPSILON) {
161         // LCOV_EXCL_START
162         printf("[%" CeedInt_FMT "] Error in assembly: %f != %f\n", i, assembled_array[i], assembled_true[i]);
163         // LCOV_EXCL_STOP
164       }
165     }
166     CeedVectorRestoreArrayRead(assembled, &assembled_array);
167   }
168 
169   // Cleanup
170   CeedVectorDestroy(&x);
171   CeedVectorDestroy(&assembled);
172   CeedVectorDestroy(&q_data_mass);
173   CeedVectorDestroy(&q_data_diff);
174   CeedVectorDestroy(&u);
175   CeedVectorDestroy(&v);
176   CeedElemRestrictionDestroy(&elem_restriction_u);
177   CeedElemRestrictionDestroy(&elem_restriction_x);
178   CeedElemRestrictionDestroy(&elem_restriction_q_data_mass);
179   CeedElemRestrictionDestroy(&elem_restriction_q_data_diff);
180   CeedBasisDestroy(&basis_u);
181   CeedBasisDestroy(&basis_x);
182   CeedQFunctionDestroy(&qf_setup_mass);
183   CeedQFunctionDestroy(&qf_setup_diff);
184   CeedQFunctionDestroy(&qf_apply);
185   CeedOperatorDestroy(&op_setup_mass);
186   CeedOperatorDestroy(&op_setup_diff);
187   CeedOperatorDestroy(&op_apply);
188   CeedDestroy(&ceed);
189   return 0;
190 }
191