xref: /libCEED/tests/t553-operator.c (revision fdf20d1507041ae081eb23cdb7397fbed40ecb8b)
1d99fa3c5SJeremy L Thompson /// @file
2*ac5aa7bcSJeremy L Thompson /// Test creation, action, and destruction for mass matrix operator with multigrid level, non-tensor basis
3*ac5aa7bcSJeremy L Thompson /// \test Test creation, action, and destruction for mass matrix operator with multigrid level, non-tensor basis
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 
main(int argc,char ** argv)9d99fa3c5SJeremy L Thompson int main(int argc, char **argv) {
10d99fa3c5SJeremy L Thompson   Ceed                ceed;
114fee36f0SJeremy L Thompson   CeedElemRestriction elem_restriction_x, elem_restriction_q_data, elem_restriction_u_coarse, elem_restriction_u_fine;
12d1d35e2fSjeremylt   CeedBasis           basis_x, basis_u;
13d99fa3c5SJeremy L Thompson   CeedQFunction       qf_setup, qf_mass;
144fee36f0SJeremy L Thompson   CeedOperator        op_setup, op_mass_coarse, op_mass_fine, op_prolong, op_restrict;
154fee36f0SJeremy L Thompson   CeedVector          q_data, x, u_coarse, u_fine, v_coarse, v_fine, p_mult_fine;
164fee36f0SJeremy L Thompson   CeedInt             num_elem = 15, p_coarse = 3, p_fine = 5, q = 8;
174fee36f0SJeremy L Thompson   CeedInt             num_dofs_x = num_elem + 1, num_dofs_u_coarse = num_elem * (p_coarse - 1) + 1, num_dofs_u_fine = num_elem * (p_fine - 1) + 1;
184fee36f0SJeremy L Thompson   CeedInt             ind_u_coarse[num_elem * p_coarse], ind_u_fine[num_elem * p_fine], ind_x[num_elem * 2];
19d99fa3c5SJeremy L Thompson 
20d99fa3c5SJeremy L Thompson   CeedInit(argv[1], &ceed);
21d99fa3c5SJeremy L Thompson 
224fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_x, &x);
234fee36f0SJeremy L Thompson   {
244fee36f0SJeremy L Thompson     CeedScalar x_array[num_dofs_x];
254fee36f0SJeremy L Thompson 
264fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_x; i++) x_array[i] = (CeedScalar)i / (num_dofs_x - 1);
274fee36f0SJeremy L Thompson     CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
284fee36f0SJeremy L Thompson   }
294fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_fine, &p_mult_fine);
304fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_coarse, &u_coarse);
314fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_coarse, &v_coarse);
324fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_fine, &u_fine);
334fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs_u_fine, &v_fine);
344fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_elem * q, &q_data);
354fee36f0SJeremy L Thompson 
364fee36f0SJeremy L Thompson   // Restrictions
37d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
38d1d35e2fSjeremylt     ind_x[2 * i + 0] = i;
39d1d35e2fSjeremylt     ind_x[2 * i + 1] = i + 1;
40d99fa3c5SJeremy L Thompson   }
414fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, 2, 1, 1, num_dofs_x, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
42d99fa3c5SJeremy L Thompson 
43d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
444fee36f0SJeremy L Thompson     for (CeedInt j = 0; j < p_coarse; j++) {
454fee36f0SJeremy L Thompson       ind_u_coarse[p_coarse * i + j] = i * (p_coarse - 1) + j;
46d99fa3c5SJeremy L Thompson     }
47d99fa3c5SJeremy L Thompson   }
484fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p_coarse, 1, 1, num_dofs_u_coarse, CEED_MEM_HOST, CEED_USE_POINTER, ind_u_coarse,
494fee36f0SJeremy L Thompson                             &elem_restriction_u_coarse);
50d99fa3c5SJeremy L Thompson 
51d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
524fee36f0SJeremy L Thompson     for (CeedInt j = 0; j < p_fine; j++) {
534fee36f0SJeremy L Thompson       ind_u_fine[p_fine * i + j] = i * (p_fine - 1) + j;
54d99fa3c5SJeremy L Thompson     }
55d99fa3c5SJeremy L Thompson   }
564fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p_fine, 1, 1, num_dofs_u_fine, CEED_MEM_HOST, CEED_USE_POINTER, ind_u_fine, &elem_restriction_u_fine);
57d99fa3c5SJeremy L Thompson 
584fee36f0SJeremy L Thompson   CeedInt strides_q_data[3] = {1, q, q};
594fee36f0SJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, num_elem, q, 1, q * num_elem, strides_q_data, &elem_restriction_q_data);
60d99fa3c5SJeremy L Thompson 
61d99fa3c5SJeremy L Thompson   // Bases
624fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, 2, q, CEED_GAUSS, &basis_x);
634fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, p_fine, q, CEED_GAUSS, &basis_u);
64d99fa3c5SJeremy L Thompson 
65d99fa3c5SJeremy L Thompson   // QFunctions
66d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInteriorByName(ceed, "Mass1DBuild", &qf_setup);
67d99fa3c5SJeremy L Thompson   CeedQFunctionCreateInteriorByName(ceed, "MassApply", &qf_mass);
68d99fa3c5SJeremy L Thompson 
69d99fa3c5SJeremy L Thompson   // Operators
702b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
71d99fa3c5SJeremy L Thompson 
722b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup, "weights", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
734fee36f0SJeremy L Thompson   CeedOperatorSetField(op_setup, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
74356036faSJeremy L Thompson   CeedOperatorSetField(op_setup, "qdata", elem_restriction_q_data, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
75d99fa3c5SJeremy L Thompson 
764fee36f0SJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass_fine);
77356036faSJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "qdata", elem_restriction_q_data, CEED_BASIS_NONE, q_data);
784fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "u", elem_restriction_u_fine, basis_u, CEED_VECTOR_ACTIVE);
794fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass_fine, "v", elem_restriction_u_fine, basis_u, CEED_VECTOR_ACTIVE);
80d99fa3c5SJeremy L Thompson 
814fee36f0SJeremy L Thompson   CeedOperatorApply(op_setup, x, q_data, CEED_REQUEST_IMMEDIATE);
82d99fa3c5SJeremy L Thompson 
83d99fa3c5SJeremy L Thompson   // Create multigrid level
844fee36f0SJeremy L Thompson   CeedVectorSetValue(p_mult_fine, 1.0);
854fee36f0SJeremy L Thompson   CeedBasis basis_u_coarse, basis_coarse_to_fine;
864fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, p_coarse, q, CEED_GAUSS, &basis_u_coarse);
874fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, 1, 1, p_coarse, p_fine, CEED_GAUSS_LOBATTO, &basis_coarse_to_fine);
884fee36f0SJeremy L Thompson   const CeedScalar *interp_coarse_to_fine;
894fee36f0SJeremy L Thompson   CeedBasisGetInterp1D(basis_coarse_to_fine, &interp_coarse_to_fine);
904fee36f0SJeremy L Thompson   CeedOperatorMultigridLevelCreateH1(op_mass_fine, p_mult_fine, elem_restriction_u_coarse, basis_u_coarse, interp_coarse_to_fine, &op_mass_coarse,
914fee36f0SJeremy L Thompson                                      &op_prolong, &op_restrict);
92d99fa3c5SJeremy L Thompson 
93d99fa3c5SJeremy L Thompson   // Coarse problem
944fee36f0SJeremy L Thompson   CeedVectorSetValue(u_coarse, 1.0);
954fee36f0SJeremy L Thompson   CeedOperatorApply(op_mass_coarse, u_coarse, v_coarse, CEED_REQUEST_IMMEDIATE);
96d99fa3c5SJeremy L Thompson 
97d99fa3c5SJeremy L Thompson   // Check output
984fee36f0SJeremy L Thompson   {
994fee36f0SJeremy L Thompson     const CeedScalar *v_array;
1004fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
1014fee36f0SJeremy L Thompson 
1024fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_coarse, CEED_MEM_HOST, &v_array);
1034fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_u_coarse; i++) {
1044fee36f0SJeremy L Thompson       sum += v_array[i];
105d99fa3c5SJeremy L Thompson     }
1064fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_coarse, &v_array);
1072b730f8bSJeremy L Thompson     if (fabs(sum - 1.) > 1000. * CEED_EPSILON) printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
1084fee36f0SJeremy L Thompson   }
109d99fa3c5SJeremy L Thompson 
110d99fa3c5SJeremy L Thompson   // Prolong coarse u
1114fee36f0SJeremy L Thompson   CeedOperatorApply(op_prolong, u_coarse, u_fine, CEED_REQUEST_IMMEDIATE);
112d99fa3c5SJeremy L Thompson 
113d99fa3c5SJeremy L Thompson   // Fine problem
1144fee36f0SJeremy L Thompson   CeedOperatorApply(op_mass_fine, u_fine, v_fine, CEED_REQUEST_IMMEDIATE);
115d99fa3c5SJeremy L Thompson 
116d99fa3c5SJeremy L Thompson   // Check output
1174fee36f0SJeremy L Thompson   {
1184fee36f0SJeremy L Thompson     const CeedScalar *v_array;
1194fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
1204fee36f0SJeremy L Thompson 
1214fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_fine, CEED_MEM_HOST, &v_array);
1224fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_u_fine; i++) {
1234fee36f0SJeremy L Thompson       sum += v_array[i];
124d99fa3c5SJeremy L Thompson     }
1254fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_fine, &v_array);
1262b730f8bSJeremy L Thompson     if (fabs(sum - 1.) > 1000. * CEED_EPSILON) printf("Computed Area Fine Grid: %f != True Area: 1.0\n", sum);
1274fee36f0SJeremy L Thompson   }
128d99fa3c5SJeremy L Thompson 
129d99fa3c5SJeremy L Thompson   // Restrict state to coarse grid
1304fee36f0SJeremy L Thompson   CeedOperatorApply(op_restrict, v_fine, v_coarse, CEED_REQUEST_IMMEDIATE);
131d99fa3c5SJeremy L Thompson 
132d99fa3c5SJeremy L Thompson   // Check output
1334fee36f0SJeremy L Thompson   {
1344fee36f0SJeremy L Thompson     const CeedScalar *v_array;
1354fee36f0SJeremy L Thompson     CeedScalar        sum = 0.;
1364fee36f0SJeremy L Thompson 
1374fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v_coarse, CEED_MEM_HOST, &v_array);
1384fee36f0SJeremy L Thompson     for (CeedInt i = 0; i < num_dofs_u_coarse; i++) {
1394fee36f0SJeremy L Thompson       sum += v_array[i];
140d99fa3c5SJeremy L Thompson     }
1414fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v_coarse, &v_array);
1422b730f8bSJeremy L Thompson     if (fabs(sum - 1.) > 1000. * CEED_EPSILON) printf("Computed Area Coarse Grid: %f != True Area: 1.0\n", sum);
1434fee36f0SJeremy L Thompson   }
144d99fa3c5SJeremy L Thompson 
145d99fa3c5SJeremy L Thompson   // Cleanup
1464fee36f0SJeremy L Thompson   CeedVectorDestroy(&x);
1474fee36f0SJeremy L Thompson   CeedVectorDestroy(&u_coarse);
1484fee36f0SJeremy L Thompson   CeedVectorDestroy(&u_fine);
1494fee36f0SJeremy L Thompson   CeedVectorDestroy(&v_coarse);
1504fee36f0SJeremy L Thompson   CeedVectorDestroy(&v_fine);
1514fee36f0SJeremy L Thompson   CeedVectorDestroy(&p_mult_fine);
1524fee36f0SJeremy L Thompson   CeedVectorDestroy(&q_data);
1534fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_u_coarse);
1544fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_u_fine);
1554fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_x);
1564fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_q_data);
1574fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_u);
1584fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_u_coarse);
1594fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_coarse_to_fine);
1604fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_x);
161d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
162d99fa3c5SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
163d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
1644fee36f0SJeremy L Thompson   CeedOperatorDestroy(&op_mass_coarse);
1654fee36f0SJeremy L Thompson   CeedOperatorDestroy(&op_mass_fine);
166d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_prolong);
167d99fa3c5SJeremy L Thompson   CeedOperatorDestroy(&op_restrict);
168d99fa3c5SJeremy L Thompson   CeedDestroy(&ceed);
169d99fa3c5SJeremy L Thompson   return 0;
170d99fa3c5SJeremy L Thompson }
171