xref: /libCEED/tests/t523-operator.c (revision 2b730f8b5a9c809740a0b3b302db43a719c636b1)
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 <math.h>
6*2b730f8bSJeremy L Thompson #include <stdlib.h>
7*2b730f8bSJeremy L Thompson 
82ebaca42Sjeremylt #include "t320-basis.h"
92ebaca42Sjeremylt #include "t510-operator.h"
102ebaca42Sjeremylt 
112ebaca42Sjeremylt /* The mesh comprises of two rows of 3 quadralaterals followed by one row
122ebaca42Sjeremylt      of 6 triangles:
132ebaca42Sjeremylt    _ _ _
142ebaca42Sjeremylt   |_|_|_|
152ebaca42Sjeremylt   |_|_|_|
162ebaca42Sjeremylt   |/|/|/|
172ebaca42Sjeremylt 
182ebaca42Sjeremylt */
192ebaca42Sjeremylt 
202ebaca42Sjeremylt int main(int argc, char **argv) {
212ebaca42Sjeremylt   Ceed                ceed;
22*2b730f8bSJeremy L Thompson   CeedElemRestriction elem_restr_x_tet, elem_restr_u_tet, elem_restr_qd_tet, elem_restr_x_hex, elem_restr_u_hex, elem_restr_qd_i_hex;
23*2b730f8bSJeremy L Thompson   CeedBasis           basis_x_tet, basis_u_tet, basis_x_hex, basis_u_hex;
24*2b730f8bSJeremy L Thompson   CeedQFunction       qf_setup_tet, qf_mass_tet, qf_setup_hex, qf_mass_hex;
25*2b730f8bSJeremy L Thompson   CeedOperator        op_setup_tet, op_mass_tet, op_setup_hex, op_mass_hex, op_setup, op_mass;
26d1d35e2fSjeremylt   CeedVector          q_data_tet, q_data_hex, X;
27*2b730f8bSJeremy L Thompson   CeedInt             nelem_tet = 6, P_tet = 6, Q_tet = 4, nelem_hex = 6, P_hex = 3, Q_hex = 4, dim = 2;
28*2b730f8bSJeremy L Thompson   CeedInt             nx = 3, ny = 3, nx_tet = 3, ny_tet = 1, nx_hex = 3;
292ebaca42Sjeremylt   CeedInt             row, col, offset;
30*2b730f8bSJeremy L Thompson   CeedInt             num_dofs = (nx * 2 + 1) * (ny * 2 + 1), num_qpts_tet = nelem_tet * Q_tet, num_qpts_hex = nelem_hex * Q_hex * Q_hex;
31*2b730f8bSJeremy L Thompson   CeedInt             ind_x_tet[nelem_tet * P_tet], ind_x_hex[nelem_hex * P_hex * P_hex];
32d1d35e2fSjeremylt   CeedScalar          q_ref[dim * Q_tet], q_weight[Q_tet];
33d1d35e2fSjeremylt   CeedScalar          interp[P_tet * Q_tet], grad[dim * P_tet * Q_tet];
342ebaca42Sjeremylt 
352ebaca42Sjeremylt   CeedInit(argv[1], &ceed);
362ebaca42Sjeremylt 
372ebaca42Sjeremylt   // DoF Coordinates
38d1d35e2fSjeremylt   CeedVectorCreate(ceed, dim * num_dofs, &X);
392ebaca42Sjeremylt 
402ebaca42Sjeremylt   // Qdata Vectors
41d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts_tet, &q_data_tet);
42d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts_hex, &q_data_hex);
432ebaca42Sjeremylt 
44d1d35e2fSjeremylt   // Set up _tet Elements
45d1d35e2fSjeremylt   for (CeedInt i = 0; i < nelem_tet / 2; i++) {
46d1d35e2fSjeremylt     col    = i % nx_tet;
47d1d35e2fSjeremylt     row    = i / nx_tet;
48d1d35e2fSjeremylt     offset = col * 2 + row * (nx_tet * 2 + 1) * 2;
492ebaca42Sjeremylt 
50d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 0] = 2 + offset;
51d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 1] = 9 + offset;
52d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 2] = 16 + offset;
53d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 3] = 1 + offset;
54d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 4] = 8 + offset;
55d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 5] = 0 + offset;
562ebaca42Sjeremylt 
57d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 6]  = 14 + offset;
58d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 7]  = 7 + offset;
59d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 8]  = 0 + offset;
60d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 9]  = 15 + offset;
61d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 10] = 8 + offset;
62d1d35e2fSjeremylt     ind_x_tet[i * 2 * P_tet + 11] = 16 + offset;
632ebaca42Sjeremylt   }
642ebaca42Sjeremylt 
652ebaca42Sjeremylt   // -- Restrictions
66*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelem_tet, P_tet, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet, &elem_restr_x_tet);
672ebaca42Sjeremylt 
68*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelem_tet, P_tet, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x_tet, &elem_restr_u_tet);
69d1d35e2fSjeremylt   CeedInt strides_qd_tet[3] = {1, Q_tet, Q_tet};
70*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, nelem_tet, Q_tet, 1, num_qpts_tet, strides_qd_tet, &elem_restr_qd_tet);
712ebaca42Sjeremylt 
722ebaca42Sjeremylt   // -- Bases
73d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
74*2b730f8bSJeremy L Thompson   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, dim, P_tet, Q_tet, interp, grad, q_ref, q_weight, &basis_x_tet);
752ebaca42Sjeremylt 
76d1d35e2fSjeremylt   buildmats(q_ref, q_weight, interp, grad);
77*2b730f8bSJeremy L Thompson   CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, 1, P_tet, Q_tet, interp, grad, q_ref, q_weight, &basis_u_tet);
782ebaca42Sjeremylt 
792ebaca42Sjeremylt   // -- QFunctions
80d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_tet);
81a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_tet, "weight", 1, CEED_EVAL_WEIGHT);
82d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_tet, "dx", dim * dim, CEED_EVAL_GRAD);
83d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_setup_tet, "rho", 1, CEED_EVAL_NONE);
842ebaca42Sjeremylt 
85d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_tet);
86d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_tet, "rho", 1, CEED_EVAL_NONE);
87d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_tet, "u", 1, CEED_EVAL_INTERP);
88d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass_tet, "v", 1, CEED_EVAL_INTERP);
892ebaca42Sjeremylt 
902ebaca42Sjeremylt   // -- Operators
91d1d35e2fSjeremylt   // ---- Setup _tet
92*2b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup_tet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup_tet);
93ea6b5821SJeremy L Thompson   CeedOperatorSetName(op_setup_tet, "triangle elements");
94*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup_tet, "weight", CEED_ELEMRESTRICTION_NONE, basis_x_tet, CEED_VECTOR_NONE);
95*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup_tet, "dx", elem_restr_x_tet, basis_x_tet, CEED_VECTOR_ACTIVE);
96*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup_tet, "rho", elem_restr_qd_tet, CEED_BASIS_COLLOCATED, q_data_tet);
97d1d35e2fSjeremylt   // ---- Mass _tet
98*2b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass_tet, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass_tet);
99ea6b5821SJeremy L Thompson   CeedOperatorSetName(op_mass_tet, "triangle elements");
100*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_mass_tet, "rho", elem_restr_qd_tet, CEED_BASIS_COLLOCATED, q_data_tet);
101*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_mass_tet, "u", elem_restr_u_tet, basis_u_tet, CEED_VECTOR_ACTIVE);
102*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_mass_tet, "v", elem_restr_u_tet, basis_u_tet, CEED_VECTOR_ACTIVE);
1032ebaca42Sjeremylt 
104d1d35e2fSjeremylt   // Set up _hex Elements
105d1d35e2fSjeremylt   for (CeedInt i = 0; i < nelem_hex; i++) {
106d1d35e2fSjeremylt     col    = i % nx_hex;
107d1d35e2fSjeremylt     row    = i / nx_hex;
108d1d35e2fSjeremylt     offset = (nx_tet * 2 + 1) * (ny_tet * 2) * (1 + row) + col * 2;
109*2b730f8bSJeremy L Thompson     for (CeedInt j = 0; j < P_hex; j++) {
110*2b730f8bSJeremy L Thompson       for (CeedInt k = 0; k < P_hex; k++) ind_x_hex[P_hex * (P_hex * i + k) + j] = offset + k * (nx_hex * 2 + 1) + j;
111*2b730f8bSJeremy L Thompson     }
1122ebaca42Sjeremylt   }
1132ebaca42Sjeremylt 
1142ebaca42Sjeremylt   // -- Restrictions
115*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelem_hex, P_hex * P_hex, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex,
116d1d35e2fSjeremylt                             &elem_restr_x_hex);
1172ebaca42Sjeremylt 
118*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreate(ceed, nelem_hex, P_hex * P_hex, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x_hex, &elem_restr_u_hex);
119d1d35e2fSjeremylt   CeedInt strides_qd_hex[3] = {1, Q_hex * Q_hex, Q_hex * Q_hex};
120*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, nelem_hex, Q_hex * Q_hex, 1, num_qpts_hex, strides_qd_hex, &elem_restr_qd_i_hex);
1212ebaca42Sjeremylt 
1222ebaca42Sjeremylt   // -- Bases
123*2b730f8bSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P_hex, Q_hex, CEED_GAUSS, &basis_x_hex);
124*2b730f8bSJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P_hex, Q_hex, CEED_GAUSS, &basis_u_hex);
1252ebaca42Sjeremylt 
1262ebaca42Sjeremylt   // -- QFunctions
127d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup_hex);
128a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup_hex, "weight", 1, CEED_EVAL_WEIGHT);
129d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_setup_hex, "dx", dim * dim, CEED_EVAL_GRAD);
130d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_setup_hex, "rho", 1, CEED_EVAL_NONE);
1312ebaca42Sjeremylt 
132d1d35e2fSjeremylt   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass_hex);
133d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_hex, "rho", 1, CEED_EVAL_NONE);
134d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass_hex, "u", 1, CEED_EVAL_INTERP);
135d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass_hex, "v", 1, CEED_EVAL_INTERP);
1362ebaca42Sjeremylt 
1372ebaca42Sjeremylt   // -- Operators
138*2b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup_hex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup_hex);
139ea6b5821SJeremy L Thompson   CeedOperatorSetName(op_setup_hex, "quadralateral elements");
140*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup_hex, "weight", CEED_ELEMRESTRICTION_NONE, basis_x_hex, CEED_VECTOR_NONE);
141*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup_hex, "dx", elem_restr_x_hex, basis_x_hex, CEED_VECTOR_ACTIVE);
142*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup_hex, "rho", elem_restr_qd_i_hex, CEED_BASIS_COLLOCATED, q_data_hex);
1432ebaca42Sjeremylt 
144*2b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass_hex, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass_hex);
145ea6b5821SJeremy L Thompson   CeedOperatorSetName(op_mass_hex, "quadralateral elements");
146*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_mass_hex, "rho", elem_restr_qd_i_hex, CEED_BASIS_COLLOCATED, q_data_hex);
147*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_mass_hex, "u", elem_restr_u_hex, basis_u_hex, CEED_VECTOR_ACTIVE);
148*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_mass_hex, "v", elem_restr_u_hex, basis_u_hex, CEED_VECTOR_ACTIVE);
1492ebaca42Sjeremylt 
1502ebaca42Sjeremylt   // Set up Composite Operators
1512ebaca42Sjeremylt   // -- Create
1522ebaca42Sjeremylt   CeedCompositeOperatorCreate(ceed, &op_setup);
153ea6b5821SJeremy L Thompson   CeedOperatorSetName(op_setup, "setup");
1542ebaca42Sjeremylt   // -- Add SubOperators
155d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setup_tet);
156d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_setup, op_setup_hex);
1572ebaca42Sjeremylt 
1582ebaca42Sjeremylt   // -- Create
1592ebaca42Sjeremylt   CeedCompositeOperatorCreate(ceed, &op_mass);
160ea6b5821SJeremy L Thompson   CeedOperatorSetName(op_mass, "mass");
1612ebaca42Sjeremylt   // -- Add SubOperators
162d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_mass, op_mass_tet);
163d1d35e2fSjeremylt   CeedCompositeOperatorAddSub(op_mass, op_mass_hex);
1642ebaca42Sjeremylt 
1652ebaca42Sjeremylt   // View
1662ebaca42Sjeremylt   CeedOperatorView(op_setup, stdout);
1672ebaca42Sjeremylt   CeedOperatorView(op_mass, stdout);
1682ebaca42Sjeremylt 
1692ebaca42Sjeremylt   // Cleanup
170d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_setup_tet);
171d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_mass_tet);
172d1d35e2fSjeremylt   CeedOperatorDestroy(&op_setup_tet);
173d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_tet);
174d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_setup_hex);
175d1d35e2fSjeremylt   CeedQFunctionDestroy(&qf_mass_hex);
176d1d35e2fSjeremylt   CeedOperatorDestroy(&op_setup_hex);
177d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_hex);
1782ebaca42Sjeremylt   CeedOperatorDestroy(&op_setup);
1792ebaca42Sjeremylt   CeedOperatorDestroy(&op_mass);
180d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_tet);
181d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x_tet);
182d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_tet);
183d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_hex);
184d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x_hex);
185d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i_hex);
186d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_tet);
187d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x_tet);
188d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_hex);
189d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x_hex);
1902ebaca42Sjeremylt   CeedVectorDestroy(&X);
191d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_tet);
192d1d35e2fSjeremylt   CeedVectorDestroy(&q_data_hex);
1932ebaca42Sjeremylt   CeedDestroy(&ceed);
1942ebaca42Sjeremylt   return 0;
1952ebaca42Sjeremylt }
196