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