xref: /libCEED/tests/t524-operator.c (revision f190906abec33cf8d9eb9776bd62dd828c8ae3fd)
1 /// @file
2 /// Test CeedOperatorApplyAdd for composite operator
3 /// \test CeedOperatorApplyAdd for composite operator
4 #include <ceed.h>
5 #include <stdlib.h>
6 #include <math.h>
7 #include "t320-basis.h"
8 #include "t510-operator.h"
9 
10 /* The mesh comprises of two rows of 3 quadralaterals followed by one row
11      of 6 triangles:
12    _ _ _
13   |_|_|_|
14   |_|_|_|
15   |/|/|/|
16 
17 */
18 
19 int main(int argc, char **argv) {
20   Ceed ceed;
21   CeedElemRestriction elem_restr_x_tet, elem_restr_u_tet,
22                       elem_restr_qd_i_tet,
23                       elem_restr_x_hex, elem_restr_u_hex,
24                       elem_restr_qd_i_hex;
25   CeedBasis basis_x_tet, basis_u_tet,
26             basis_x_hex, basis_u_hex;
27   CeedQFunction qf_setup_tet, qf_mass_tet,
28                 qf_setup_hex, qf_mass_hex;
29   CeedOperator op_setup_tet, op_mass_tet,
30                op_setup_hex, op_mass_hex,
31                op_setup, op_mass;
32   CeedVector q_data_tet, q_data_hex, X, U, V;
33   const CeedScalar *hv;
34   CeedInt nelem_tet = 6, P_tet = 6, Q_tet = 4,
35           nelem_hex = 6, P_hex = 3, Q_hex = 4, dim = 2;
36   CeedInt nx = 3, ny = 3,
37           nx_tet = 3, ny_tet = 1, nx_hex = 3;
38   CeedInt row, col, offset;
39   CeedInt num_dofs = (nx*2+1)*(ny*2+1),
40           num_qpts_tet = nelem_tet*Q_tet,
41           num_qpts_hex = nelem_hex*Q_hex*Q_hex;
42   CeedInt ind_x_tet[nelem_tet*P_tet],
43           ind_x_hex[nelem_hex*P_hex*P_hex];
44   CeedScalar x[dim*num_dofs];
45   CeedScalar q_ref[dim*Q_tet], q_weight[Q_tet];
46   CeedScalar interp[P_tet*Q_tet], grad[dim*P_tet*Q_tet];
47   CeedScalar sum;
48 
49   CeedInit(argv[1], &ceed);
50 
51   // DoF Coordinates
52   for (CeedInt i=0; i<ny*2+1; i++)
53     for (CeedInt j=0; j<nx*2+1; j++) {
54       x[i+j*(ny*2+1)+0*num_dofs] = (CeedScalar) i / (2*ny);
55       x[i+j*(ny*2+1)+1*num_dofs] = (CeedScalar) j / (2*nx);
56     }
57   CeedVectorCreate(ceed, dim*num_dofs, &X);
58   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
59 
60   // Qdata Vectors
61   CeedVectorCreate(ceed, num_qpts_tet, &q_data_tet);
62   CeedVectorCreate(ceed, num_qpts_hex, &q_data_hex);
63 
64   // _tet Elements
65   for (CeedInt i=0; i<nelem_tet/2; i++) {
66     col = i % nx_tet;
67     row = i / nx_tet;
68     offset = col*2 + row*(nx_tet*2+1)*2;
69 
70     ind_x_tet[i*2*P_tet +  0] =  2 + offset;
71     ind_x_tet[i*2*P_tet +  1] =  9 + offset;
72     ind_x_tet[i*2*P_tet +  2] = 16 + offset;
73     ind_x_tet[i*2*P_tet +  3] =  1 + offset;
74     ind_x_tet[i*2*P_tet +  4] =  8 + offset;
75     ind_x_tet[i*2*P_tet +  5] =  0 + offset;
76 
77     ind_x_tet[i*2*P_tet +  6] = 14 + offset;
78     ind_x_tet[i*2*P_tet +  7] =  7 + offset;
79     ind_x_tet[i*2*P_tet +  8] =  0 + offset;
80     ind_x_tet[i*2*P_tet +  9] = 15 + offset;
81     ind_x_tet[i*2*P_tet + 10] =  8 + offset;
82     ind_x_tet[i*2*P_tet + 11] = 16 + offset;
83   }
84 
85   // -- Restrictions
86   CeedElemRestrictionCreate(ceed, nelem_tet, P_tet, dim, num_dofs, dim*num_dofs,
87                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
88                             &elem_restr_x_tet);
89 
90   CeedElemRestrictionCreate(ceed, nelem_tet, P_tet, 1, 1, num_dofs,
91                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
92                             &elem_restr_u_tet);
93   CeedInt strides_qd_tet[3] = {1, Q_tet, Q_tet};
94   CeedElemRestrictionCreateStrided(ceed,  nelem_tet, Q_tet, 1, num_qpts_tet,
95                                    strides_qd_tet, &elem_restr_qd_i_tet);
96 
97   // -- Bases
98   buildmats(q_ref, q_weight, interp, grad);
99   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, dim, P_tet, Q_tet, interp, grad,
100                     q_ref, q_weight, &basis_x_tet);
101 
102   buildmats(q_ref, q_weight, interp, grad);
103   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, 1, P_tet, Q_tet, interp, grad,
104                     q_ref, q_weight, &basis_u_tet);
105 
106   // -- QFunctions
107   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_tet);
108   CeedQFunctionAddInput(qf_setup_tet, "weight", 1, CEED_EVAL_WEIGHT);
109   CeedQFunctionAddInput(qf_setup_tet, "dx", dim*dim, CEED_EVAL_GRAD);
110   CeedQFunctionAddOutput(qf_setup_tet, "rho", 1, CEED_EVAL_NONE);
111 
112   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_tet);
113   CeedQFunctionAddInput(qf_mass_tet, "rho", 1, CEED_EVAL_NONE);
114   CeedQFunctionAddInput(qf_mass_tet, "u", 1, CEED_EVAL_INTERP);
115   CeedQFunctionAddOutput(qf_mass_tet, "v", 1, CEED_EVAL_INTERP);
116 
117   // -- Operators
118   // ---- Setup _tet
119   CeedOperatorCreate(ceed, qf_setup_tet, CEED_QFUNCTION_NONE,
120                      CEED_QFUNCTION_NONE, &op_setup_tet);
121   CeedOperatorSetField(op_setup_tet, "weight", CEED_ELEMRESTRICTION_NONE,
122                        basis_x_tet,
123                        CEED_VECTOR_NONE);
124   CeedOperatorSetField(op_setup_tet, "dx", elem_restr_x_tet, basis_x_tet,
125                        CEED_VECTOR_ACTIVE);
126   CeedOperatorSetField(op_setup_tet, "rho", elem_restr_qd_i_tet,
127                        CEED_BASIS_COLLOCATED, q_data_tet);
128   // ---- Mass _tet
129   CeedOperatorCreate(ceed, qf_mass_tet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
130                      &op_mass_tet);
131   CeedOperatorSetField(op_mass_tet, "rho", elem_restr_qd_i_tet,
132                        CEED_BASIS_COLLOCATED,
133                        q_data_tet);
134   CeedOperatorSetField(op_mass_tet, "u", elem_restr_u_tet, basis_u_tet,
135                        CEED_VECTOR_ACTIVE);
136   CeedOperatorSetField(op_mass_tet, "v", elem_restr_u_tet, basis_u_tet,
137                        CEED_VECTOR_ACTIVE);
138 
139   // _hex Elements
140   for (CeedInt i=0; i<nelem_hex; i++) {
141     col = i % nx_hex;
142     row = i / nx_hex;
143     offset = (nx_tet*2+1)*(ny_tet*2)*(1+row) + col*2;
144     for (CeedInt j=0; j<P_hex; j++)
145       for (CeedInt k=0; k<P_hex; k++)
146         ind_x_hex[P_hex*(P_hex*i+k)+j] = offset + k*(nx_hex*2+1) + j;
147   }
148 
149   // -- Restrictions
150   CeedElemRestrictionCreate(ceed, nelem_hex, P_hex*P_hex, dim, num_dofs,
151                             dim*num_dofs,
152                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
153                             &elem_restr_x_hex);
154 
155   CeedElemRestrictionCreate(ceed, nelem_hex, P_hex*P_hex, 1, 1, num_dofs,
156                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
157                             &elem_restr_u_hex);
158   CeedInt strides_qd_hex[3] = {1, Q_hex*Q_hex, Q_hex*Q_hex};
159   CeedElemRestrictionCreateStrided(ceed, nelem_hex, Q_hex*Q_hex, 1, num_qpts_hex,
160                                    strides_qd_hex, &elem_restr_qd_i_hex);
161 
162   // -- Bases
163   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P_hex, Q_hex, CEED_GAUSS,
164                                   &basis_x_hex);
165   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P_hex, Q_hex, CEED_GAUSS,
166                                   &basis_u_hex);
167 
168   // -- QFunctions
169   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_hex);
170   CeedQFunctionAddInput(qf_setup_hex, "weight", 1, CEED_EVAL_WEIGHT);
171   CeedQFunctionAddInput(qf_setup_hex, "dx", dim*dim, CEED_EVAL_GRAD);
172   CeedQFunctionAddOutput(qf_setup_hex, "rho", 1, CEED_EVAL_NONE);
173 
174   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_hex);
175   CeedQFunctionAddInput(qf_mass_hex, "rho", 1, CEED_EVAL_NONE);
176   CeedQFunctionAddInput(qf_mass_hex, "u", 1, CEED_EVAL_INTERP);
177   CeedQFunctionAddOutput(qf_mass_hex, "v", 1, CEED_EVAL_INTERP);
178 
179   // -- Operators
180   CeedOperatorCreate(ceed, qf_setup_hex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
181                      &op_setup_hex);
182   CeedOperatorSetField(op_setup_hex, "weight", CEED_ELEMRESTRICTION_NONE,
183                        basis_x_hex,
184                        CEED_VECTOR_NONE);
185   CeedOperatorSetField(op_setup_hex, "dx", elem_restr_x_hex, basis_x_hex,
186                        CEED_VECTOR_ACTIVE);
187   CeedOperatorSetField(op_setup_hex, "rho", elem_restr_qd_i_hex,
188                        CEED_BASIS_COLLOCATED, q_data_hex);
189 
190   CeedOperatorCreate(ceed, qf_mass_hex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
191                      &op_mass_hex);
192   CeedOperatorSetField(op_mass_hex, "rho", elem_restr_qd_i_hex,
193                        CEED_BASIS_COLLOCATED,
194                        q_data_hex);
195   CeedOperatorSetField(op_mass_hex, "u", elem_restr_u_hex, basis_u_hex,
196                        CEED_VECTOR_ACTIVE);
197   CeedOperatorSetField(op_mass_hex, "v", elem_restr_u_hex, basis_u_hex,
198                        CEED_VECTOR_ACTIVE);
199 
200   // Composite Operators
201   CeedCompositeOperatorCreate(ceed, &op_setup);
202   CeedCompositeOperatorAddSub(op_setup, op_setup_tet);
203   CeedCompositeOperatorAddSub(op_setup, op_setup_hex);
204 
205   CeedCompositeOperatorCreate(ceed, &op_mass);
206   CeedCompositeOperatorAddSub(op_mass, op_mass_tet);
207   CeedCompositeOperatorAddSub(op_mass, op_mass_hex);
208 
209   // Apply Setup Operator
210   CeedOperatorApply(op_setup, X, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE);
211 
212   // Apply Mass Operator
213   CeedVectorCreate(ceed, num_dofs, &U);
214   CeedVectorSetValue(U, 1.0);
215   CeedVectorCreate(ceed, num_dofs, &V);
216   CeedVectorSetValue(V, 0.0);
217 
218   // Apply
219   CeedOperatorApplyAdd(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
220 
221   // Check output
222   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
223   sum = 0.;
224   for (CeedInt i=0; i<num_dofs; i++)
225     sum += hv[i];
226   if (fabs(sum-1.)>1000.*CEED_EPSILON)
227     // LCOV_EXCL_START
228     printf("Computed Area: %f != True Area: 1.0\n", sum);
229   // LCOV_EXCL_STOP
230   CeedVectorRestoreArrayRead(V, &hv);
231 
232   // Apply Add
233   CeedVectorSetValue(V, 1.0);
234   CeedOperatorApplyAdd(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
235 
236   // Check output
237   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
238   sum = -num_dofs;
239   for (CeedInt i=0; i<num_dofs; i++)
240     sum += hv[i];
241   if (fabs(sum-1.)>1000.*CEED_EPSILON)
242     // LCOV_EXCL_START
243     printf("Computed Area: %f != True Area: 1.0\n", sum);
244   // LCOV_EXCL_STOP
245   CeedVectorRestoreArrayRead(V, &hv);
246 
247   // Cleanup
248   CeedQFunctionDestroy(&qf_setup_tet);
249   CeedQFunctionDestroy(&qf_mass_tet);
250   CeedOperatorDestroy(&op_setup_tet);
251   CeedOperatorDestroy(&op_mass_tet);
252   CeedQFunctionDestroy(&qf_setup_hex);
253   CeedQFunctionDestroy(&qf_mass_hex);
254   CeedOperatorDestroy(&op_setup_hex);
255   CeedOperatorDestroy(&op_mass_hex);
256   CeedOperatorDestroy(&op_setup);
257   CeedOperatorDestroy(&op_mass);
258   CeedElemRestrictionDestroy(&elem_restr_u_tet);
259   CeedElemRestrictionDestroy(&elem_restr_x_tet);
260   CeedElemRestrictionDestroy(&elem_restr_qd_i_tet);
261   CeedElemRestrictionDestroy(&elem_restr_u_hex);
262   CeedElemRestrictionDestroy(&elem_restr_x_hex);
263   CeedElemRestrictionDestroy(&elem_restr_qd_i_hex);
264   CeedBasisDestroy(&basis_u_tet);
265   CeedBasisDestroy(&basis_x_tet);
266   CeedBasisDestroy(&basis_u_hex);
267   CeedBasisDestroy(&basis_x_hex);
268   CeedVectorDestroy(&X);
269   CeedVectorDestroy(&U);
270   CeedVectorDestroy(&V);
271   CeedVectorDestroy(&q_data_tet);
272   CeedVectorDestroy(&q_data_hex);
273   CeedDestroy(&ceed);
274   return 0;
275 }
276