xref: /libCEED/tests/t568-operator.c (revision 72d852595123308417bcd99e2ca111c71d29cbff)
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 "t534-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, "weight", 1, CEED_EVAL_WEIGHT);
70   CeedQFunctionAddInput(qf_setup, "dx", dim*dim, CEED_EVAL_GRAD);
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 
100   // Fuly assemble operator
101   for (CeedInt k=0; k<num_comp*num_comp*num_dofs*num_dofs; k++) {
102     assembled[k] = 0.0;
103     assembled_true[k] = 0.0;
104   }
105   CeedSize nentries;
106   CeedInt *rows;
107   CeedInt *cols;
108   CeedVector values;
109   CeedOperatorLinearAssembleSymbolic(op_diff, &nentries, &rows, &cols);
110   CeedVectorCreate(ceed, nentries, &values);
111   CeedOperatorLinearAssemble(op_diff, values);
112   const CeedScalar *vals;
113   CeedVectorGetArrayRead(values, CEED_MEM_HOST, &vals);
114   for (CeedInt k=0; k<nentries; k++) {
115     assembled[rows[k]*num_comp*num_dofs + cols[k]] += vals[k];
116   }
117   CeedVectorRestoreArrayRead(values, &vals);
118 
119   // Manually assemble operator
120   CeedVectorCreate(ceed, num_comp*num_dofs, &U);
121   CeedVectorSetValue(U, 0.0);
122   CeedVectorCreate(ceed, num_comp*num_dofs, &V);
123   CeedInt indOld = -1;
124 
125   for (CeedInt comp_in=0; comp_in<num_comp; comp_in++) {
126     for (CeedInt node_in=0; node_in<num_dofs; node_in++) {
127       // Set input
128       CeedVectorGetArray(U, CEED_MEM_HOST, &u);
129       CeedInt ind = node_in + comp_in*num_dofs;
130       u[ind] = 1.0;
131       if (ind > 0)
132         u[indOld] = 0.0;
133       indOld = ind;
134       CeedVectorRestoreArray(U, &u);
135 
136       // Compute effect of DoF j
137       CeedOperatorApply(op_diff, U, V, CEED_REQUEST_IMMEDIATE);
138 
139       CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v);
140       for (CeedInt k=0; k<num_dofs*num_comp; k++) {
141         assembled_true[k*num_dofs*num_comp + ind] = v[k];
142       }
143       CeedVectorRestoreArrayRead(V, &v);
144     }
145   }
146 
147   // Check output
148   for (CeedInt node_in=0; node_in<num_dofs; node_in++) {
149     for (CeedInt comp_in=0; comp_in<num_comp; comp_in++) {
150       for (CeedInt node_out=0; node_out<num_dofs; node_out++) {
151         for (CeedInt comp_out=0; comp_out<num_comp; comp_out++) {
152           const CeedInt index = (node_out + comp_out*num_dofs)*num_comp + node_in +
153                                 comp_in*num_dofs;
154           const CeedScalar assembled_value = assembled[index];
155           const CeedScalar assembled_true_value = assembled_true[index];
156           if (fabs(assembled_value - assembled_true_value) >
157               100.*CEED_EPSILON)
158             // LCOV_EXCL_START
159             printf("[(%" CeedInt_FMT ", %" CeedInt_FMT "), (%" CeedInt_FMT
160                    ", %" CeedInt_FMT ")] Error in assembly: %f != %f\n",
161                    node_out, comp_out, node_in, comp_in,
162                    assembled_value, assembled_true_value);
163           // LCOV_EXCL_STOP
164         }
165       }
166     }
167   }
168 
169   // Cleanup
170   free(rows);
171   free(cols);
172   CeedVectorDestroy(&values);
173   CeedQFunctionDestroy(&qf_setup);
174   CeedQFunctionDestroy(&qf_diff);
175   CeedOperatorDestroy(&op_setup);
176   CeedOperatorDestroy(&op_diff);
177   CeedElemRestrictionDestroy(&elem_restr_u);
178   CeedElemRestrictionDestroy(&elem_restr_x);
179   CeedElemRestrictionDestroy(&elem_restr_qd_i);
180   CeedBasisDestroy(&basis_u);
181   CeedBasisDestroy(&basis_x);
182   CeedVectorDestroy(&X);
183   CeedVectorDestroy(&q_data);
184   CeedVectorDestroy(&U);
185   CeedVectorDestroy(&V);
186   CeedDestroy(&ceed);
187   return 0;
188 }
189