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