xref: /libCEED/tests/t520-operator.c (revision 50c301a53d2cec48a2aa861bf6f38393f4831c2f)
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;
21d1d35e2fSjeremylt   CeedElemRestriction elem_restr_x_tet, elem_restr_u_tet,
22d1d35e2fSjeremylt                       elem_restr_qd_i_tet,
23d1d35e2fSjeremylt                       elem_restr_x_hex, elem_restr_u_hex,
24d1d35e2fSjeremylt                       elem_restr_qd_i_hex;
25d1d35e2fSjeremylt   CeedBasis basis_x_tet, basis_u_tet,
26d1d35e2fSjeremylt             basis_x_hex, basis_u_hex;
27d1d35e2fSjeremylt   CeedQFunction qf_setup_tet, qf_mass_tet,
28d1d35e2fSjeremylt                 qf_setup_hex, qf_mass_hex;
29d1d35e2fSjeremylt   CeedOperator op_setup_tet, op_mass_tet,
30d1d35e2fSjeremylt                op_setup_hex, op_mass_hex,
3152d6035fSJeremy L Thompson                op_setup, op_mass;
32d1d35e2fSjeremylt   CeedVector q_data_tet, q_data_hex, X, U, V;
3352d6035fSJeremy L Thompson   const CeedScalar *hv;
34d1d35e2fSjeremylt   CeedInt num_elem_tet = 6, P_tet = 6, Q_tet = 4,
35d1d35e2fSjeremylt           num_elem_hex = 6, P_hex = 3, Q_hex = 4, dim = 2;
36d1d35e2fSjeremylt   CeedInt n_x = 3, n_y = 3,
37d1d35e2fSjeremylt           n_x_tet = 3, n_y_tet = 1, n_x_hex = 3;
3852d6035fSJeremy L Thompson   CeedInt row, col, offset;
39d1d35e2fSjeremylt   CeedInt num_dofs = (n_x*2+1)*(n_y*2+1),
40d1d35e2fSjeremylt           num_qpts_tet = num_elem_tet*Q_tet,
41d1d35e2fSjeremylt           num_qpts_hex = num_elem_hex*Q_hex*Q_hex;
42d1d35e2fSjeremylt   CeedInt ind_x_tet[num_elem_tet*P_tet],
43d1d35e2fSjeremylt           ind_x_hex[num_elem_hex*P_hex*P_hex];
44d1d35e2fSjeremylt   CeedScalar x[dim*num_dofs];
45d1d35e2fSjeremylt   CeedScalar q_ref[dim*Q_tet], q_weight[Q_tet];
46d1d35e2fSjeremylt   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
51d1d35e2fSjeremylt   for (CeedInt i=0; i<n_y*2+1; i++)
52d1d35e2fSjeremylt     for (CeedInt j=0; j<n_x*2+1; j++) {
53d1d35e2fSjeremylt       x[i+j*(n_y*2+1)+0*num_dofs] = (CeedScalar) i / (2*n_y);
54d1d35e2fSjeremylt       x[i+j*(n_y*2+1)+1*num_dofs] = (CeedScalar) j / (2*n_x);
5552d6035fSJeremy L Thompson     }
56d1d35e2fSjeremylt   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
60d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts_tet, &q_data_tet);
61d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts_hex, &q_data_hex);
6252d6035fSJeremy L Thompson 
6352d6035fSJeremy L Thompson   // Set up Tet Elements
64d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem_tet/2; i++) {
65d1d35e2fSjeremylt     col = i % n_x_tet;
66d1d35e2fSjeremylt     row = i / n_x_tet;
67d1d35e2fSjeremylt     offset = col*2 + row*(n_x_tet*2+1)*2;
6852d6035fSJeremy L Thompson 
69d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  0] =  2 + offset;
70d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  1] =  9 + offset;
71d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  2] = 16 + offset;
72d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  3] =  1 + offset;
73d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  4] =  8 + offset;
74d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  5] =  0 + offset;
7552d6035fSJeremy L Thompson 
76d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  6] = 14 + offset;
77d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  7] =  7 + offset;
78d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  8] =  0 + offset;
79d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  9] = 15 + offset;
80d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet + 10] =  8 + offset;
81d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet + 11] = 16 + offset;
8252d6035fSJeremy L Thompson   }
8352d6035fSJeremy L Thompson 
8452d6035fSJeremy L Thompson   // -- Restrictions
85d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem_tet, P_tet, dim, num_dofs,
86d1d35e2fSjeremylt                             dim*num_dofs,
87d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
88d1d35e2fSjeremylt                             &elem_restr_x_tet);
8952d6035fSJeremy L Thompson 
90d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem_tet, P_tet, 1, 1, num_dofs,
91d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
92d1d35e2fSjeremylt                             &elem_restr_u_tet);
93d1d35e2fSjeremylt   CeedInt strides_qd_tet[3] = {1, Q_tet, Q_tet};
94d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed,  num_elem_tet, Q_tet, 1, num_qpts_tet,
95d1d35e2fSjeremylt                                    strides_qd_tet, &elem_restr_qd_i_tet);
9652d6035fSJeremy L Thompson 
9752d6035fSJeremy L Thompson   // -- Bases
98d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
99*50c301a5SRezgar Shakeri   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, dim, P_tet, Q_tet, interp, grad,
100*50c301a5SRezgar Shakeri                     q_ref, q_weight, &basis_x_tet);
10152d6035fSJeremy L Thompson 
102d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
103*50c301a5SRezgar Shakeri   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, 1, P_tet, Q_tet, interp, grad,
104*50c301a5SRezgar Shakeri                     q_ref, q_weight, &basis_u_tet);
10552d6035fSJeremy L Thompson 
10652d6035fSJeremy L Thompson   // -- QFunctions
107d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_tet);
108d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_tet, "_weight", 1, CEED_EVAL_WEIGHT);
109d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_tet, "dx", dim*dim, CEED_EVAL_GRAD);
110d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_setup_tet, "rho", 1, CEED_EVAL_NONE);
11152d6035fSJeremy L Thompson 
112d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_tet);
113d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_tet, "rho", 1, CEED_EVAL_NONE);
114d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_tet, "u", 1, CEED_EVAL_INTERP);
115d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass_tet, "v", 1, CEED_EVAL_INTERP);
11652d6035fSJeremy L Thompson 
11752d6035fSJeremy L Thompson   // -- Operators
11852d6035fSJeremy L Thompson   // ---- Setup Tet
119d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_setup_tet, CEED_QFUNCTION_NONE,
120d1d35e2fSjeremylt                      CEED_QFUNCTION_NONE, &op_setup_tet);
121d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_tet, "_weight", CEED_ELEMRESTRICTION_NONE,
122d1d35e2fSjeremylt                        basis_x_tet,
123a8d32208Sjeremylt                        CEED_VECTOR_NONE);
124d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_tet, "dx", elem_restr_x_tet, basis_x_tet,
125a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
126d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_tet, "rho", elem_restr_qd_i_tet,
127d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED, q_data_tet);
12852d6035fSJeremy L Thompson   // ---- Mass Tet
129d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_mass_tet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
130d1d35e2fSjeremylt                      &op_mass_tet);
131d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_tet, "rho", elem_restr_qd_i_tet,
132d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED,
133d1d35e2fSjeremylt                        q_data_tet);
134d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_tet, "u", elem_restr_u_tet, basis_u_tet,
135a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
136d1d35e2fSjeremylt   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
140d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem_hex; i++) {
141d1d35e2fSjeremylt     col = i % n_x_hex;
142d1d35e2fSjeremylt     row = i / n_x_hex;
143d1d35e2fSjeremylt     offset = (n_x_tet*2+1)*(n_y_tet*2)*(1+row) + col*2;
144d1d35e2fSjeremylt     for (CeedInt j=0; j<P_hex; j++)
145d1d35e2fSjeremylt       for (CeedInt k=0; k<P_hex; k++)
146d1d35e2fSjeremylt         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
150d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem_hex, P_hex*P_hex, dim, num_dofs,
151d1d35e2fSjeremylt                             dim*num_dofs,
152d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
153d1d35e2fSjeremylt                             &elem_restr_x_hex);
15452d6035fSJeremy L Thompson 
155d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem_hex, P_hex*P_hex, 1, 1, num_dofs,
156d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
157d1d35e2fSjeremylt                             &elem_restr_u_hex);
158d1d35e2fSjeremylt   CeedInt strides_qd_hex[3] = {1, Q_hex*Q_hex, Q_hex*Q_hex};
159d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, num_elem_hex, Q_hex*Q_hex, 1,
160d1d35e2fSjeremylt                                    num_qpts_hex,
161d1d35e2fSjeremylt                                    strides_qd_hex, &elem_restr_qd_i_hex);
16252d6035fSJeremy L Thompson 
16352d6035fSJeremy L Thompson   // -- Bases
164d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P_hex, Q_hex, CEED_GAUSS,
165d1d35e2fSjeremylt                                   &basis_x_hex);
166d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P_hex, Q_hex, CEED_GAUSS,
167d1d35e2fSjeremylt                                   &basis_u_hex);
16852d6035fSJeremy L Thompson 
16952d6035fSJeremy L Thompson   // -- QFunctions
170d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_hex);
171a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_hex, "weight", 1, CEED_EVAL_WEIGHT);
172d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_hex, "dx", dim*dim, CEED_EVAL_GRAD);
173d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_setup_hex, "rho", 1, CEED_EVAL_NONE);
17452d6035fSJeremy L Thompson 
175d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_hex);
176d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_hex, "rho", 1, CEED_EVAL_NONE);
177d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_hex, "u", 1, CEED_EVAL_INTERP);
178d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass_hex, "v", 1, CEED_EVAL_INTERP);
17952d6035fSJeremy L Thompson 
18052d6035fSJeremy L Thompson   // -- Operators
181d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_setup_hex, CEED_QFUNCTION_NONE,
182d1d35e2fSjeremylt                      CEED_QFUNCTION_NONE, &op_setup_hex);
183a61c78d6SJeremy L Thompson   CeedOperatorSetField(op_setup_hex, "weight", CEED_ELEMRESTRICTION_NONE,
184d1d35e2fSjeremylt                        basis_x_hex,
185a8d32208Sjeremylt                        CEED_VECTOR_NONE);
186d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_hex, "dx", elem_restr_x_hex, basis_x_hex,
187a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
188d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_hex, "rho", elem_restr_qd_i_hex,
189d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED, q_data_hex);
19052d6035fSJeremy L Thompson 
191d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_mass_hex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
192d1d35e2fSjeremylt                      &op_mass_hex);
193d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_hex, "rho", elem_restr_qd_i_hex,
194d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED,
195d1d35e2fSjeremylt                        q_data_hex);
196d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_hex, "u", elem_restr_u_hex, basis_u_hex,
197a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
198d1d35e2fSjeremylt   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
205d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setup_tet);
206d1d35e2fSjeremylt   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
211d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_mass, op_mass_tet);
212d1d35e2fSjeremylt   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
218d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &U);
21952d6035fSJeremy L Thompson   CeedVectorSetValue(U, 0.0);
220d1d35e2fSjeremylt   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);
226d1d35e2fSjeremylt   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
231d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_setup_tet);
232d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_mass_tet);
233d1d35e2fSjeremylt   CeedOperatorDestroy(&op_setup_tet);
234d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_tet);
235d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_setup_hex);
236d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_mass_hex);
237d1d35e2fSjeremylt   CeedOperatorDestroy(&op_setup_hex);
238d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_hex);
23952d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_setup);
24052d6035fSJeremy L Thompson   CeedOperatorDestroy(&op_mass);
241d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_tet);
242d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x_tet);
243d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i_tet);
244d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_hex);
245d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x_hex);
246d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i_hex);
247d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_tet);
248d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x_tet);
249d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_hex);
250d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x_hex);
25152d6035fSJeremy L Thompson   CeedVectorDestroy(&X);
25252d6035fSJeremy L Thompson   CeedVectorDestroy(&U);
25352d6035fSJeremy L Thompson   CeedVectorDestroy(&V);
254d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_tet);
255d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_hex);
25652d6035fSJeremy L Thompson   CeedDestroy(&ceed);
25752d6035fSJeremy L Thompson   return 0;
25852d6035fSJeremy L Thompson }
259