xref: /libCEED/tests/t530-operator.c (revision 2b730f8b5a9c809740a0b3b302db43a719c636b1)
11d102b48SJeremy L Thompson /// @file
21d102b48SJeremy L Thompson /// Test assembly of mass matrix operator QFunction
31d102b48SJeremy L Thompson /// \test Test assembly of mass matrix operator QFunction
41d102b48SJeremy L Thompson #include <ceed.h>
51d102b48SJeremy L Thompson #include <math.h>
6*2b730f8bSJeremy L Thompson #include <stdlib.h>
7*2b730f8bSJeremy L Thompson 
8a05f9790Sjeremylt #include "t510-operator.h"
91d102b48SJeremy L Thompson 
101d102b48SJeremy L Thompson int main(int argc, char **argv) {
111d102b48SJeremy L Thompson   Ceed                ceed;
12*2b730f8bSJeremy L Thompson   CeedElemRestriction elem_restr_x, elem_restr_u, elem_restr_qd_i, elem_restr_lin_i;
13d1d35e2fSjeremylt   CeedBasis           basis_x, basis_u;
141d102b48SJeremy L Thompson   CeedQFunction       qf_setup, qf_mass;
151d102b48SJeremy L Thompson   CeedOperator        op_setup, op_mass;
16d1d35e2fSjeremylt   CeedVector          q_data, X, A, u, v;
171d102b48SJeremy L Thompson   const CeedScalar   *a, *q;
18d1d35e2fSjeremylt   CeedInt             num_elem = 6, P = 3, Q = 4, dim = 2;
191d102b48SJeremy L Thompson   CeedInt             nx = 3, ny = 2;
20d1d35e2fSjeremylt   CeedInt             num_dofs = (nx * 2 + 1) * (ny * 2 + 1), num_qpts = num_elem * Q * Q;
21d1d35e2fSjeremylt   CeedInt             ind_x[num_elem * P * P];
22d1d35e2fSjeremylt   CeedScalar          x[dim * num_dofs];
231d102b48SJeremy L Thompson 
241d102b48SJeremy L Thompson   CeedInit(argv[1], &ceed);
251d102b48SJeremy L Thompson 
261d102b48SJeremy L Thompson   // DoF Coordinates
27*2b730f8bSJeremy L Thompson   for (CeedInt i = 0; i < nx * 2 + 1; i++) {
281d102b48SJeremy L Thompson     for (CeedInt j = 0; j < ny * 2 + 1; j++) {
29d1d35e2fSjeremylt       x[i + j * (nx * 2 + 1) + 0 * num_dofs] = (CeedScalar)i / (2 * nx);
30d1d35e2fSjeremylt       x[i + j * (nx * 2 + 1) + 1 * num_dofs] = (CeedScalar)j / (2 * ny);
311d102b48SJeremy L Thompson     }
32*2b730f8bSJeremy L Thompson   }
33d1d35e2fSjeremylt   CeedVectorCreate(ceed, dim * num_dofs, &X);
341d102b48SJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
351d102b48SJeremy L Thompson 
361d102b48SJeremy L Thompson   // Qdata Vector
37d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts, &q_data);
381d102b48SJeremy L Thompson 
391d102b48SJeremy L Thompson   // Element Setup
40d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_elem; i++) {
411d102b48SJeremy L Thompson     CeedInt col, row, offset;
421d102b48SJeremy L Thompson     col    = i % nx;
431d102b48SJeremy L Thompson     row    = i / nx;
441d102b48SJeremy L Thompson     offset = col * (P - 1) + row * (nx * 2 + 1) * (P - 1);
45*2b730f8bSJeremy L Thompson     for (CeedInt j = 0; j < P; j++) {
46*2b730f8bSJeremy L Thompson       for (CeedInt k = 0; k < P; k++) ind_x[P * (P * i + k) + j] = offset + k * (nx * 2 + 1) + j;
47*2b730f8bSJeremy L Thompson     }
481d102b48SJeremy L Thompson   }
491d102b48SJeremy L Thompson 
501d102b48SJeremy L Thompson   // Restrictions
51*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, P * P, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_x);
521d102b48SJeremy L Thompson 
53*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreate(ceed, num_elem, P * P, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_u);
54d1d35e2fSjeremylt   CeedInt strides_qd[3] = {1, Q * Q, Q * Q};
55*2b730f8bSJeremy L Thompson   CeedElemRestrictionCreateStrided(ceed, num_elem, Q * Q, 1, num_qpts, strides_qd, &elem_restr_qd_i);
561d102b48SJeremy L Thompson 
571d102b48SJeremy L Thompson   // Bases
58d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &basis_x);
59d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P, Q, CEED_GAUSS, &basis_u);
601d102b48SJeremy L Thompson 
611d102b48SJeremy L Thompson   // QFunctions
621d102b48SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
63a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
641d102b48SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "dx", dim * dim, CEED_EVAL_GRAD);
651d102b48SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup, "rho", 1, CEED_EVAL_NONE);
661d102b48SJeremy L Thompson 
671d102b48SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
681d102b48SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "rho", 1, CEED_EVAL_NONE);
691d102b48SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "u", 1, CEED_EVAL_INTERP);
701d102b48SJeremy L Thompson   CeedQFunctionAddOutput(qf_mass, "v", 1, CEED_EVAL_INTERP);
711d102b48SJeremy L Thompson 
721d102b48SJeremy L Thompson   // Operators
73*2b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup);
74*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE);
75d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE);
76*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_setup, "rho", elem_restr_qd_i, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE);
771d102b48SJeremy L Thompson 
78*2b730f8bSJeremy L Thompson   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass);
79*2b730f8bSJeremy L Thompson   CeedOperatorSetField(op_mass, "rho", elem_restr_qd_i, CEED_BASIS_COLLOCATED, q_data);
80d1d35e2fSjeremylt   CeedOperatorSetField(op_mass, "u", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
81d1d35e2fSjeremylt   CeedOperatorSetField(op_mass, "v", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
821d102b48SJeremy L Thompson 
831d102b48SJeremy L Thompson   // Apply Setup Operator
84d1d35e2fSjeremylt   CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE);
851d102b48SJeremy L Thompson 
861d102b48SJeremy L Thompson   // Assemble QFunction
87beecbf24SJeremy L Thompson   CeedOperatorSetQFunctionAssemblyReuse(op_mass, true);
88beecbf24SJeremy L Thompson   CeedOperatorSetQFunctionAssemblyDataUpdateNeeded(op_mass, true);
89*2b730f8bSJeremy L Thompson   CeedOperatorLinearAssembleQFunction(op_mass, &A, &elem_restr_lin_i, CEED_REQUEST_IMMEDIATE);
908b919e6bSJeremy L Thompson   // Second call will be no-op since SetQFunctionUpdated was not called
91beecbf24SJeremy L Thompson   CeedOperatorSetQFunctionAssemblyDataUpdateNeeded(op_mass, false);
92*2b730f8bSJeremy L Thompson   CeedOperatorLinearAssembleQFunction(op_mass, &A, &elem_restr_lin_i, CEED_REQUEST_IMMEDIATE);
931d102b48SJeremy L Thompson 
941d102b48SJeremy L Thompson   // Check output
951d102b48SJeremy L Thompson   CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a);
96d1d35e2fSjeremylt   CeedVectorGetArrayRead(q_data, CEED_MEM_HOST, &q);
97d1d35e2fSjeremylt   for (CeedInt i = 0; i < num_qpts; i++)
98*2b730f8bSJeremy L Thompson     if (fabs(q[i] - a[i]) > 1e-9) printf("Error: A[%" CeedInt_FMT "] = %f != %f\n", i, a[i], q[i]);
991d102b48SJeremy L Thompson   CeedVectorRestoreArrayRead(A, &a);
100d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(q_data, &q);
1011d102b48SJeremy L Thompson 
1021d102b48SJeremy L Thompson   // Apply original Mass Operator
103d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &u);
1041d102b48SJeremy L Thompson   CeedVectorSetValue(u, 1.0);
105d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &v);
1061d102b48SJeremy L Thompson   CeedVectorSetValue(v, 0.0);
1071d102b48SJeremy L Thompson   CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE);
1081d102b48SJeremy L Thompson 
1091d102b48SJeremy L Thompson   // Check output
1101d102b48SJeremy L Thompson   CeedScalar        area = 0.0;
1111d102b48SJeremy L Thompson   const CeedScalar *vv;
1121d102b48SJeremy L Thompson   CeedVectorGetArrayRead(v, CEED_MEM_HOST, &vv);
113*2b730f8bSJeremy L Thompson   for (CeedInt i = 0; i < num_dofs; i++) area += vv[i];
1141d102b48SJeremy L Thompson   CeedVectorRestoreArrayRead(v, &vv);
115*2b730f8bSJeremy L Thompson   if (fabs(area - 1.0) > 100. * CEED_EPSILON) printf("Error: True operator computed area = %f != 1.0\n", area);
1161d102b48SJeremy L Thompson 
117d1d35e2fSjeremylt   // Switch to new q_data
1181d102b48SJeremy L Thompson   CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a);
119d1d35e2fSjeremylt   CeedVectorSetArray(q_data, CEED_MEM_HOST, CEED_COPY_VALUES, (CeedScalar *)a);
1201d102b48SJeremy L Thompson   CeedVectorRestoreArrayRead(A, &a);
1211d102b48SJeremy L Thompson 
1221d102b48SJeremy L Thompson   // Apply new Mass Operator
1231d102b48SJeremy L Thompson   CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE);
1241d102b48SJeremy L Thompson 
1251d102b48SJeremy L Thompson   // Check output
1261d102b48SJeremy L Thompson   area = 0.0;
1271d102b48SJeremy L Thompson   CeedVectorGetArrayRead(v, CEED_MEM_HOST, &vv);
128*2b730f8bSJeremy L Thompson   for (CeedInt i = 0; i < num_dofs; i++) area += vv[i];
1291d102b48SJeremy L Thompson   CeedVectorRestoreArrayRead(v, &vv);
130*2b730f8bSJeremy L Thompson   if (fabs(area - 1.0) > 1000. * CEED_EPSILON) printf("Error: Linearized operator computed area = %f != 1.0\n", area);
1311d102b48SJeremy L Thompson 
1321d102b48SJeremy L Thompson   // Cleanup
1331d102b48SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
1341d102b48SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
1351d102b48SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
1361d102b48SJeremy L Thompson   CeedOperatorDestroy(&op_mass);
137d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u);
138d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x);
139d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i);
140d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_lin_i);
141d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u);
142d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x);
1431d102b48SJeremy L Thompson   CeedVectorDestroy(&X);
1441d102b48SJeremy L Thompson   CeedVectorDestroy(&A);
145d1d35e2fSjeremylt   CeedVectorDestroy(&q_data);
1461d102b48SJeremy L Thompson   CeedVectorDestroy(&u);
1471d102b48SJeremy L Thompson   CeedVectorDestroy(&v);
1481d102b48SJeremy L Thompson   CeedDestroy(&ceed);
1491d102b48SJeremy L Thompson   return 0;
1501d102b48SJeremy L Thompson }
151