xref: /libCEED/tests/t550-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 and interpolation basis generation
3d99fa3c5SJeremy L Thompson /// \test Test creation, action, and destruction for mass matrix operator with multigrid level, 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_u_c, basis_u_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_f;
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_u_c);
67*d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, 1, num_comp, P_f, Q, CEED_GAUSS,
68*d1d35e2fSjeremylt                                   &basis_u_f);
69d99fa3c5SJeremy L Thompson 
70d99fa3c5SJeremy L Thompson   // QFunctions
71d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
72d99fa3c5SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "weights", 1, CEED_EVAL_WEIGHT);
73d99fa3c5SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "dx", 1*1, CEED_EVAL_GRAD);
74d99fa3c5SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup, "qdata", 1, CEED_EVAL_NONE);
75d99fa3c5SJeremy L Thompson 
76d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
77d99fa3c5SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "qdata", 1, CEED_EVAL_NONE);
78*d1d35e2fSjeremylt   CeedQFunctionAddInput(qf_mass, "u", num_comp, CEED_EVAL_INTERP);
79*d1d35e2fSjeremylt   CeedQFunctionAddOutput(qf_mass, "v", num_comp, CEED_EVAL_INTERP);
80d99fa3c5SJeremy L Thompson 
81d99fa3c5SJeremy L Thompson   // Operators
82d99fa3c5SJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
83d99fa3c5SJeremy L Thompson                      &op_setup);
84d99fa3c5SJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
85*d1d35e2fSjeremylt                      &op_mass_f);
86d99fa3c5SJeremy L Thompson 
87*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs_x, &X);
88d99fa3c5SJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
89*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_elem*Q, &q_data);
90d99fa3c5SJeremy L Thompson 
91*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "weights", CEED_ELEMRESTRICTION_NONE, basis_x,
92d99fa3c5SJeremy L Thompson                        CEED_VECTOR_NONE);
93*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE);
94*d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
95d99fa3c5SJeremy L Thompson                        CEED_VECTOR_ACTIVE);
96d99fa3c5SJeremy L Thompson 
97*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
98*d1d35e2fSjeremylt                        q_data);
99*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "u", elem_restr_u_f, basis_u_f,
100d99fa3c5SJeremy L Thompson                        CEED_VECTOR_ACTIVE);
101*d1d35e2fSjeremylt   CeedOperatorSetField(op_mass_f, "v", elem_restr_u_f, basis_u_f,
102d99fa3c5SJeremy L Thompson                        CEED_VECTOR_ACTIVE);
103d99fa3c5SJeremy L Thompson 
104*d1d35e2fSjeremylt   CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE);
105d99fa3c5SJeremy L Thompson 
106d99fa3c5SJeremy L Thompson   // Create multigrid level
107*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_f, &p_mult_f);
108*d1d35e2fSjeremylt   CeedVectorSetValue(p_mult_f, 1.0);
109*d1d35e2fSjeremylt   CeedOperatorMultigridLevelCreate(op_mass_f, p_mult_f, elem_restr_u_c,
110*d1d35e2fSjeremylt                                    basis_u_c, &op_mass_c, &op_prolong, &op_restrict);
111d99fa3c5SJeremy L Thompson 
112d99fa3c5SJeremy L Thompson   // Coarse problem
113*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_c, &U_c);
114*d1d35e2fSjeremylt   CeedVectorSetValue(U_c, 1.0);
115*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_c, &V_c);
116*d1d35e2fSjeremylt   CeedOperatorApply(op_mass_c, U_c, V_c, CEED_REQUEST_IMMEDIATE);
117d99fa3c5SJeremy L Thompson 
118d99fa3c5SJeremy L Thompson   // Check output
119*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_c, CEED_MEM_HOST, &hv);
120d99fa3c5SJeremy L Thompson   sum = 0.;
121*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_comp*num_dofs_u_c; i++) {
122d99fa3c5SJeremy L Thompson     sum += hv[i];
123d99fa3c5SJeremy L Thompson   }
124d99fa3c5SJeremy L Thompson   if (fabs(sum-2.)>1e-10)
125d99fa3c5SJeremy L Thompson     // LCOV_EXCL_START
126d99fa3c5SJeremy L Thompson     printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
127d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
128*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_c, &hv);
129d99fa3c5SJeremy L Thompson 
130d99fa3c5SJeremy L Thompson   // Prolong coarse u
131*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_f, &U_f);
132*d1d35e2fSjeremylt   CeedOperatorApply(op_prolong, U_c, U_f, CEED_REQUEST_IMMEDIATE);
133d99fa3c5SJeremy L Thompson 
134d99fa3c5SJeremy L Thompson   // Fine problem
135*d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_comp*num_dofs_u_f, &V_f);
136*d1d35e2fSjeremylt   CeedOperatorApply(op_mass_f, U_f, V_f, CEED_REQUEST_IMMEDIATE);
137d99fa3c5SJeremy L Thompson 
138d99fa3c5SJeremy L Thompson   // Check output
139*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_f, CEED_MEM_HOST, &hv);
140d99fa3c5SJeremy L Thompson   sum = 0.;
141*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_comp*num_dofs_u_f; i++) {
142d99fa3c5SJeremy L Thompson     sum += hv[i];
143d99fa3c5SJeremy L Thompson   }
144d99fa3c5SJeremy L Thompson   if (fabs(sum-2.)>1e-10)
145d99fa3c5SJeremy L Thompson     // LCOV_EXCL_START
146d99fa3c5SJeremy L Thompson     printf("Computed Area Fine Grid: %f != True Area: 1.0\n", sum);
147d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
148*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_f, &hv);
149d99fa3c5SJeremy L Thompson 
150d99fa3c5SJeremy L Thompson   // Restrict state to coarse grid
151*d1d35e2fSjeremylt   CeedOperatorApply(op_restrict, V_f, V_c, CEED_REQUEST_IMMEDIATE);
152d99fa3c5SJeremy L Thompson 
153d99fa3c5SJeremy L Thompson   // Check output
154*d1d35e2fSjeremylt   CeedVectorGetArrayRead(V_c, CEED_MEM_HOST, &hv);
155d99fa3c5SJeremy L Thompson   sum = 0.;
156*d1d35e2fSjeremylt   for (CeedInt i=0; i<num_comp*num_dofs_u_c; 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 Coarse Grid: %f != True Area: 1.0\n", sum);
162d99fa3c5SJeremy L Thompson   // LCOV_EXCL_STOP
163*d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(V_c, &hv);
164d99fa3c5SJeremy L Thompson 
165d99fa3c5SJeremy L Thompson   // Cleanup
166d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
167d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
168d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
169*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_c);
170*d1d35e2fSjeremylt   CeedOperatorDestroy(&op_mass_f);
171d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_prolong);
172d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_restrict);
173*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_c);
174*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u_f);
175*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x);
176*d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i);
177*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_c);
178*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u_f);
179*d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x);
180d99fa3c5SJeremy L Thompson   CeedVectorDestroy(&X);
181*d1d35e2fSjeremylt   CeedVectorDestroy(&U_c);
182*d1d35e2fSjeremylt   CeedVectorDestroy(&U_f);
183*d1d35e2fSjeremylt   CeedVectorDestroy(&V_c);
184*d1d35e2fSjeremylt   CeedVectorDestroy(&V_f);
185*d1d35e2fSjeremylt   CeedVectorDestroy(&p_mult_f);
186*d1d35e2fSjeremylt   CeedVectorDestroy(&q_data);
187d99fa3c5SJeremy L Thompson   CeedDestroy(&ceed);
188d99fa3c5SJeremy L Thompson   return 0;
189d99fa3c5SJeremy L Thompson }
190