xref: /libCEED/tests/t523-operator.c (revision 50c301a53d2cec48a2aa861bf6f38393f4831c2f)
12ebaca42Sjeremylt /// @file
231e5b035Sjeremylt /// Test creation, action, and destruction for mass matrix operator
331e5b035Sjeremylt /// \test Test creation, action, and destruction for mass matrix operator
42ebaca42Sjeremylt #include <ceed.h>
52ebaca42Sjeremylt #include <stdlib.h>
62ebaca42Sjeremylt #include <math.h>
72ebaca42Sjeremylt #include "t320-basis.h"
82ebaca42Sjeremylt #include "t510-operator.h"
92ebaca42Sjeremylt 
102ebaca42Sjeremylt /* The mesh comprises of two rows of 3 quadralaterals followed by one row
112ebaca42Sjeremylt      of 6 triangles:
122ebaca42Sjeremylt    _ _ _
132ebaca42Sjeremylt   |_|_|_|
142ebaca42Sjeremylt   |_|_|_|
152ebaca42Sjeremylt   |/|/|/|
162ebaca42Sjeremylt 
172ebaca42Sjeremylt */
182ebaca42Sjeremylt 
192ebaca42Sjeremylt int main(int argc, char **argv) {
202ebaca42Sjeremylt   Ceed ceed;
21d1d35e2fSjeremylt   CeedElemRestriction elem_restr_x_tet, elem_restr_u_tet,
22d1d35e2fSjeremylt                       elem_restr_qd_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,
312ebaca42Sjeremylt                op_setup, op_mass;
32d1d35e2fSjeremylt   CeedVector q_data_tet, q_data_hex, X;
33d1d35e2fSjeremylt   CeedInt nelem_tet = 6, P_tet = 6, Q_tet = 4,
34d1d35e2fSjeremylt           nelem_hex = 6, P_hex = 3, Q_hex = 4, dim = 2;
352ebaca42Sjeremylt   CeedInt nx = 3, ny = 3,
36d1d35e2fSjeremylt           nx_tet = 3, ny_tet = 1, nx_hex = 3;
372ebaca42Sjeremylt   CeedInt row, col, offset;
38d1d35e2fSjeremylt   CeedInt num_dofs = (nx*2+1)*(ny*2+1),
39d1d35e2fSjeremylt           num_qpts_tet = nelem_tet*Q_tet,
40d1d35e2fSjeremylt           num_qpts_hex = nelem_hex*Q_hex*Q_hex;
41d1d35e2fSjeremylt   CeedInt ind_x_tet[nelem_tet*P_tet],
42d1d35e2fSjeremylt           ind_x_hex[nelem_hex*P_hex*P_hex];
43d1d35e2fSjeremylt   CeedScalar q_ref[dim*Q_tet], q_weight[Q_tet];
44d1d35e2fSjeremylt   CeedScalar interp[P_tet*Q_tet], grad[dim*P_tet*Q_tet];
452ebaca42Sjeremylt 
462ebaca42Sjeremylt   CeedInit(argv[1], &ceed);
472ebaca42Sjeremylt 
482ebaca42Sjeremylt   // DoF Coordinates
49d1d35e2fSjeremylt   CeedVectorCreate(ceed, dim*num_dofs, &X);
502ebaca42Sjeremylt 
512ebaca42Sjeremylt   // Qdata Vectors
52d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts_tet, &q_data_tet);
53d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts_hex, &q_data_hex);
542ebaca42Sjeremylt 
55d1d35e2fSjeremylt   // Set up _tet Elements
56d1d35e2fSjeremylt   for (CeedInt i=0; i<nelem_tet/2; i++) {
57d1d35e2fSjeremylt     col = i % nx_tet;
58d1d35e2fSjeremylt     row = i / nx_tet;
59d1d35e2fSjeremylt     offset = col*2 + row*(nx_tet*2+1)*2;
602ebaca42Sjeremylt 
61d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  0] =  2 + offset;
62d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  1] =  9 + offset;
63d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  2] = 16 + offset;
64d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  3] =  1 + offset;
65d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  4] =  8 + offset;
66d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  5] =  0 + offset;
672ebaca42Sjeremylt 
68d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  6] = 14 + offset;
69d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  7] =  7 + offset;
70d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  8] =  0 + offset;
71d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet +  9] = 15 + offset;
72d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet + 10] =  8 + offset;
73d1d35e2fSjeremylt     ind_x_tet[i*2*P_tet + 11] = 16 + offset;
742ebaca42Sjeremylt   }
752ebaca42Sjeremylt 
762ebaca42Sjeremylt   // -- Restrictions
77d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, nelem_tet, P_tet, dim, num_dofs, dim*num_dofs,
78d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
79d1d35e2fSjeremylt                             &elem_restr_x_tet);
802ebaca42Sjeremylt 
81d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, nelem_tet, P_tet, 1, 1, num_dofs,
82d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet,
83d1d35e2fSjeremylt                             &elem_restr_u_tet);
84d1d35e2fSjeremylt   CeedInt strides_qd_tet[3] = {1, Q_tet, Q_tet};
85d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed,  nelem_tet, Q_tet, 1, num_qpts_tet,
86d1d35e2fSjeremylt                                    strides_qd_tet, &elem_restr_qd_tet);
872ebaca42Sjeremylt 
882ebaca42Sjeremylt   // -- Bases
89d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
90*50c301a5SRezgar Shakeri   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, dim, P_tet, Q_tet, interp, grad,
91*50c301a5SRezgar Shakeri                     q_ref, q_weight, &basis_x_tet);
922ebaca42Sjeremylt 
93d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
94*50c301a5SRezgar Shakeri   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, 1, P_tet, Q_tet, interp, grad,
95*50c301a5SRezgar Shakeri                     q_ref, q_weight, &basis_u_tet);
962ebaca42Sjeremylt 
972ebaca42Sjeremylt   // -- QFunctions
98d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_tet);
99a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_tet, "weight", 1, CEED_EVAL_WEIGHT);
100d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_tet, "dx", dim*dim, CEED_EVAL_GRAD);
101d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_setup_tet, "rho", 1, CEED_EVAL_NONE);
1022ebaca42Sjeremylt 
103d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_tet);
104d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_tet, "rho", 1, CEED_EVAL_NONE);
105d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_tet, "u", 1, CEED_EVAL_INTERP);
106d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass_tet, "v", 1, CEED_EVAL_INTERP);
1072ebaca42Sjeremylt 
1082ebaca42Sjeremylt   // -- Operators
109d1d35e2fSjeremylt   // ---- Setup _tet
110d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_setup_tet, CEED_QFUNCTION_NONE,
111d1d35e2fSjeremylt                      CEED_QFUNCTION_NONE, &op_setup_tet);
112a61c78d6SJeremy L Thompson   CeedOperatorSetField(op_setup_tet, "weight", CEED_ELEMRESTRICTION_NONE,
113d1d35e2fSjeremylt                        basis_x_tet,
114a8d32208Sjeremylt                        CEED_VECTOR_NONE);
115d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_tet, "dx", elem_restr_x_tet, basis_x_tet,
116a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
117d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_tet, "rho", elem_restr_qd_tet,
118d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED, q_data_tet);
119d1d35e2fSjeremylt   // ---- Mass _tet
120d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_mass_tet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
121d1d35e2fSjeremylt                      &op_mass_tet);
122d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_tet, "rho", elem_restr_qd_tet,
123d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED,
124d1d35e2fSjeremylt                        q_data_tet);
125d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_tet, "u", elem_restr_u_tet, basis_u_tet,
126a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
127d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_tet, "v", elem_restr_u_tet, basis_u_tet,
128a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
1292ebaca42Sjeremylt 
130d1d35e2fSjeremylt   // Set up _hex Elements
131d1d35e2fSjeremylt   for (CeedInt i=0; i<nelem_hex; i++) {
132d1d35e2fSjeremylt     col = i % nx_hex;
133d1d35e2fSjeremylt     row = i / nx_hex;
134d1d35e2fSjeremylt     offset = (nx_tet*2+1)*(ny_tet*2)*(1+row) + col*2;
135d1d35e2fSjeremylt     for (CeedInt j=0; j<P_hex; j++)
136d1d35e2fSjeremylt       for (CeedInt k=0; k<P_hex; k++)
137d1d35e2fSjeremylt         ind_x_hex[P_hex*(P_hex*i+k)+j] = offset + k*(nx_hex*2+1) + j;
1382ebaca42Sjeremylt   }
1392ebaca42Sjeremylt 
1402ebaca42Sjeremylt   // -- Restrictions
141d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, nelem_hex, P_hex*P_hex, dim, num_dofs,
142d1d35e2fSjeremylt                             dim*num_dofs,
143d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
144d1d35e2fSjeremylt                             &elem_restr_x_hex);
1452ebaca42Sjeremylt 
146d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, nelem_hex, P_hex*P_hex, 1, 1, num_dofs,
147d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
148d1d35e2fSjeremylt                             &elem_restr_u_hex);
149d1d35e2fSjeremylt   CeedInt strides_qd_hex[3] = {1, Q_hex*Q_hex, Q_hex*Q_hex};
150d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, nelem_hex, Q_hex*Q_hex, 1, num_qpts_hex,
151d1d35e2fSjeremylt                                    strides_qd_hex, &elem_restr_qd_i_hex);
1522ebaca42Sjeremylt 
1532ebaca42Sjeremylt   // -- Bases
154d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P_hex, Q_hex, CEED_GAUSS,
155d1d35e2fSjeremylt                                   &basis_x_hex);
156d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P_hex, Q_hex, CEED_GAUSS,
157d1d35e2fSjeremylt                                   &basis_u_hex);
1582ebaca42Sjeremylt 
1592ebaca42Sjeremylt   // -- QFunctions
160d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_hex);
161a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_hex, "weight", 1, CEED_EVAL_WEIGHT);
162d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_hex, "dx", dim*dim, CEED_EVAL_GRAD);
163d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_setup_hex, "rho", 1, CEED_EVAL_NONE);
1642ebaca42Sjeremylt 
165d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_hex);
166d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_hex, "rho", 1, CEED_EVAL_NONE);
167d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_hex, "u", 1, CEED_EVAL_INTERP);
168d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass_hex, "v", 1, CEED_EVAL_INTERP);
1692ebaca42Sjeremylt 
1702ebaca42Sjeremylt   // -- Operators
171d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_setup_hex, CEED_QFUNCTION_NONE,
172d1d35e2fSjeremylt                      CEED_QFUNCTION_NONE, &op_setup_hex);
173a61c78d6SJeremy L Thompson   CeedOperatorSetField(op_setup_hex, "weight", CEED_ELEMRESTRICTION_NONE,
174d1d35e2fSjeremylt                        basis_x_hex,
175a8d32208Sjeremylt                        CEED_VECTOR_NONE);
176d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_hex, "dx", elem_restr_x_hex, basis_x_hex,
177a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
178d1d35e2fSjeremylt   CeedOperatorSetField(op_setup_hex, "rho", elem_restr_qd_i_hex,
179d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED, q_data_hex);
1802ebaca42Sjeremylt 
181d1d35e2fSjeremylt   CeedOperatorCreate(ceed, qf_mass_hex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
182d1d35e2fSjeremylt                      &op_mass_hex);
183d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_hex, "rho", elem_restr_qd_i_hex,
184d1d35e2fSjeremylt                        CEED_BASIS_COLLOCATED,
185d1d35e2fSjeremylt                        q_data_hex);
186d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_hex, "u", elem_restr_u_hex, basis_u_hex,
187a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
188d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_hex, "v", elem_restr_u_hex, basis_u_hex,
189a8d32208Sjeremylt                        CEED_VECTOR_ACTIVE);
1902ebaca42Sjeremylt 
1912ebaca42Sjeremylt   // Set up Composite Operators
1922ebaca42Sjeremylt   // -- Create
1932ebaca42Sjeremylt   CeedCompositeOperatorCreate(ceed, &op_setup);
1942ebaca42Sjeremylt   // -- Add SubOperators
195d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setup_tet);
196d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setup_hex);
1972ebaca42Sjeremylt 
1982ebaca42Sjeremylt   // -- Create
1992ebaca42Sjeremylt   CeedCompositeOperatorCreate(ceed, &op_mass);
2002ebaca42Sjeremylt   // -- Add SubOperators
201d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_mass, op_mass_tet);
202d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_mass, op_mass_hex);
2032ebaca42Sjeremylt 
2042ebaca42Sjeremylt   // View
2052ebaca42Sjeremylt   CeedOperatorView(op_setup, stdout);
2062ebaca42Sjeremylt   CeedOperatorView(op_mass, stdout);
2072ebaca42Sjeremylt 
2082ebaca42Sjeremylt   // Cleanup
209d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_setup_tet);
210d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_mass_tet);
211d1d35e2fSjeremylt   CeedOperatorDestroy(&op_setup_tet);
212d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_tet);
213d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_setup_hex);
214d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_mass_hex);
215d1d35e2fSjeremylt   CeedOperatorDestroy(&op_setup_hex);
216d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_hex);
2172ebaca42Sjeremylt   CeedOperatorDestroy(&op_setup);
2182ebaca42Sjeremylt   CeedOperatorDestroy(&op_mass);
219d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_tet);
220d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x_tet);
221d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_tet);
222d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_hex);
223d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x_hex);
224d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i_hex);
225d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_tet);
226d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x_tet);
227d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_hex);
228d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x_hex);
2292ebaca42Sjeremylt   CeedVectorDestroy(&X);
230d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_tet);
231d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_hex);
2322ebaca42Sjeremylt   CeedDestroy(&ceed);
2332ebaca42Sjeremylt   return 0;
2342ebaca42Sjeremylt }
235