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