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