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