xref: /libCEED/tests/t522-operator.c (revision d0293d3e9e5acb33f03f30a5189337eb6e116629)
1 /// @file
2 /// Test creation, action, and destruction for diffusion matrix operator
3 /// \test Test creation, action, and destruction for diffusion matrix operator
4 #include <ceed.h>
5 #include <stdlib.h>
6 #include <math.h>
7 #include "t320-basis.h"
8 #include "t522-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_diff_tet,
28                 qf_setup_hex, qf_diff_hex;
29   CeedOperator op_setup_tet, op_diff_tet,
30                op_setup_hex, op_diff_hex,
31                op_setup, op_diff;
32   CeedVector q_data_tet, q_data_hex, X, U, V;
33   const CeedScalar *hv;
34   CeedInt num_elem_tet = 6, P_tet = 6, Q_tet = 4,
35           num_elem_hex = 6, P_hex = 3, Q_hex = 4, dim = 2;
36   CeedInt n_x = 3, n_y = 3,
37           n_x_tet = 3, n_y_tet = 1, n_x_hex = 3;
38   CeedInt row, col, offset;
39   CeedInt num_dofs = (n_x*2+1)*(n_y*2+1),
40           num_qpts_tet = num_elem_tet*Q_tet,
41           num_qpts_hex = num_elem_hex*Q_hex*Q_hex;
42   CeedInt ind_x_tet[num_elem_tet*P_tet],
43           ind_x_hex[num_elem_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 
48   CeedInit(argv[1], &ceed);
49 
50   // DoF Coordinates
51   for (CeedInt i=0; i<n_y*2+1; i++)
52     for (CeedInt j=0; j<n_x*2+1; j++) {
53       x[i+j*(n_y*2+1)+0*num_dofs] = (CeedScalar) i / (2*n_y);
54       x[i+j*(n_y*2+1)+1*num_dofs] = (CeedScalar) j / (2*n_x);
55     }
56   CeedVectorCreate(ceed, dim*num_dofs, &X);
57   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
58 
59   // Qdata Vectors
60   CeedVectorCreate(ceed, num_qpts_tet*dim*(dim+1)/2, &q_data_tet);
61   CeedVectorCreate(ceed, num_qpts_hex*dim*(dim+1)/2, &q_data_hex);
62 
63   // Tet Elements
64   for (CeedInt i=0; i<num_elem_tet/2; i++) {
65     col = i % n_x_tet;
66     row = i / n_x_tet;
67     offset = col*2 + row*(n_x_tet*2+1)*2;
68 
69     ind_x_tet[i*2*P_tet +  0] =  2 + offset;
70     ind_x_tet[i*2*P_tet +  1] =  9 + offset;
71     ind_x_tet[i*2*P_tet +  2] = 16 + offset;
72     ind_x_tet[i*2*P_tet +  3] =  1 + offset;
73     ind_x_tet[i*2*P_tet +  4] =  8 + offset;
74     ind_x_tet[i*2*P_tet +  5] =  0 + offset;
75 
76     ind_x_tet[i*2*P_tet +  6] = 14 + offset;
77     ind_x_tet[i*2*P_tet +  7] =  7 + offset;
78     ind_x_tet[i*2*P_tet +  8] =  0 + offset;
79     ind_x_tet[i*2*P_tet +  9] = 15 + offset;
80     ind_x_tet[i*2*P_tet + 10] =  8 + offset;
81     ind_x_tet[i*2*P_tet + 11] = 16 + offset;
82   }
83 
84   // -- Restrictions
85   CeedElemRestrictionCreate(ceed, num_elem_tet, P_tet, dim, num_dofs,
86                             dim*num_dofs,
87                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
88                             &elem_restr_x_tet);
89 
90   CeedElemRestrictionCreate(ceed, num_elem_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 *dim *(dim+1)/2};
94   CeedElemRestrictionCreateStrided(ceed, num_elem_tet, Q_tet, dim*(dim+1)/2,
95                                    dim*(dim+1)/2*num_qpts_tet, strides_qd_tet,
96                                    &elem_restr_qd_i_tet);
97 
98   // -- Bases
99   buildmats(q_ref, q_weight, interp, grad);
100   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, P_tet, Q_tet, interp, grad, q_ref,
101                     q_weight, &basis_x_tet);
102 
103   buildmats(q_ref, q_weight, interp, grad);
104   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, P_tet, Q_tet, interp, grad, q_ref,
105                     q_weight, &basis_u_tet);
106 
107   // -- QFunctions
108   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_tet);
109   CeedQFunctionAddInput(qf_setup_tet, "_weight", 1, CEED_EVAL_WEIGHT);
110   CeedQFunctionAddInput(qf_setup_tet, "dx", dim*dim, CEED_EVAL_GRAD);
111   CeedQFunctionAddOutput(qf_setup_tet, "rho", dim*(dim+1)/2, CEED_EVAL_NONE);
112 
113   CeedQFunctionCreateInterior(ceed, 1, diff, diff_loc, &qf_diff_tet);
114   CeedQFunctionAddInput(qf_diff_tet, "rho", dim*(dim+1)/2, CEED_EVAL_NONE);
115   CeedQFunctionAddInput(qf_diff_tet, "u", dim, CEED_EVAL_GRAD);
116   CeedQFunctionAddOutput(qf_diff_tet, "v", dim, CEED_EVAL_GRAD);
117 
118   // -- Operators
119   // ---- Setup Tet
120   CeedOperatorCreate(ceed, qf_setup_tet, CEED_QFUNCTION_NONE,
121                      CEED_QFUNCTION_NONE, &op_setup_tet);
122   CeedOperatorSetField(op_setup_tet, "_weight", CEED_ELEMRESTRICTION_NONE,
123                        basis_x_tet,
124                        CEED_VECTOR_NONE);
125   CeedOperatorSetField(op_setup_tet, "dx", elem_restr_x_tet, basis_x_tet,
126                        CEED_VECTOR_ACTIVE);
127   CeedOperatorSetField(op_setup_tet, "rho", elem_restr_qd_i_tet,
128                        CEED_BASIS_COLLOCATED, q_data_tet);
129   // ---- diff Tet
130   CeedOperatorCreate(ceed, qf_diff_tet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
131                      &op_diff_tet);
132   CeedOperatorSetField(op_diff_tet, "rho", elem_restr_qd_i_tet,
133                        CEED_BASIS_COLLOCATED, q_data_tet);
134   CeedOperatorSetField(op_diff_tet, "u", elem_restr_u_tet, basis_u_tet,
135                        CEED_VECTOR_ACTIVE);
136   CeedOperatorSetField(op_diff_tet, "v", elem_restr_u_tet, basis_u_tet,
137                        CEED_VECTOR_ACTIVE);
138 
139   // Hex Elements
140   for (CeedInt i=0; i<num_elem_hex; i++) {
141     col = i % n_x_hex;
142     row = i / n_x_hex;
143     offset = (n_x_tet*2+1)*(n_y_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*(n_x_hex*2+1) + j;
147   }
148 
149   // -- Restrictions
150   CeedElemRestrictionCreate(ceed, num_elem_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, num_elem_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 *dim *(dim+1)/2};
159   CeedElemRestrictionCreateStrided(ceed, num_elem_hex, Q_hex*Q_hex, dim*(dim+1)/2,
160                                    dim*(dim+1)/2*num_qpts_hex, strides_qd_hex,
161                                    &elem_restr_qd_i_hex);
162 
163   // -- Bases
164   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P_hex, Q_hex, CEED_GAUSS,
165                                   &basis_x_hex);
166   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P_hex, Q_hex, CEED_GAUSS,
167                                   &basis_u_hex);
168 
169   // -- QFunctions
170   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_hex);
171   CeedQFunctionAddInput(qf_setup_hex, "_weight", 1, CEED_EVAL_WEIGHT);
172   CeedQFunctionAddInput(qf_setup_hex, "dx", dim*dim, CEED_EVAL_GRAD);
173   CeedQFunctionAddOutput(qf_setup_hex, "rho", dim*(dim+1)/2, CEED_EVAL_NONE);
174 
175   CeedQFunctionCreateInterior(ceed, 1, diff, diff_loc, &qf_diff_hex);
176   CeedQFunctionAddInput(qf_diff_hex, "rho", dim*(dim+1)/2, CEED_EVAL_NONE);
177   CeedQFunctionAddInput(qf_diff_hex, "u", dim, CEED_EVAL_GRAD);
178   CeedQFunctionAddOutput(qf_diff_hex, "v", dim, CEED_EVAL_GRAD);
179 
180   // -- Operators
181   CeedOperatorCreate(ceed, qf_setup_hex, CEED_QFUNCTION_NONE,
182                      CEED_QFUNCTION_NONE, &op_setup_hex);
183   CeedOperatorSetField(op_setup_hex, "_weight", CEED_ELEMRESTRICTION_NONE,
184                        basis_x_hex,
185                        CEED_VECTOR_NONE);
186   CeedOperatorSetField(op_setup_hex, "dx", elem_restr_x_hex, basis_x_hex,
187                        CEED_VECTOR_ACTIVE);
188   CeedOperatorSetField(op_setup_hex, "rho", elem_restr_qd_i_hex,
189                        CEED_BASIS_COLLOCATED, q_data_hex);
190 
191   CeedOperatorCreate(ceed, qf_diff_hex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
192                      &op_diff_hex);
193   CeedOperatorSetField(op_diff_hex, "rho", elem_restr_qd_i_hex,
194                        CEED_BASIS_COLLOCATED, q_data_hex);
195   CeedOperatorSetField(op_diff_hex, "u", elem_restr_u_hex, basis_u_hex,
196                        CEED_VECTOR_ACTIVE);
197   CeedOperatorSetField(op_diff_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_diff);
206   CeedCompositeOperatorAddSub(op_diff, op_diff_tet);
207   CeedCompositeOperatorAddSub(op_diff, op_diff_hex);
208 
209   // Apply Setup Operator
210   CeedOperatorApply(op_setup, X, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE);
211 
212   // Apply diff Operator
213   CeedVectorCreate(ceed, num_dofs, &U);
214   CeedVectorSetValue(U, 1.0);
215   CeedVectorCreate(ceed, num_dofs, &V);
216 
217   CeedOperatorApply(op_diff, U, V, CEED_REQUEST_IMMEDIATE);
218 
219   // Check output
220   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
221   for (CeedInt i=0; i<num_dofs; i++)
222     if (fabs(hv[i])>1e-14) printf("Computed: %f != True: 0.0\n", hv[i]);
223   CeedVectorRestoreArrayRead(V, &hv);
224 
225   // Cleanup
226   CeedQFunctionDestroy(&qf_setup_tet);
227   CeedQFunctionDestroy(&qf_diff_tet);
228   CeedOperatorDestroy(&op_setup_tet);
229   CeedOperatorDestroy(&op_diff_tet);
230   CeedQFunctionDestroy(&qf_setup_hex);
231   CeedQFunctionDestroy(&qf_diff_hex);
232   CeedOperatorDestroy(&op_setup_hex);
233   CeedOperatorDestroy(&op_diff_hex);
234   CeedOperatorDestroy(&op_setup);
235   CeedOperatorDestroy(&op_diff);
236   CeedElemRestrictionDestroy(&elem_restr_u_tet);
237   CeedElemRestrictionDestroy(&elem_restr_x_tet);
238   CeedElemRestrictionDestroy(&elem_restr_qd_i_tet);
239   CeedElemRestrictionDestroy(&elem_restr_u_hex);
240   CeedElemRestrictionDestroy(&elem_restr_x_hex);
241   CeedElemRestrictionDestroy(&elem_restr_qd_i_hex);
242   CeedBasisDestroy(&basis_u_tet);
243   CeedBasisDestroy(&basis_x_tet);
244   CeedBasisDestroy(&basis_u_hex);
245   CeedBasisDestroy(&basis_x_hex);
246   CeedVectorDestroy(&X);
247   CeedVectorDestroy(&U);
248   CeedVectorDestroy(&V);
249   CeedVectorDestroy(&q_data_tet);
250   CeedVectorDestroy(&q_data_hex);
251   CeedDestroy(&ceed);
252   return 0;
253 }
254