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