xref: /libCEED/tests/t552-operator.c (revision d1d35e2f02dc969aee8debf3fd943dd784aa847a)
1d99fa3c5SJeremy L Thompson /// @file
2d99fa3c5SJeremy L Thompson /// Test creation, action, and destruction for mass matrix operator with multigrid level, tensor basis
3d99fa3c5SJeremy L Thompson /// \test Test creation, action, and destruction for mass matrix operator with multigrid level, tensor basis
4d99fa3c5SJeremy L Thompson #include <ceed.h>
5d99fa3c5SJeremy L Thompson #include <stdlib.h>
6d99fa3c5SJeremy L Thompson #include <math.h>
7d99fa3c5SJeremy L Thompson 
8d99fa3c5SJeremy L Thompson #include "t502-operator.h"
9d99fa3c5SJeremy L Thompson 
10d99fa3c5SJeremy L Thompson int main(int argc, char **argv) {
11d99fa3c5SJeremy L Thompson   Ceed ceed;
12*d1d35e2fSjeremylt   CeedElemRestriction elem_restr_x, elem_restr_qd,
13*d1d35e2fSjeremylt                       elem_restr_u_c, elem_restr_c_f;
14*d1d35e2fSjeremylt   CeedBasis basis_x, basis_u;
15d99fa3c5SJeremy L Thompson   CeedQFunction qf_setup, qf_mass;
16*d1d35e2fSjeremylt   CeedOperator op_setup, op_mass_c, op_mass_f,
17d99fa3c5SJeremy L Thompson                op_prolong, op_restrict;
18*d1d35e2fSjeremylt   CeedVector q_data, X, U_c, U_f, V_c, V_f, p_mult_f;
19d99fa3c5SJeremy L Thompson   const CeedScalar *hv;
20*d1d35e2fSjeremylt   CeedInt num_elem = 15, P_c = 3, P_f = 5, Q = 8, num_comp = 2;
21*d1d35e2fSjeremylt   CeedInt num_dofs_x = num_elem+1, num_dofs_u_c = num_elem*(P_c-1)+1,
22*d1d35e2fSjeremylt           num_dofs_u_f = num_elem*(P_f-1)+1;
23*d1d35e2fSjeremylt   CeedInt ind_u_c[num_elem*P_c], ind_u_f[num_elem*P_f],
24*d1d35e2fSjeremylt           ind_x[num_elem*2];
25*d1d35e2fSjeremylt   CeedScalar x[num_dofs_x];
26d99fa3c5SJeremy L Thompson   CeedScalar sum;
27d99fa3c5SJeremy L Thompson 
28d99fa3c5SJeremy L Thompson   CeedInit(argv[1], &ceed);
29d99fa3c5SJeremy L Thompson 
30*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs_x; i++)
31*d1d35e2fSjeremylt     x[i] = (CeedScalar) i / (num_dofs_x - 1);
32*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem; i++) {
33*d1d35e2fSjeremylt     ind_x[2*i+0] = i;
34*d1d35e2fSjeremylt     ind_x[2*i+1] = i+1;
35d99fa3c5SJeremy L Thompson   }
36d99fa3c5SJeremy L Thompson   // Restrictions
37*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, 2, 1, 1, num_dofs_x, CEED_MEM_HOST,
38*d1d35e2fSjeremylt                             CEED_USE_POINTER, ind_x, &elem_restr_x);
39d99fa3c5SJeremy L Thompson 
40*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem; i++) {
41*d1d35e2fSjeremylt     for (CeedInt j=0; j<P_c; j++) {
42*d1d35e2fSjeremylt       ind_u_c[P_c*i+j] = i*(P_c-1) + j;
43d99fa3c5SJeremy L Thompson     }
44d99fa3c5SJeremy L Thompson   }
45*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P_c, num_comp, num_dofs_u_c,
46*d1d35e2fSjeremylt                             num_comp*num_dofs_u_c, CEED_MEM_HOST, CEED_USE_POINTER,
47*d1d35e2fSjeremylt                             ind_u_c, &elem_restr_u_c);
48d99fa3c5SJeremy L Thompson 
49*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem; i++) {
50*d1d35e2fSjeremylt     for (CeedInt j=0; j<P_f; j++) {
51*d1d35e2fSjeremylt       ind_u_f[P_f*i+j] = i*(P_f-1) + j;
52d99fa3c5SJeremy L Thompson     }
53d99fa3c5SJeremy L Thompson   }
54*d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P_f, num_comp, num_dofs_u_f,
55*d1d35e2fSjeremylt                             num_comp*num_dofs_u_f, CEED_MEM_HOST, CEED_USE_POINTER,
56*d1d35e2fSjeremylt                             ind_u_f, &elem_restr_c_f);
57d99fa3c5SJeremy L Thompson 
58*d1d35e2fSjeremylt   CeedInt strides_qd[3] = {1, Q, Q};
59*d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, num_elem, Q, 1, Q*num_elem, strides_qd,
60*d1d35e2fSjeremylt                                    &elem_restr_qd);
61d99fa3c5SJeremy L Thompson 
62d99fa3c5SJeremy L Thompson   // Bases
63*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, 2, Q, CEED_GAUSS, &basis_x);
64*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, num_comp, P_f, Q, CEED_GAUSS,
65*d1d35e2fSjeremylt                                   &basis_u);
66d99fa3c5SJeremy L Thompson 
67d99fa3c5SJeremy L Thompson   // QFunctions
68d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
69d99fa3c5SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "weights", 1, CEED_EVAL_WEIGHT);
70d99fa3c5SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "dx", 1*1, CEED_EVAL_GRAD);
71d99fa3c5SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup, "qdata", 1, CEED_EVAL_NONE);
72d99fa3c5SJeremy L Thompson 
73d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
74d99fa3c5SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "qdata", 1, CEED_EVAL_NONE);
75*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass, "u", num_comp, CEED_EVAL_INTERP);
76*d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass, "v", num_comp, CEED_EVAL_INTERP);
77d99fa3c5SJeremy L Thompson 
78d99fa3c5SJeremy L Thompson   // Operators
79d99fa3c5SJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
80d99fa3c5SJeremy L Thompson                      &op_setup);
81d99fa3c5SJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
82*d1d35e2fSjeremylt                      &op_mass_f);
83d99fa3c5SJeremy L Thompson 
84*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs_x, &X);
85d99fa3c5SJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
86*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_elem*Q, &q_data);
87d99fa3c5SJeremy L Thompson 
88*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "weights", CEED_ELEMRESTRICTION_NONE, basis_x,
89d99fa3c5SJeremy L Thompson                        CEED_VECTOR_NONE);
90*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE);
91*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "qdata", elem_restr_qd, CEED_BASIS_COLLOCATED,
92d99fa3c5SJeremy L Thompson                        CEED_VECTOR_ACTIVE);
93d99fa3c5SJeremy L Thompson 
94*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "qdata", elem_restr_qd, CEED_BASIS_COLLOCATED,
95*d1d35e2fSjeremylt                        q_data);
96*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "u", elem_restr_c_f, basis_u,
97*d1d35e2fSjeremylt                        CEED_VECTOR_ACTIVE);
98*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "v", elem_restr_c_f, basis_u,
99*d1d35e2fSjeremylt                        CEED_VECTOR_ACTIVE);
100d99fa3c5SJeremy L Thompson 
101*d1d35e2fSjeremylt   CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE);
102d99fa3c5SJeremy L Thompson 
103d99fa3c5SJeremy L Thompson   // Create multigrid level
104*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_f, &p_mult_f);
105*d1d35e2fSjeremylt   CeedVectorSetValue(p_mult_f, 1.0);
106*d1d35e2fSjeremylt   CeedBasis basis_u_c, basis_c_to_f;
107*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, num_comp, P_c, Q, CEED_GAUSS,
108*d1d35e2fSjeremylt                                   &basis_u_c);
109*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, num_comp, P_c, P_f,
110*d1d35e2fSjeremylt                                   CEED_GAUSS_LOBATTO, &basis_c_to_f);
111*d1d35e2fSjeremylt   const CeedScalar *interp_c_to_f;
112*d1d35e2fSjeremylt   CeedBasisGetInterp1D(basis_c_to_f, &interp_c_to_f);
113*d1d35e2fSjeremylt   CeedOperatorMultigridLevelCreateTensorH1(op_mass_f, p_mult_f,
114*d1d35e2fSjeremylt       elem_restr_u_c, basis_u_c, interp_c_to_f, &op_mass_c, &op_prolong,
115d99fa3c5SJeremy L Thompson       &op_restrict);
116d99fa3c5SJeremy L Thompson 
117d99fa3c5SJeremy L Thompson   // Coarse problem
118*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_c, &U_c);
119*d1d35e2fSjeremylt   CeedVectorSetValue(U_c, 1.0);
120*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_c, &V_c);
121*d1d35e2fSjeremylt   CeedOperatorApply(op_mass_c, U_c, V_c, CEED_REQUEST_IMMEDIATE);
122d99fa3c5SJeremy L Thompson 
123d99fa3c5SJeremy L Thompson   // Check output
124*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_c, CEED_MEM_HOST, &hv);
125d99fa3c5SJeremy L Thompson   sum = 0.;
126*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_comp*num_dofs_u_c; i++) {
127d99fa3c5SJeremy L Thompson     sum += hv[i];
128d99fa3c5SJeremy L Thompson   }
129d99fa3c5SJeremy L Thompson   if (fabs(sum-2.)>1e-10)
130d99fa3c5SJeremy L Thompson     // LCOV_EXCL_START
131d99fa3c5SJeremy L Thompson     printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
132d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
133*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_c, &hv);
134d99fa3c5SJeremy L Thompson 
135d99fa3c5SJeremy L Thompson   // Prolong coarse u
136*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_f, &U_f);
137*d1d35e2fSjeremylt   CeedOperatorApply(op_prolong, U_c, U_f, CEED_REQUEST_IMMEDIATE);
138d99fa3c5SJeremy L Thompson 
139d99fa3c5SJeremy L Thompson   // Fine problem
140*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_f, &V_f);
141*d1d35e2fSjeremylt   CeedOperatorApply(op_mass_f, U_f, V_f, CEED_REQUEST_IMMEDIATE);
142d99fa3c5SJeremy L Thompson 
143d99fa3c5SJeremy L Thompson   // Check output
144*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_f, CEED_MEM_HOST, &hv);
145d99fa3c5SJeremy L Thompson   sum = 0.;
146*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_comp*num_dofs_u_f; i++) {
147d99fa3c5SJeremy L Thompson     sum += hv[i];
148d99fa3c5SJeremy L Thompson   }
149d99fa3c5SJeremy L Thompson   if (fabs(sum-2.)>1e-10)
150d99fa3c5SJeremy L Thompson     // LCOV_EXCL_START
151d99fa3c5SJeremy L Thompson     printf("Computed Area Fine Grid: %f != True Area: 1.0\n", sum);
152d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
153*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_f, &hv);
154d99fa3c5SJeremy L Thompson 
155d99fa3c5SJeremy L Thompson   // Restrict state to coarse grid
156*d1d35e2fSjeremylt   CeedOperatorApply(op_restrict, V_f, V_c, CEED_REQUEST_IMMEDIATE);
157d99fa3c5SJeremy L Thompson 
158d99fa3c5SJeremy L Thompson   // Check output
159*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_c, CEED_MEM_HOST, &hv);
160d99fa3c5SJeremy L Thompson   sum = 0.;
161*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_comp*num_dofs_u_c; i++) {
162d99fa3c5SJeremy L Thompson     sum += hv[i];
163d99fa3c5SJeremy L Thompson   }
164d99fa3c5SJeremy L Thompson   if (fabs(sum-2.)>1e-10)
165d99fa3c5SJeremy L Thompson     // LCOV_EXCL_START
166d99fa3c5SJeremy L Thompson     printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
167d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
168*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_c, &hv);
169d99fa3c5SJeremy L Thompson 
170d99fa3c5SJeremy L Thompson   // Cleanup
171d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
172d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
173d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
174*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_c);
175*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_f);
176d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_prolong);
177d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_restrict);
178*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_c);
179*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_c_f);
180*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x);
181*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd);
182*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u);
183*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x);
184d99fa3c5SJeremy L Thompson   CeedVectorDestroy(&X);
185*d1d35e2fSjeremylt   CeedVectorDestroy(&U_c);
186*d1d35e2fSjeremylt   CeedVectorDestroy(&U_f);
187*d1d35e2fSjeremylt   CeedVectorDestroy(&V_c);
188*d1d35e2fSjeremylt   CeedVectorDestroy(&V_f);
189*d1d35e2fSjeremylt   CeedVectorDestroy(&p_mult_f);
190*d1d35e2fSjeremylt   CeedVectorDestroy(&q_data);
191d99fa3c5SJeremy L Thompson   CeedDestroy(&ceed);
192d99fa3c5SJeremy L Thompson   return 0;
193d99fa3c5SJeremy L Thompson }
194