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