1 /// @file
2 /// Test full assembly of Poisson operator AtPoints
3 /// \test Test full assembly of Poisson operator AtPoints
4 #include <ceed.h>
5 #include <math.h>
6 #include <stdio.h>
7 #include <stdlib.h>
8
9 #include "t597-operator.h"
10
main(int argc,char ** argv)11 int main(int argc, char **argv) {
12 Ceed ceed;
13
14 CeedInit(argv[1], &ceed);
15
16 for (CeedInt num_comp = 1; num_comp <= 3; num_comp++) {
17 CeedElemRestriction elem_restriction_x, elem_restriction_x_points, elem_restriction_u, elem_restriction_q_data;
18 CeedBasis basis_x, basis_u;
19 CeedQFunction qf_setup, qf_diff;
20 CeedOperator op_setup, op_diff;
21 CeedVector q_data, x, x_points, u, v;
22 CeedInt p = 3, q = 4, dim = 2;
23 CeedInt n_x = 3, n_y = 2;
24 CeedInt num_elem = n_x * n_y;
25 CeedInt num_dofs = (n_x * 2 + 1) * (n_y * 2 + 1), num_points_per_elem = 4, num_points = num_elem * num_points_per_elem;
26 CeedInt ind_x[num_elem * p * p];
27 CeedScalar assembled_values[num_comp * num_comp * num_dofs * num_dofs];
28 CeedScalar assembled_true[num_comp * num_comp * num_dofs * num_dofs];
29
30 // Points
31 CeedVectorCreate(ceed, dim * num_points, &x_points);
32 {
33 CeedScalar x_array[dim * num_points];
34
35 for (CeedInt e = 0; e < num_elem; e++) {
36 for (CeedInt d = 0; d < dim; d++) {
37 x_array[num_points_per_elem * (e * dim + d) + 0] = 0.25;
38 x_array[num_points_per_elem * (e * dim + d) + 1] = d == 0 ? -0.25 : 0.25;
39 x_array[num_points_per_elem * (e * dim + d) + 2] = d == 0 ? 0.25 : -0.25;
40 x_array[num_points_per_elem * (e * dim + d) + 3] = 0.25;
41 }
42 }
43 CeedVectorSetArray(x_points, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
44 }
45 {
46 CeedInt ind_x[num_elem + 1 + num_points];
47
48 for (CeedInt i = 0; i <= num_elem; i++) ind_x[i] = num_elem + 1 + i * num_points_per_elem;
49 for (CeedInt i = 0; i < num_points; i++) ind_x[num_elem + 1 + i] = i;
50 CeedElemRestrictionCreateAtPoints(ceed, num_elem, num_points, dim, num_points * dim, CEED_MEM_HOST, CEED_COPY_VALUES, ind_x,
51 &elem_restriction_x_points);
52 CeedElemRestrictionCreateAtPoints(ceed, num_elem, num_points, dim * (dim + 1) / 2, num_points * dim * (dim + 1) / 2, CEED_MEM_HOST,
53 CEED_COPY_VALUES, ind_x, &elem_restriction_q_data);
54 }
55
56 // Vectors
57 CeedVectorCreate(ceed, dim * num_dofs, &x);
58 {
59 CeedScalar x_array[dim * num_dofs];
60
61 for (CeedInt i = 0; i < n_x * 2 + 1; i++) {
62 for (CeedInt j = 0; j < n_y * 2 + 1; j++) {
63 x_array[i + j * (n_x * 2 + 1) + 0 * num_dofs] = (CeedScalar)i / (2 * n_x);
64 x_array[i + j * (n_x * 2 + 1) + 1 * num_dofs] = (CeedScalar)j / (2 * n_y);
65 }
66 }
67 CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
68 }
69 CeedVectorCreate(ceed, num_comp * num_dofs, &u);
70 CeedVectorCreate(ceed, num_comp * num_dofs, &v);
71 CeedVectorCreate(ceed, num_points * dim * (dim + 1) / 2, &q_data);
72
73 // Restrictions
74 for (CeedInt i = 0; i < num_elem; i++) {
75 CeedInt col, row, offset;
76 col = i % n_x;
77 row = i / n_x;
78 offset = col * (p - 1) + row * (n_x * 2 + 1) * (p - 1);
79 for (CeedInt j = 0; j < p; j++) {
80 for (CeedInt k = 0; k < p; k++) ind_x[p * (p * i + k) + j] = offset + k * (n_x * 2 + 1) + j;
81 }
82 }
83 CeedElemRestrictionCreate(ceed, num_elem, p * p, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
84 CeedElemRestrictionCreate(ceed, num_elem, p * p, num_comp, num_dofs, num_comp * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x,
85 &elem_restriction_u);
86
87 // Bases
88 CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, p, q, CEED_GAUSS, &basis_x);
89 CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp, p, q, CEED_GAUSS, &basis_u);
90
91 // QFunction - setup
92 CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
93 CeedQFunctionAddInput(qf_setup, "dx", dim * dim, CEED_EVAL_GRAD);
94 CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
95 CeedQFunctionAddOutput(qf_setup, "q data", dim * (dim + 1) / 2, CEED_EVAL_NONE);
96
97 // Operator - setup
98 CeedOperatorCreateAtPoints(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
99 CeedOperatorSetField(op_setup, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
100 CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
101 CeedOperatorSetField(op_setup, "q data", elem_restriction_q_data, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
102 CeedOperatorAtPointsSetPoints(op_setup, elem_restriction_x_points, x_points);
103
104 // Apply Setup Operator
105 CeedOperatorApply(op_setup, x, q_data, CEED_REQUEST_IMMEDIATE);
106
107 // QFunction - apply
108 CeedQFunctionCreateInterior(ceed, 1, diff, diff_loc, &qf_diff);
109 CeedQFunctionAddInput(qf_diff, "du", num_comp * dim, CEED_EVAL_GRAD);
110 CeedQFunctionAddInput(qf_diff, "q data", dim * (dim + 1) / 2, CEED_EVAL_NONE);
111 CeedQFunctionAddOutput(qf_diff, "dv", num_comp * dim, CEED_EVAL_GRAD);
112 {
113 CeedQFunctionContext qf_context;
114
115 CeedQFunctionContextCreate(ceed, &qf_context);
116 CeedQFunctionContextSetData(qf_context, CEED_MEM_HOST, CEED_COPY_VALUES, sizeof(CeedInt), &num_comp);
117 CeedQFunctionSetContext(qf_diff, qf_context);
118 CeedQFunctionContextDestroy(&qf_context);
119 }
120
121 // Operator - apply
122 CeedOperatorCreateAtPoints(ceed, qf_diff, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_diff);
123 CeedOperatorSetField(op_diff, "du", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
124 CeedOperatorSetField(op_diff, "q data", elem_restriction_q_data, CEED_BASIS_NONE, q_data);
125 CeedOperatorSetField(op_diff, "dv", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
126 CeedOperatorAtPointsSetPoints(op_diff, elem_restriction_x_points, x_points);
127
128 // Fully assemble operator
129 CeedSize num_entries;
130 CeedInt *rows;
131 CeedInt *cols;
132 CeedVector assembled;
133
134 for (CeedInt k = 0; k < num_comp * num_comp * num_dofs * num_dofs; ++k) {
135 assembled_values[k] = 0.0;
136 assembled_true[k] = 0.0;
137 }
138 CeedOperatorLinearAssembleSymbolic(op_diff, &num_entries, &rows, &cols);
139 CeedVectorCreate(ceed, num_entries, &assembled);
140 CeedOperatorLinearAssemble(op_diff, assembled);
141 {
142 const CeedScalar *assembled_array;
143
144 CeedVectorGetArrayRead(assembled, CEED_MEM_HOST, &assembled_array);
145 for (CeedInt k = 0; k < num_entries; k++) assembled_values[rows[k] * num_comp * num_dofs + cols[k]] += assembled_array[k];
146 CeedVectorRestoreArrayRead(assembled, &assembled_array);
147 }
148
149 // Manually assemble operator
150 CeedVectorSetValue(u, 0.0);
151 for (CeedInt j = 0; j < num_comp * num_dofs; j++) {
152 CeedScalar *u_array;
153 const CeedScalar *v_array;
154
155 // Set input
156 CeedVectorGetArray(u, CEED_MEM_HOST, &u_array);
157 u_array[j] = 1.0;
158 if (j) u_array[j - 1] = 0.0;
159 CeedVectorRestoreArray(u, &u_array);
160
161 // Compute entries for column j
162 CeedOperatorApply(op_diff, u, v, CEED_REQUEST_IMMEDIATE);
163
164 CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array);
165 for (CeedInt i = 0; i < num_comp * num_dofs; i++) assembled_true[i * num_comp * num_dofs + j] = v_array[i];
166 CeedVectorRestoreArrayRead(v, &v_array);
167 }
168
169 // Check output
170 for (CeedInt i = 0; i < num_comp * num_dofs; i++) {
171 for (CeedInt j = 0; j < num_comp * num_dofs; j++) {
172 if (fabs(assembled_values[i * num_comp * num_dofs + j] - assembled_true[i * num_comp * num_dofs + j]) > 100. * CEED_EPSILON) {
173 // LCOV_EXCL_START
174 printf("[%" CeedInt_FMT ", %" CeedInt_FMT "] Error in assembly: %f != %f\n", i, j, assembled_values[i * num_comp * num_dofs + j],
175 assembled_true[i * num_comp * num_dofs + j]);
176 // LCOV_EXCL_STOP
177 }
178 }
179 }
180
181 // Cleanup
182 free(rows);
183 free(cols);
184 CeedVectorDestroy(&x);
185 CeedVectorDestroy(&x_points);
186 CeedVectorDestroy(&q_data);
187 CeedVectorDestroy(&u);
188 CeedVectorDestroy(&v);
189 CeedVectorDestroy(&assembled);
190 CeedElemRestrictionDestroy(&elem_restriction_u);
191 CeedElemRestrictionDestroy(&elem_restriction_x);
192 CeedElemRestrictionDestroy(&elem_restriction_x_points);
193 CeedElemRestrictionDestroy(&elem_restriction_q_data);
194 CeedBasisDestroy(&basis_u);
195 CeedBasisDestroy(&basis_x);
196 CeedQFunctionDestroy(&qf_setup);
197 CeedQFunctionDestroy(&qf_diff);
198 CeedOperatorDestroy(&op_setup);
199 CeedOperatorDestroy(&op_diff);
200 }
201 CeedDestroy(&ceed);
202 return 0;
203 }
204