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