xref: /libCEED/tests/t533-operator.c (revision 01ecf5b4a3895d33c3d6fd6ee44ca505a2fd4980)
1b7ec98d8SJeremy L Thompson /// @file
2d965c7a7SJeremy L Thompson /// Test assembly of mass matrix operator diagonal
3d965c7a7SJeremy L Thompson /// \test Test assembly of mass matrix operator diagonal
4b7ec98d8SJeremy L Thompson #include <ceed.h>
5b7ec98d8SJeremy L Thompson #include <math.h>
649aac155SJeremy L Thompson #include <stdio.h>
72b730f8bSJeremy L Thompson #include <stdlib.h>
82b730f8bSJeremy L Thompson 
9a05f9790Sjeremylt #include "t510-operator.h"
10b7ec98d8SJeremy L Thompson 
main(int argc,char ** argv)11b7ec98d8SJeremy L Thompson int main(int argc, char **argv) {
12b7ec98d8SJeremy L Thompson   Ceed                ceed;
134fee36f0SJeremy L Thompson   CeedElemRestriction elem_restriction_x, elem_restriction_u, elem_restriction_q_data;
14d1d35e2fSjeremylt   CeedBasis           basis_x, basis_u;
15b7ec98d8SJeremy L Thompson   CeedQFunction       qf_setup, qf_mass;
16b7ec98d8SJeremy L Thompson   CeedOperator        op_setup, op_mass;
174fee36f0SJeremy L Thompson   CeedVector          q_data, x, assembled, u, v;
184fee36f0SJeremy L Thompson   CeedInt             num_elem = 6, p = 3, q = 4, dim = 2;
19b7ec98d8SJeremy L Thompson   CeedInt             nx = 3, ny = 2;
204fee36f0SJeremy L Thompson   CeedInt             num_dofs = (nx * 2 + 1) * (ny * 2 + 1), num_qpts = num_elem * q * q;
214fee36f0SJeremy L Thompson   CeedInt             ind_x[num_elem * p * p];
224fee36f0SJeremy L Thompson   CeedScalar          assembled_true[num_dofs];
23b7ec98d8SJeremy L Thompson 
24b7ec98d8SJeremy L Thompson   CeedInit(argv[1], &ceed);
25b7ec98d8SJeremy L Thompson 
264fee36f0SJeremy L Thompson   // Vectors
274fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, dim * num_dofs, &x);
284fee36f0SJeremy L Thompson   {
294fee36f0SJeremy L Thompson     CeedScalar x_array[dim * num_dofs];
304fee36f0SJeremy L Thompson 
31*6c10af5dSJeremy L Thompson     for (CeedInt i = 0; i < nx * 2 + 1; i++) {
32b7ec98d8SJeremy L Thompson       for (CeedInt j = 0; j < ny * 2 + 1; j++) {
334fee36f0SJeremy L Thompson         x_array[i + j * (nx * 2 + 1) + 0 * num_dofs] = (CeedScalar)i / (2 * nx);
344fee36f0SJeremy L Thompson         x_array[i + j * (nx * 2 + 1) + 1 * num_dofs] = (CeedScalar)j / (2 * ny);
35b7ec98d8SJeremy L Thompson       }
36*6c10af5dSJeremy L Thompson     }
374fee36f0SJeremy L Thompson     CeedVectorSetArray(x, CEED_MEM_HOST, CEED_COPY_VALUES, x_array);
384fee36f0SJeremy L Thompson   }
394fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs, &u);
404fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs, &v);
41d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts, &q_data);
42b7ec98d8SJeremy L Thompson 
434fee36f0SJeremy L Thompson   // Restrictions
44d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
45b7ec98d8SJeremy L Thompson     CeedInt col, row, offset;
46b7ec98d8SJeremy L Thompson     col    = i % nx;
47b7ec98d8SJeremy L Thompson     row    = i / nx;
484fee36f0SJeremy L Thompson     offset = col * (p - 1) + row * (nx * 2 + 1) * (p - 1);
49*6c10af5dSJeremy L Thompson     for (CeedInt j = 0; j < p; j++) {
504fee36f0SJeremy L Thompson       for (CeedInt k = 0; k < p; k++) ind_x[p * (p * i + k) + j] = offset + k * (nx * 2 + 1) + j;
51b7ec98d8SJeremy L Thompson     }
52*6c10af5dSJeremy L Thompson   }
534fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p * p, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_x);
544fee36f0SJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, p * p, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restriction_u);
55b7ec98d8SJeremy L Thompson 
564fee36f0SJeremy L Thompson   CeedInt strides_q_data[3] = {1, q * q, q * q};
574fee36f0SJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, num_elem, q * q, 1, num_qpts, strides_q_data, &elem_restriction_q_data);
58b7ec98d8SJeremy L Thompson 
59b7ec98d8SJeremy L Thompson   // Bases
604fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, p, q, CEED_GAUSS, &basis_x);
614fee36f0SJeremy L Thompson   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, p, q, CEED_GAUSS, &basis_u);
62b7ec98d8SJeremy L Thompson 
63b7ec98d8SJeremy L Thompson   // QFunctions
64b7ec98d8SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
65a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
66b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "dx", dim * dim, CEED_EVAL_GRAD);
67b7ec98d8SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup, "rho", 1, CEED_EVAL_NONE);
68b7ec98d8SJeremy L Thompson 
69b7ec98d8SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
70b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "rho", 1, CEED_EVAL_NONE);
71b7ec98d8SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "u", 1, CEED_EVAL_INTERP);
72b7ec98d8SJeremy L Thompson   CeedQFunctionAddOutput(qf_mass, "v", 1, CEED_EVAL_INTERP);
73b7ec98d8SJeremy L Thompson 
74b7ec98d8SJeremy L Thompson   // Operators
752b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
762b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
774fee36f0SJeremy L Thompson   CeedOperatorSetField(op_setup, "dx", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE);
78356036faSJeremy L Thompson   CeedOperatorSetField(op_setup, "rho", elem_restriction_q_data, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
79b7ec98d8SJeremy L Thompson 
802b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass);
81356036faSJeremy L Thompson   CeedOperatorSetField(op_mass, "rho", elem_restriction_q_data, CEED_BASIS_NONE, q_data);
824fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass, "u", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
834fee36f0SJeremy L Thompson   CeedOperatorSetField(op_mass, "v", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE);
84b7ec98d8SJeremy L Thompson 
85b7ec98d8SJeremy L Thompson   // Apply Setup Operator
864fee36f0SJeremy L Thompson   CeedOperatorApply(op_setup, x, q_data, CEED_REQUEST_IMMEDIATE);
87b7ec98d8SJeremy L Thompson 
88b7ec98d8SJeremy L Thompson   // Assemble diagonal
894fee36f0SJeremy L Thompson   CeedVectorCreate(ceed, num_dofs, &assembled);
904fee36f0SJeremy L Thompson   CeedOperatorLinearAssembleDiagonal(op_mass, assembled, CEED_REQUEST_IMMEDIATE);
91b7ec98d8SJeremy L Thompson 
92b7ec98d8SJeremy L Thompson   // Manually assemble diagonal
934fee36f0SJeremy L Thompson   CeedVectorSetValue(u, 0.0);
94fb133d4bSJeremy L Thompson   for (CeedInt i = 0; i < num_dofs; i++) {
954fee36f0SJeremy L Thompson     CeedScalar       *u_array;
964fee36f0SJeremy L Thompson     const CeedScalar *v_array;
974fee36f0SJeremy L Thompson 
98b7ec98d8SJeremy L Thompson     // Set input
994fee36f0SJeremy L Thompson     CeedVectorGetArray(u, CEED_MEM_HOST, &u_array);
1004fee36f0SJeremy L Thompson     u_array[i] = 1.0;
1014fee36f0SJeremy L Thompson     if (i) u_array[i - 1] = 0.0;
1024fee36f0SJeremy L Thompson     CeedVectorRestoreArray(u, &u_array);
103b7ec98d8SJeremy L Thompson 
104b7ec98d8SJeremy L Thompson     // Compute diag entry for DoF i
1054fee36f0SJeremy L Thompson     CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE);
106b7ec98d8SJeremy L Thompson 
107b7ec98d8SJeremy L Thompson     // Retrieve entry
1084fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array);
1094fee36f0SJeremy L Thompson     assembled_true[i] = v_array[i];
1104fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(v, &v_array);
111b7ec98d8SJeremy L Thompson   }
112b7ec98d8SJeremy L Thompson 
113b7ec98d8SJeremy L Thompson   // Check output
1144fee36f0SJeremy L Thompson   {
1154fee36f0SJeremy L Thompson     const CeedScalar *assembled_array;
1164fee36f0SJeremy L Thompson 
1174fee36f0SJeremy L Thompson     CeedVectorGetArrayRead(assembled, CEED_MEM_HOST, &assembled_array);
118fb133d4bSJeremy L Thompson     for (CeedInt i = 0; i < num_dofs; i++) {
1194fee36f0SJeremy L Thompson       if (fabs(assembled_array[i] - assembled_true[i]) > 100. * CEED_EPSILON) {
120b7ec98d8SJeremy L Thompson         // LCOV_EXCL_START
1214fee36f0SJeremy L Thompson         printf("[%" CeedInt_FMT "] Error in assembly: %f != %f\n", i, assembled_array[i], assembled_true[i]);
122b7ec98d8SJeremy L Thompson         // LCOV_EXCL_STOP
1234fee36f0SJeremy L Thompson       }
1244fee36f0SJeremy L Thompson     }
1254fee36f0SJeremy L Thompson     CeedVectorRestoreArrayRead(assembled, &assembled_array);
1264fee36f0SJeremy L Thompson   }
127b7ec98d8SJeremy L Thompson 
128b7ec98d8SJeremy L Thompson   // Cleanup
1294fee36f0SJeremy L Thompson   CeedVectorDestroy(&x);
1304fee36f0SJeremy L Thompson   CeedVectorDestroy(&assembled);
1314fee36f0SJeremy L Thompson   CeedVectorDestroy(&q_data);
1324fee36f0SJeremy L Thompson   CeedVectorDestroy(&u);
1334fee36f0SJeremy L Thompson   CeedVectorDestroy(&v);
1344fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_u);
1354fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_x);
1364fee36f0SJeremy L Thompson   CeedElemRestrictionDestroy(&elem_restriction_q_data);
1374fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_u);
1384fee36f0SJeremy L Thompson   CeedBasisDestroy(&basis_x);
139b7ec98d8SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
140b7ec98d8SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
141b7ec98d8SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
142b7ec98d8SJeremy L Thompson   CeedOperatorDestroy(&op_mass);
143b7ec98d8SJeremy L Thompson   CeedDestroy(&ceed);
144b7ec98d8SJeremy L Thompson   return 0;
145b7ec98d8SJeremy L Thompson }
146