xref: /libCEED/tests/t568-operator.c (revision d4d455536df293f3f9ba6a974c8a4079393bc3b8)
1 /// @file
2 /// Test assembly of Poisson operator with extra input field (non-square D)
3 /// \test Test assembly of Poisson operator with extra input field (non-square D)
4 #include <ceed.h>
5 #include <stdlib.h>
6 #include <math.h>
7 #include "t568-operator.h"
8 
9 int main(int argc, char **argv) {
10   Ceed ceed;
11   CeedElemRestriction elem_restr_x, elem_restr_u,
12                       elem_restr_qd_i;
13   CeedBasis basis_x, basis_u;
14   CeedQFunction qf_setup, qf_diff;
15   CeedOperator op_setup, op_diff;
16   CeedVector q_data, X, U, V;
17   CeedInt P = 3, Q = 3, dim = 2, num_comp = 2;
18   CeedInt n_x = 1, n_y = 1;
19   CeedInt num_elem = n_x * n_y;
20   CeedInt num_dofs = (n_x*(P-1)+1)*(n_y*(P-1)+1), num_qpts = num_elem*Q*Q;
21   CeedInt ind_x[num_elem*P*P];
22   CeedScalar assembled[num_comp*num_comp*num_dofs*num_dofs];
23   CeedScalar x[dim*num_dofs], assembled_true[num_comp*num_comp*num_dofs*num_dofs];
24   CeedScalar *u;
25   const CeedScalar *v;
26 
27   CeedInit(argv[1], &ceed);
28 
29   // DoF Coordinates
30   for (CeedInt i=0; i<n_x*(P-1)+1; i++)
31     for (CeedInt j=0; j<n_y*(P-1)+1; j++) {
32       x[i+j*(n_x*2+1)+0*num_dofs] = (CeedScalar) i / (n_x * (P-1));
33       x[i+j*(n_x*2+1)+1*num_dofs] = (CeedScalar) j / (n_y * (P-1));
34     }
35   CeedVectorCreate(ceed, dim*num_dofs, &X);
36   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
37 
38   // Qdata Vector
39   CeedVectorCreate(ceed, num_qpts*dim*(dim+1)/2, &q_data);
40 
41   // Element Setup
42   for (CeedInt i=0; i<num_elem; i++) {
43     CeedInt col, row, offset;
44     col = i % n_x;
45     row = i / n_x;
46     offset = col*(P-1) + row*(n_x*(P-1)+1)*(P-1);
47     for (CeedInt j=0; j<P; j++)
48       for (CeedInt k=0; k<P; k++)
49         ind_x[P*(P*i+k)+j] = offset + k*P + j;
50   }
51 
52   // Restrictions
53   CeedElemRestrictionCreate(ceed, num_elem, P*P, dim, num_dofs, dim*num_dofs,
54                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_x);
55   CeedElemRestrictionCreate(ceed, num_elem, P*P, num_comp, num_dofs,
56                             num_comp*num_dofs,
57                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_u);
58   CeedInt strides_qd[3] = {1, Q*Q*num_elem, Q*Q}; /* *NOPAD* */
59   CeedElemRestrictionCreateStrided(ceed, num_elem, Q*Q, dim*(dim+1)/2,
60                                    num_qpts*dim*(dim+1)/2, strides_qd, &elem_restr_qd_i);
61 
62   // Bases
63   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &basis_x);
64   CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp, P, Q, CEED_GAUSS,
65                                   &basis_u);
66 
67   // QFunctions
68   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
69   CeedQFunctionAddInput(qf_setup, "dx", dim*dim, CEED_EVAL_GRAD);
70   CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
71   CeedQFunctionAddOutput(qf_setup, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE);
72 
73   CeedQFunctionCreateInterior(ceed, 1, diff, diff_loc, &qf_diff);
74   CeedQFunctionAddInput(qf_diff, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE);
75   CeedQFunctionAddInput(qf_diff, "du", num_comp*dim, CEED_EVAL_GRAD);
76   CeedQFunctionAddInput(qf_diff, "dummy u", num_comp, CEED_EVAL_INTERP);
77   CeedQFunctionAddOutput(qf_diff, "dv", num_comp*dim, CEED_EVAL_GRAD);
78 
79   // Operators
80   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
81                      &op_setup);
82   CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x,
83                        CEED_VECTOR_NONE);
84   CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE);
85   CeedOperatorSetField(op_setup, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
86                        CEED_VECTOR_ACTIVE);
87 
88   CeedOperatorCreate(ceed, qf_diff, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
89                      &op_diff);
90   CeedOperatorSetField(op_diff, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
91                        q_data);
92   CeedOperatorSetField(op_diff, "du", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
93   CeedOperatorSetField(op_diff, "dummy u", elem_restr_u, basis_u,
94                        CEED_VECTOR_ACTIVE);
95   CeedOperatorSetField(op_diff, "dv", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
96 
97   // Apply Setup Operator
98   CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE);
99   // Fuly assemble operator
100   for (CeedInt k=0; k<num_comp*num_comp*num_dofs*num_dofs; k++) {
101     assembled[k] = 0.0;
102     assembled_true[k] = 0.0;
103   }
104   CeedSize nentries;
105   CeedInt *rows;
106   CeedInt *cols;
107   CeedVector values;
108   CeedOperatorLinearAssembleSymbolic(op_diff, &nentries, &rows, &cols);
109   CeedVectorCreate(ceed, nentries, &values);
110   CeedOperatorLinearAssemble(op_diff, values);
111   const CeedScalar *vals;
112   CeedVectorGetArrayRead(values, CEED_MEM_HOST, &vals);
113   for (CeedInt k=0; k<nentries; k++) {
114     assembled[rows[k]*num_comp*num_dofs + cols[k]] += vals[k];
115   }
116   CeedVectorRestoreArrayRead(values, &vals);
117 
118   // Manually assemble operator
119   CeedVectorCreate(ceed, num_comp*num_dofs, &U);
120   CeedVectorSetValue(U, 0.0);
121   CeedVectorCreate(ceed, num_comp*num_dofs, &V);
122   CeedInt indOld = -1;
123 
124   for (CeedInt comp_in=0; comp_in<num_comp; comp_in++) {
125     for (CeedInt node_in=0; node_in<num_dofs; node_in++) {
126       // Set input
127       CeedVectorGetArray(U, CEED_MEM_HOST, &u);
128       CeedInt ind = node_in + comp_in*num_dofs;
129       u[ind] = 1.0;
130       if (ind > 0)
131         u[indOld] = 0.0;
132       indOld = ind;
133       CeedVectorRestoreArray(U, &u);
134 
135       // Compute effect of DoF j
136       CeedOperatorApply(op_diff, U, V, CEED_REQUEST_IMMEDIATE);
137 
138       CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v);
139       for (CeedInt k=0; k<num_dofs*num_comp; k++) {
140         assembled_true[k*num_dofs*num_comp + ind] = v[k];
141       }
142       CeedVectorRestoreArrayRead(V, &v);
143     }
144   }
145 
146   // Check output
147   for (CeedInt node_in=0; node_in<num_dofs; node_in++) {
148     for (CeedInt comp_in=0; comp_in<num_comp; comp_in++) {
149       for (CeedInt node_out=0; node_out<num_dofs; node_out++) {
150         for (CeedInt comp_out=0; comp_out<num_comp; comp_out++) {
151           const CeedInt index = (node_out + comp_out*num_dofs)*num_comp + node_in +
152                                 comp_in*num_dofs;
153           const CeedScalar assembled_value = assembled[index];
154           const CeedScalar assembled_true_value = assembled_true[index];
155           if (!(fabs(assembled_value - assembled_true_value) <
156                 100.*CEED_EPSILON))
157             // LCOV_EXCL_START
158             printf("[(%" CeedInt_FMT ", %" CeedInt_FMT "), (%" CeedInt_FMT
159                    ", %" CeedInt_FMT ")] Error in assembly: %f != %f\n",
160                    node_out, comp_out, node_in, comp_in,
161                    assembled_value, assembled_true_value);
162           // LCOV_EXCL_STOP
163         }
164       }
165     }
166   }
167 
168   // Cleanup
169   free(rows);
170   free(cols);
171   CeedVectorDestroy(&values);
172   CeedQFunctionDestroy(&qf_setup);
173   CeedQFunctionDestroy(&qf_diff);
174   CeedOperatorDestroy(&op_setup);
175   CeedOperatorDestroy(&op_diff);
176   CeedElemRestrictionDestroy(&elem_restr_u);
177   CeedElemRestrictionDestroy(&elem_restr_x);
178   CeedElemRestrictionDestroy(&elem_restr_qd_i);
179   CeedBasisDestroy(&basis_u);
180   CeedBasisDestroy(&basis_x);
181   CeedVectorDestroy(&X);
182   CeedVectorDestroy(&q_data);
183   CeedVectorDestroy(&U);
184   CeedVectorDestroy(&V);
185   CeedDestroy(&ceed);
186   return 0;
187 }
188