xref: /libCEED/tests/t520-operator.c (revision d1d35e2f02dc969aee8debf3fd943dd784aa847a)
152d6035fSJeremy L Thompson /// @file
26227f746SJeremy L Thompson /// Test creation, action, and destruction for composite mass matrix operator
36227f746SJeremy L Thompson /// \test Test creation, action, and destruction for composite mass matrix operator
452d6035fSJeremy L Thompson #include <ceed.h>
552d6035fSJeremy L Thompson #include <stdlib.h>
652d6035fSJeremy L Thompson #include <math.h>
752bfb9bbSJeremy L Thompson #include "t320-basis.h"
8a05f9790Sjeremylt #include "t510-operator.h"
94d537eeaSYohann 
1052d6035fSJeremy L Thompson /* The mesh comprises of two rows of 3 quadralaterals followed by one row
1152d6035fSJeremy L Thompson      of 6 triangles:
1252d6035fSJeremy L Thompson    _ _ _
1352d6035fSJeremy L Thompson   |_|_|_|
1452d6035fSJeremy L Thompson   |_|_|_|
1552d6035fSJeremy L Thompson   |/|/|/|
1652d6035fSJeremy L Thompson 
1752d6035fSJeremy L Thompson */
1852d6035fSJeremy L Thompson 
1952d6035fSJeremy L Thompson int main(int argc, char **argv) {
2052d6035fSJeremy L Thompson   Ceed ceed;
21*d1d35e2fSjeremylt   CeedElemRestriction elem_restr_x_tet, elem_restr_u_tet,
22*d1d35e2fSjeremylt                       elem_restr_qd_i_tet,
23*d1d35e2fSjeremylt                       elem_restr_x_hex, elem_restr_u_hex,
24*d1d35e2fSjeremylt                       elem_restr_qd_i_hex;
25*d1d35e2fSjeremylt   CeedBasis basis_x_tet, basis_u_tet,
26*d1d35e2fSjeremylt             basis_x_hex, basis_u_hex;
27*d1d35e2fSjeremylt   CeedQFunction qf_setup_tet, qf_mass_tet,
28*d1d35e2fSjeremylt                 qf_setup_hex, qf_mass_hex;
29*d1d35e2fSjeremylt   CeedOperator op_setup_tet, op_mass_tet,
30*d1d35e2fSjeremylt                op_setup_hex, op_mass_hex,
3152d6035fSJeremy L Thompson                op_setup, op_mass;
32*d1d35e2fSjeremylt   CeedVector q_data_tet, q_data_hex, X, U, V;
3352d6035fSJeremy L Thompson   const CeedScalar *hv;
34*d1d35e2fSjeremylt   CeedInt num_elem_tet = 6, P_tet = 6, Q_tet = 4,
35*d1d35e2fSjeremylt           num_elem_hex = 6, P_hex = 3, Q_hex = 4, dim = 2;
36*d1d35e2fSjeremylt   CeedInt n_x = 3, n_y = 3,
37*d1d35e2fSjeremylt           n_x_tet = 3, n_y_tet = 1, n_x_hex = 3;
3852d6035fSJeremy L Thompson   CeedInt row, col, offset;
39*d1d35e2fSjeremylt   CeedInt num_dofs = (n_x*2+1)*(n_y*2+1),
40*d1d35e2fSjeremylt           num_qpts_tet = num_elem_tet*Q_tet,
41*d1d35e2fSjeremylt           num_qpts_hex = num_elem_hex*Q_hex*Q_hex;
42*d1d35e2fSjeremylt   CeedInt ind_x_tet[num_elem_tet*P_tet],
43*d1d35e2fSjeremylt           ind_x_hex[num_elem_hex*P_hex*P_hex];
44*d1d35e2fSjeremylt   CeedScalar x[dim*num_dofs];
45*d1d35e2fSjeremylt   CeedScalar q_ref[dim*Q_tet], q_weight[Q_tet];
46*d1d35e2fSjeremylt   CeedScalar interp[P_tet*Q_tet], grad[dim*P_tet*Q_tet];
4752d6035fSJeremy L Thompson 
4852d6035fSJeremy L Thompson   CeedInit(argv[1], &ceed);
4952d6035fSJeremy L Thompson 
5052d6035fSJeremy L Thompson   // DoF Coordinates
51*d1d35e2fSjeremylt   for (CeedInt i=0; i<n_y*2+1; i++)
52*d1d35e2fSjeremylt     for (CeedInt j=0; j<n_x*2+1; j++) {
53*d1d35e2fSjeremylt       x[i+j*(n_y*2+1)+0*num_dofs] = (CeedScalar) i / (2*n_y);
54*d1d35e2fSjeremylt       x[i+j*(n_y*2+1)+1*num_dofs] = (CeedScalar) j / (2*n_x);
5552d6035fSJeremy L Thompson     }
56*d1d35e2fSjeremylt   CeedVectorCreate(ceed, dim*num_dofs, &X);
5752d6035fSJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
5852d6035fSJeremy L Thompson 
5952d6035fSJeremy L Thompson   // Qdata Vectors
60*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts_tet, &q_data_tet);
61*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts_hex, &q_data_hex);
6252d6035fSJeremy L Thompson 
6352d6035fSJeremy L Thompson   // Set up Tet Elements
64*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem_tet/2; i++) {
65*d1d35e2fSjeremylt     col = i % n_x_tet;
66*d1d35e2fSjeremylt     row = i / n_x_tet;
67*d1d35e2fSjeremylt     offset = col*2 + row*(n_x_tet*2+1)*2;
6852d6035fSJeremy L Thompson 
69*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  0] =  2 + offset;
70*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  1] =  9 + offset;
71*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  2] = 16 + offset;
72*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  3] =  1 + offset;
73*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  4] =  8 + offset;
74*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  5] =  0 + offset;
7552d6035fSJeremy L Thompson 
76*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  6] = 14 + offset;
77*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  7] =  7 + offset;
78*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  8] =  0 + offset;
79*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  9] = 15 + offset;
80*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet + 10] =  8 + offset;
81*d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet + 11] = 16 + offset;
8252d6035fSJeremy L Thompson   }
8352d6035fSJeremy L Thompson 
8452d6035fSJeremy L Thompson   // -- Restrictions
85*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem_tet, P_tet, dim, num_dofs,
86*d1d35e2fSjeremylt                             dim*num_dofs,
87*d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
88*d1d35e2fSjeremylt                             &elem_restr_x_tet);
8952d6035fSJeremy L Thompson 
90*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem_tet, P_tet, 1, 1, num_dofs,
91*d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
92*d1d35e2fSjeremylt                             &elem_restr_u_tet);
93*d1d35e2fSjeremylt   CeedInt strides_qd_tet[3] = {1, Q_tet, Q_tet};
94*d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed,  num_elem_tet, Q_tet, 1, num_qpts_tet,
95*d1d35e2fSjeremylt                                    strides_qd_tet, &elem_restr_qd_i_tet);
9652d6035fSJeremy L Thompson 
9752d6035fSJeremy L Thompson   // -- Bases
98*d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
99*d1d35e2fSjeremylt   CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, P_tet, Q_tet, interp, grad, q_ref,
100*d1d35e2fSjeremylt                     q_weight, &basis_x_tet);
10152d6035fSJeremy L Thompson 
102*d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
103*d1d35e2fSjeremylt   CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, P_tet, Q_tet, interp, grad, q_ref,
104*d1d35e2fSjeremylt                     q_weight, &basis_u_tet);
10552d6035fSJeremy L Thompson 
10652d6035fSJeremy L Thompson   // -- QFunctions
107*d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_tet);
108*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_tet, "_weight", 1, CEED_EVAL_WEIGHT);
109*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_tet, "dx", dim*dim, CEED_EVAL_GRAD);
110*d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_setup_tet, "rho", 1, CEED_EVAL_NONE);
11152d6035fSJeremy L Thompson 
112*d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_tet);
113*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_tet, "rho", 1, CEED_EVAL_NONE);
114*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_tet, "u", 1, CEED_EVAL_INTERP);
115*d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass_tet, "v", 1, CEED_EVAL_INTERP);
11652d6035fSJeremy L Thompson 
11752d6035fSJeremy L Thompson   // -- Operators
11852d6035fSJeremy L Thompson   // ---- Setup Tet
119*d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_setup_tet, CEED_QFUNCTION_NONE,
120*d1d35e2fSjeremylt                      CEED_QFUNCTION_NONE, &op_setup_tet);
121*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_tet, "_weight", CEED_ELEMRESTRICTION_NONE,
122*d1d35e2fSjeremylt                        basis_x_tet,
123a8d32208Sjeremylt                        CEED_VECTOR_NONE);
124*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_tet, "dx", elem_restr_x_tet, basis_x_tet,
125a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
126*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_tet, "rho", elem_restr_qd_i_tet,
127*d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED, q_data_tet);
12852d6035fSJeremy L Thompson   // ---- Mass Tet
129*d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_mass_tet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
130*d1d35e2fSjeremylt                      &op_mass_tet);
131*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_tet, "rho", elem_restr_qd_i_tet,
132*d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED,
133*d1d35e2fSjeremylt                        q_data_tet);
134*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_tet, "u", elem_restr_u_tet, basis_u_tet,
135a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
136*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_tet, "v", elem_restr_u_tet, basis_u_tet,
137a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
13852d6035fSJeremy L Thompson 
13952d6035fSJeremy L Thompson   // Set up Hex Elements
140*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem_hex; i++) {
141*d1d35e2fSjeremylt     col = i % n_x_hex;
142*d1d35e2fSjeremylt     row = i / n_x_hex;
143*d1d35e2fSjeremylt     offset = (n_x_tet*2+1)*(n_y_tet*2)*(1+row) + col*2;
144*d1d35e2fSjeremylt     for (CeedInt j=0; j<P_hex; j++)
145*d1d35e2fSjeremylt       for (CeedInt k=0; k<P_hex; k++)
146*d1d35e2fSjeremylt         ind_x_hex[P_hex*(P_hex*i+k)+j] = offset + k*(n_x_hex*2+1) + j;
14752d6035fSJeremy L Thompson   }
14852d6035fSJeremy L Thompson 
14952d6035fSJeremy L Thompson   // -- Restrictions
150*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem_hex, P_hex*P_hex, dim, num_dofs,
151*d1d35e2fSjeremylt                             dim*num_dofs,
152*d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
153*d1d35e2fSjeremylt                             &elem_restr_x_hex);
15452d6035fSJeremy L Thompson 
155*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem_hex, P_hex*P_hex, 1, 1, num_dofs,
156*d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
157*d1d35e2fSjeremylt                             &elem_restr_u_hex);
158*d1d35e2fSjeremylt   CeedInt strides_qd_hex[3] = {1, Q_hex*Q_hex, Q_hex*Q_hex};
159*d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, num_elem_hex, Q_hex*Q_hex, 1,
160*d1d35e2fSjeremylt                                    num_qpts_hex,
161*d1d35e2fSjeremylt                                    strides_qd_hex, &elem_restr_qd_i_hex);
16252d6035fSJeremy L Thompson 
16352d6035fSJeremy L Thompson   // -- Bases
164*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P_hex, Q_hex, CEED_GAUSS,
165*d1d35e2fSjeremylt                                   &basis_x_hex);
166*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P_hex, Q_hex, CEED_GAUSS,
167*d1d35e2fSjeremylt                                   &basis_u_hex);
16852d6035fSJeremy L Thompson 
16952d6035fSJeremy L Thompson   // -- QFunctions
170*d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_hex);
171*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_hex, "_weight", 1, CEED_EVAL_WEIGHT);
172*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_hex, "dx", dim*dim, CEED_EVAL_GRAD);
173*d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_setup_hex, "rho", 1, CEED_EVAL_NONE);
17452d6035fSJeremy L Thompson 
175*d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_hex);
176*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_hex, "rho", 1, CEED_EVAL_NONE);
177*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_hex, "u", 1, CEED_EVAL_INTERP);
178*d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass_hex, "v", 1, CEED_EVAL_INTERP);
17952d6035fSJeremy L Thompson 
18052d6035fSJeremy L Thompson   // -- Operators
181*d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_setup_hex, CEED_QFUNCTION_NONE,
182*d1d35e2fSjeremylt                      CEED_QFUNCTION_NONE, &op_setup_hex);
183*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_hex, "_weight", CEED_ELEMRESTRICTION_NONE,
184*d1d35e2fSjeremylt                        basis_x_hex,
185a8d32208Sjeremylt                        CEED_VECTOR_NONE);
186*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_hex, "dx", elem_restr_x_hex, basis_x_hex,
187a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
188*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_hex, "rho", elem_restr_qd_i_hex,
189*d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED, q_data_hex);
19052d6035fSJeremy L Thompson 
191*d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_mass_hex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
192*d1d35e2fSjeremylt                      &op_mass_hex);
193*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_hex, "rho", elem_restr_qd_i_hex,
194*d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED,
195*d1d35e2fSjeremylt                        q_data_hex);
196*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_hex, "u", elem_restr_u_hex, basis_u_hex,
197a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
198*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_hex, "v", elem_restr_u_hex, basis_u_hex,
199a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
20052d6035fSJeremy L Thompson 
20152d6035fSJeremy L Thompson   // Set up Composite Operators
20252d6035fSJeremy L Thompson   // -- Create
20352d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_setup);
20452d6035fSJeremy L Thompson   // -- Add SubOperators
205*d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setup_tet);
206*d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setup_hex);
20752d6035fSJeremy L Thompson 
20852d6035fSJeremy L Thompson   // -- Create
20952d6035fSJeremy L Thompson   CeedCompositeOperatorCreate(ceed, &op_mass);
21052d6035fSJeremy L Thompson   // -- Add SubOperators
211*d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_mass, op_mass_tet);
212*d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_mass, op_mass_hex);
21352d6035fSJeremy L Thompson 
21452d6035fSJeremy L Thompson   // Apply Setup Operator
215e97ff134Sjeremylt   CeedOperatorApply(op_setup, X, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE);
21652d6035fSJeremy L Thompson 
21752d6035fSJeremy L Thompson   // Apply Mass Operator
218*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &U);
21952d6035fSJeremy L Thompson   CeedVectorSetValue(U, 0.0);
220*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &V);
22152d6035fSJeremy L Thompson 
22252d6035fSJeremy L Thompson   CeedOperatorApply(op_mass, U, V, CEED_REQUEST_IMMEDIATE);
22352d6035fSJeremy L Thompson 
22452d6035fSJeremy L Thompson   // Check output
22552d6035fSJeremy L Thompson   CeedVectorGetArrayRead(V, CEED_MEM_HOST, &hv);
226*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs; i++)
22752d6035fSJeremy L Thompson     if (fabs(hv[i]) > 1e-14) printf("[%d] v %g != 0.0\n",i, hv[i]);
22852d6035fSJeremy L Thompson   CeedVectorRestoreArrayRead(V, &hv);
22952d6035fSJeremy L Thompson 
23052d6035fSJeremy L Thompson   // Cleanup
231*d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_setup_tet);
232*d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_mass_tet);
233*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_setup_tet);
234*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_tet);
235*d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_setup_hex);
236*d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_mass_hex);
237*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_setup_hex);
238*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_hex);
23952d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setup);
24052d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_mass);
241*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_tet);
242*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x_tet);
243*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i_tet);
244*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_hex);
245*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x_hex);
246*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i_hex);
247*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_tet);
248*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x_tet);
249*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_hex);
250*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x_hex);
25152d6035fSJeremy L Thompson   CeedVectorDestroy(&X);
25252d6035fSJeremy L Thompson   CeedVectorDestroy(&U);
25352d6035fSJeremy L Thompson   CeedVectorDestroy(&V);
254*d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_tet);
255*d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_hex);
25652d6035fSJeremy L Thompson   CeedDestroy(&ceed);
25752d6035fSJeremy L Thompson   return 0;
25852d6035fSJeremy L Thompson }
259