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 <math.h>
649aac155SJeremy L Thompson #include <stdio.h>
72b730f8bSJeremy L Thompson #include <stdlib.h>
8d99fa3c5SJeremy L Thompson
9d99fa3c5SJeremy L Thompson #include "t502-operator.h"
10d99fa3c5SJeremy L Thompson
main(int argc,char ** argv)11d99fa3c5SJeremy L Thompson int main(int argc, char **argv) {
12d99fa3c5SJeremy L Thompson Ceed ceed;
134fee36f0SJeremy L Thompson CeedElemRestriction elem_restriction_x, elem_restriction_q_data, elem_restriction_u_coarse, elem_restriction_u_fine;
144fee36f0SJeremy L Thompson CeedBasis basis_x, basis_coarse, basis_fine;
15d99fa3c5SJeremy L Thompson CeedQFunction qf_setup, qf_mass;
164fee36f0SJeremy L Thompson CeedOperator op_setup, op_mass_coarse, op_mass_fine, op_prolong, op_restrict;
174fee36f0SJeremy L Thompson CeedVector q_data, x, u_coarse, u_fine, v_coarse, v_fine, p_mult_fine;
184fee36f0SJeremy L Thompson CeedInt num_elem = 15, p_coarse = 3, p_fine = 5, q = 8, num_comp = 2;
194fee36f0SJeremy L Thompson CeedInt num_dofs_x = num_elem + 1, num_dofs_u_c = num_elem * (p_coarse - 1) + 1, num_dofs_u_f = num_elem * (p_fine - 1) + 1;
204fee36f0SJeremy L Thompson CeedInt ind_u_coarse[num_elem * p_coarse], ind_u_fine[num_elem * p_fine], ind_x[num_elem * 2];
21d99fa3c5SJeremy L Thompson
22d99fa3c5SJeremy L Thompson CeedInit(argv[1], &ceed);
23d99fa3c5SJeremy L Thompson
244fee36f0SJeremy L Thompson CeedVectorCreate(ceed, num_dofs_x, &x);
254fee36f0SJeremy L Thompson {
264fee36f0SJeremy L Thompson CeedScalar x_array[num_dofs_x];
274fee36f0SJeremy L Thompson
284fee36f0SJeremy L Thompson for (CeedInt i = 0; i < num_dofs_x; i++) x_array[i] = (CeedScalar)i / (num_dofs_x - 1);
294fee36f0SJeremy L Thompson CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
304fee36f0SJeremy L Thompson }
314fee36f0SJeremy L Thompson CeedVectorCreate(ceed, num_comp * num_dofs_u_f, &p_mult_fine);
324fee36f0SJeremy L Thompson CeedVectorCreate(ceed, num_comp * num_dofs_u_c, &u_coarse);
334fee36f0SJeremy L Thompson CeedVectorCreate(ceed, num_comp * num_dofs_u_f, &u_fine);
344fee36f0SJeremy L Thompson CeedVectorCreate(ceed, num_comp * num_dofs_u_c, &v_coarse);
354fee36f0SJeremy L Thompson CeedVectorCreate(ceed, num_comp * num_dofs_u_f, &v_fine);
364fee36f0SJeremy L Thompson CeedVectorCreate(ceed, num_elem * q, &q_data);
374fee36f0SJeremy L Thompson
384fee36f0SJeremy L Thompson // Restrictions
39d1d35e2fSjeremylt for (CeedInt i = 0; i < num_elem; i++) {
40d1d35e2fSjeremylt ind_x[2 * i + 0] = i;
41d1d35e2fSjeremylt ind_x[2 * i + 1] = i + 1;
42d99fa3c5SJeremy L Thompson }
434fee36f0SJeremy L Thompson CeedElemRestrictionCreate(ceed, num_elem, 2, 1, 1, num_dofs_x, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
44d99fa3c5SJeremy L Thompson
45d1d35e2fSjeremylt for (CeedInt i = 0; i < num_elem; i++) {
464fee36f0SJeremy L Thompson for (CeedInt j = 0; j < p_coarse; j++) {
474fee36f0SJeremy L Thompson ind_u_coarse[p_coarse * i + j] = i * (p_coarse - 1) + j;
48d99fa3c5SJeremy L Thompson }
49d99fa3c5SJeremy L Thompson }
504fee36f0SJeremy L Thompson CeedElemRestrictionCreate(ceed, num_elem, p_coarse, num_comp, num_dofs_u_c, num_comp * num_dofs_u_c, CEED_MEM_HOST, CEED_USE_POINTER, ind_u_coarse,
514fee36f0SJeremy L Thompson &elem_restriction_u_coarse);
52d99fa3c5SJeremy L Thompson
53d1d35e2fSjeremylt for (CeedInt i = 0; i < num_elem; i++) {
544fee36f0SJeremy L Thompson for (CeedInt j = 0; j < p_fine; j++) {
554fee36f0SJeremy L Thompson ind_u_fine[p_fine * i + j] = i * (p_fine - 1) + j;
56d99fa3c5SJeremy L Thompson }
57d99fa3c5SJeremy L Thompson }
584fee36f0SJeremy L Thompson CeedElemRestrictionCreate(ceed, num_elem, p_fine, num_comp, num_dofs_u_f, num_comp * num_dofs_u_f, CEED_MEM_HOST, CEED_USE_POINTER, ind_u_fine,
594fee36f0SJeremy L Thompson &elem_restriction_u_fine);
60d99fa3c5SJeremy L Thompson
614fee36f0SJeremy L Thompson CeedInt strides_q_data[3] = {1, q, q};
624fee36f0SJeremy L Thompson CeedElemRestrictionCreateStrided(ceed, num_elem, q, 1, q * num_elem, strides_q_data, &elem_restriction_q_data);
63d99fa3c5SJeremy L Thompson
64d99fa3c5SJeremy L Thompson // Bases
654fee36f0SJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, 2, q, CEED_GAUSS, &basis_x);
664fee36f0SJeremy L Thompson {
674fee36f0SJeremy L Thompson CeedBasis basis_temporary;
684fee36f0SJeremy L Thompson
694fee36f0SJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, 1, num_comp, p_coarse, q, CEED_GAUSS, &basis_temporary);
70d1d35e2fSjeremylt const CeedScalar *interp, *grad, *q_ref, *q_weight;
714fee36f0SJeremy L Thompson CeedBasisGetInterp1D(basis_temporary, &interp);
724fee36f0SJeremy L Thompson CeedBasisGetGrad1D(basis_temporary, &grad);
734fee36f0SJeremy L Thompson CeedBasisGetQRef(basis_temporary, &q_ref);
744fee36f0SJeremy L Thompson CeedBasisGetQWeights(basis_temporary, &q_weight);
754fee36f0SJeremy L Thompson CeedBasisCreateH1(ceed, CEED_TOPOLOGY_LINE, num_comp, p_coarse, q, interp, grad, q_ref, q_weight, &basis_coarse);
764fee36f0SJeremy L Thompson CeedBasisDestroy(&basis_temporary);
774fee36f0SJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, 1, num_comp, p_fine, q, CEED_GAUSS, &basis_temporary);
784fee36f0SJeremy L Thompson CeedBasisGetInterp1D(basis_temporary, &interp);
794fee36f0SJeremy L Thompson CeedBasisGetGrad1D(basis_temporary, &grad);
804fee36f0SJeremy L Thompson CeedBasisGetQRef(basis_temporary, &q_ref);
814fee36f0SJeremy L Thompson CeedBasisGetQWeights(basis_temporary, &q_weight);
824fee36f0SJeremy L Thompson CeedBasisCreateH1(ceed, CEED_TOPOLOGY_LINE, num_comp, p_fine, q, interp, grad, q_ref, q_weight, &basis_fine);
834fee36f0SJeremy L Thompson CeedBasisDestroy(&basis_temporary);
844fee36f0SJeremy L Thompson }
85d99fa3c5SJeremy L Thompson
86d99fa3c5SJeremy L Thompson // QFunctions
87d99fa3c5SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
88a61c78d6SJeremy L Thompson CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
89d99fa3c5SJeremy L Thompson CeedQFunctionAddInput(qf_setup, "dx", 1 * 1, CEED_EVAL_GRAD);
90d99fa3c5SJeremy L Thompson CeedQFunctionAddOutput(qf_setup, "q data", 1, CEED_EVAL_NONE);
91d99fa3c5SJeremy L Thompson
92d99fa3c5SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
93d99fa3c5SJeremy L Thompson CeedQFunctionAddInput(qf_mass, "q data", 1, CEED_EVAL_NONE);
94d1d35e2fSjeremylt CeedQFunctionAddInput(qf_mass, "u", num_comp, CEED_EVAL_INTERP);
95d1d35e2fSjeremylt CeedQFunctionAddOutput(qf_mass, "v", num_comp, CEED_EVAL_INTERP);
96d99fa3c5SJeremy L Thompson
97d99fa3c5SJeremy L Thompson // Operators
982b730f8bSJeremy L Thompson CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
992b730f8bSJeremy L Thompson CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
1004fee36f0SJeremy L Thompson CeedOperatorSetField(op_setup, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
101*356036faSJeremy L Thompson CeedOperatorSetField(op_setup, "q data", elem_restriction_q_data, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
102d99fa3c5SJeremy L Thompson
1034fee36f0SJeremy L Thompson CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass_fine);
104*356036faSJeremy L Thompson CeedOperatorSetField(op_mass_fine, "q data", elem_restriction_q_data, CEED_BASIS_NONE, q_data);
1054fee36f0SJeremy L Thompson CeedOperatorSetField(op_mass_fine, "u", elem_restriction_u_fine, basis_fine, CEED_VECTOR_ACTIVE);
1064fee36f0SJeremy L Thompson CeedOperatorSetField(op_mass_fine, "v", elem_restriction_u_fine, basis_fine, CEED_VECTOR_ACTIVE);
107d99fa3c5SJeremy L Thompson
1084fee36f0SJeremy L Thompson CeedOperatorApply(op_setup, x, q_data, CEED_REQUEST_IMMEDIATE);
109d99fa3c5SJeremy L Thompson
110d99fa3c5SJeremy L Thompson // Create multigrid level
111d1d35e2fSjeremylt CeedVectorSetValue(p_mult_fine, 1.0);
1124fee36f0SJeremy L Thompson CeedOperatorMultigridLevelCreate(op_mass_fine, p_mult_fine, elem_restriction_u_coarse, basis_coarse, &op_mass_coarse, &op_prolong, &op_restrict);
113d99fa3c5SJeremy L Thompson
114d99fa3c5SJeremy L Thompson // Coarse problem
1154fee36f0SJeremy L Thompson CeedVectorSetValue(u_coarse, 1.0);
1164fee36f0SJeremy L Thompson CeedOperatorApply(op_mass_coarse, u_coarse, v_coarse, CEED_REQUEST_IMMEDIATE);
117d99fa3c5SJeremy L Thompson
118d99fa3c5SJeremy L Thompson // Check output
1194fee36f0SJeremy L Thompson {
1204fee36f0SJeremy L Thompson const CeedScalar *v_array;
1214fee36f0SJeremy L Thompson CeedScalar sum = 0.;
1224fee36f0SJeremy L Thompson
1234fee36f0SJeremy L Thompson CeedVectorGetArrayRead(v_coarse, CEED_MEM_HOST, &v_array);
124d1d35e2fSjeremylt for (CeedInt i = 0; i < num_comp * num_dofs_u_c; i++) {
1254fee36f0SJeremy L Thompson sum += v_array[i];
126d99fa3c5SJeremy L Thompson }
1274fee36f0SJeremy L Thompson CeedVectorRestoreArrayRead(v_coarse, &v_array);
1282b730f8bSJeremy L Thompson if (fabs(sum - 2.) > 1000. * CEED_EPSILON) printf("Computed Area Coarse Grid: %f != True Area: 2.0\n", sum);
1294fee36f0SJeremy L Thompson }
130d99fa3c5SJeremy L Thompson
131d99fa3c5SJeremy L Thompson // Prolong coarse u
1324fee36f0SJeremy L Thompson CeedOperatorApply(op_prolong, u_coarse, u_fine, CEED_REQUEST_IMMEDIATE);
133d99fa3c5SJeremy L Thompson
134d99fa3c5SJeremy L Thompson // Fine problem
1354fee36f0SJeremy L Thompson CeedOperatorApply(op_mass_fine, u_fine, v_fine, CEED_REQUEST_IMMEDIATE);
136d99fa3c5SJeremy L Thompson
137d99fa3c5SJeremy L Thompson // Check output
1384fee36f0SJeremy L Thompson {
1394fee36f0SJeremy L Thompson const CeedScalar *v_array;
1404fee36f0SJeremy L Thompson CeedScalar sum = 0.;
1414fee36f0SJeremy L Thompson
1424fee36f0SJeremy L Thompson CeedVectorGetArrayRead(v_fine, CEED_MEM_HOST, &v_array);
143d1d35e2fSjeremylt for (CeedInt i = 0; i < num_comp * num_dofs_u_f; i++) {
1444fee36f0SJeremy L Thompson sum += v_array[i];
145d99fa3c5SJeremy L Thompson }
1464fee36f0SJeremy L Thompson CeedVectorRestoreArrayRead(v_fine, &v_array);
1472b730f8bSJeremy L Thompson if (fabs(sum - 2.) > 1000. * CEED_EPSILON) printf("Computed Area Fine Grid: %f != True Area: 2.0\n", sum);
1484fee36f0SJeremy L Thompson }
149d99fa3c5SJeremy L Thompson
150d99fa3c5SJeremy L Thompson // Restrict state to coarse grid
1514fee36f0SJeremy L Thompson CeedOperatorApply(op_restrict, v_fine, v_coarse, CEED_REQUEST_IMMEDIATE);
152d99fa3c5SJeremy L Thompson
153d99fa3c5SJeremy L Thompson // Check output
1544fee36f0SJeremy L Thompson {
1554fee36f0SJeremy L Thompson const CeedScalar *v_array;
1564fee36f0SJeremy L Thompson CeedScalar sum = 0.;
1574fee36f0SJeremy L Thompson
1584fee36f0SJeremy L Thompson CeedVectorGetArrayRead(v_coarse, CEED_MEM_HOST, &v_array);
159d1d35e2fSjeremylt for (CeedInt i = 0; i < num_comp * num_dofs_u_c; i++) {
1604fee36f0SJeremy L Thompson sum += v_array[i];
161d99fa3c5SJeremy L Thompson }
1624fee36f0SJeremy L Thompson CeedVectorRestoreArrayRead(v_coarse, &v_array);
1632b730f8bSJeremy L Thompson if (fabs(sum - 2.) > 1000. * CEED_EPSILON) printf("Computed Area Coarse Grid: %f != True Area: 2.0\n", sum);
1644fee36f0SJeremy L Thompson }
165d99fa3c5SJeremy L Thompson
166d99fa3c5SJeremy L Thompson // Cleanup
1674fee36f0SJeremy L Thompson CeedVectorDestroy(&x);
1684fee36f0SJeremy L Thompson CeedVectorDestroy(&u_coarse);
1694fee36f0SJeremy L Thompson CeedVectorDestroy(&u_fine);
1704fee36f0SJeremy L Thompson CeedVectorDestroy(&v_coarse);
1714fee36f0SJeremy L Thompson CeedVectorDestroy(&v_fine);
1724fee36f0SJeremy L Thompson CeedVectorDestroy(&p_mult_fine);
1734fee36f0SJeremy L Thompson CeedVectorDestroy(&q_data);
1744fee36f0SJeremy L Thompson CeedElemRestrictionDestroy(&elem_restriction_u_coarse);
1754fee36f0SJeremy L Thompson CeedElemRestrictionDestroy(&elem_restriction_u_fine);
1764fee36f0SJeremy L Thompson CeedElemRestrictionDestroy(&elem_restriction_x);
1774fee36f0SJeremy L Thompson CeedElemRestrictionDestroy(&elem_restriction_q_data);
1784fee36f0SJeremy L Thompson CeedBasisDestroy(&basis_coarse);
1794fee36f0SJeremy L Thompson CeedBasisDestroy(&basis_fine);
1804fee36f0SJeremy L Thompson CeedBasisDestroy(&basis_x);
181d99fa3c5SJeremy L Thompson CeedQFunctionDestroy(&qf_setup);
182d99fa3c5SJeremy L Thompson CeedQFunctionDestroy(&qf_mass);
183d99fa3c5SJeremy L Thompson CeedOperatorDestroy(&op_setup);
1844fee36f0SJeremy L Thompson CeedOperatorDestroy(&op_mass_coarse);
1854fee36f0SJeremy L Thompson CeedOperatorDestroy(&op_mass_fine);
186d99fa3c5SJeremy L Thompson CeedOperatorDestroy(&op_prolong);
187d99fa3c5SJeremy L Thompson CeedOperatorDestroy(&op_restrict);
188d99fa3c5SJeremy L Thompson CeedDestroy(&ceed);
189d99fa3c5SJeremy L Thompson return 0;
190d99fa3c5SJeremy L Thompson }
191