xref: /libCEED/tests/t530-operator.c (revision beecbf24d1afba41e856b0aa9f999ecb1ad5fea6)
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 <stdlib.h>
61d102b48SJeremy L Thompson #include <math.h>
7a05f9790Sjeremylt #include "t510-operator.h"
81d102b48SJeremy L Thompson 
91d102b48SJeremy L Thompson int main(int argc, char **argv) {
101d102b48SJeremy L Thompson   Ceed ceed;
11d1d35e2fSjeremylt   CeedElemRestriction elem_restr_x, elem_restr_u,
12d1d35e2fSjeremylt                       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
271d102b48SJeremy 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     }
32d1d35e2fSjeremylt   CeedVectorCreate(ceed, dim*num_dofs, &X);
331d102b48SJeremy L Thompson   CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x);
341d102b48SJeremy L Thompson 
351d102b48SJeremy L Thompson   // Qdata Vector
36d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_qpts, &q_data);
371d102b48SJeremy L Thompson 
381d102b48SJeremy L Thompson   // Element Setup
39d1d35e2fSjeremylt   for (CeedInt i=0; i<num_elem; i++) {
401d102b48SJeremy L Thompson     CeedInt col, row, offset;
411d102b48SJeremy L Thompson     col = i % nx;
421d102b48SJeremy L Thompson     row = i / nx;
431d102b48SJeremy L Thompson     offset = col*(P-1) + row*(nx*2+1)*(P-1);
441d102b48SJeremy L Thompson     for (CeedInt j=0; j<P; j++)
451d102b48SJeremy L Thompson       for (CeedInt k=0; k<P; k++)
46d1d35e2fSjeremylt         ind_x[P*(P*i+k)+j] = offset + k*(nx*2+1) + j;
471d102b48SJeremy L Thompson   }
481d102b48SJeremy L Thompson 
491d102b48SJeremy L Thompson   // Restrictions
50d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P*P, dim, num_dofs, dim*num_dofs,
51d1d35e2fSjeremylt                             CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_x);
521d102b48SJeremy L Thompson 
53d1d35e2fSjeremylt   CeedElemRestrictionCreate(ceed, num_elem, P*P, 1, 1, num_dofs, CEED_MEM_HOST,
54d1d35e2fSjeremylt                             CEED_USE_POINTER, ind_x, &elem_restr_u);
55d1d35e2fSjeremylt   CeedInt strides_qd[3] = {1, Q*Q, Q*Q};
56d1d35e2fSjeremylt   CeedElemRestrictionCreateStrided(ceed, num_elem, Q*Q, 1, num_qpts, strides_qd,
57d1d35e2fSjeremylt                                    &elem_restr_qd_i);
581d102b48SJeremy L Thompson 
591d102b48SJeremy L Thompson   // Bases
60d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &basis_x);
61d1d35e2fSjeremylt   CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P, Q, CEED_GAUSS, &basis_u);
621d102b48SJeremy L Thompson 
631d102b48SJeremy L Thompson   // QFunctions
641d102b48SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup);
65a61c78d6SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT);
661d102b48SJeremy L Thompson   CeedQFunctionAddInput(qf_setup, "dx", dim*dim, CEED_EVAL_GRAD);
671d102b48SJeremy L Thompson   CeedQFunctionAddOutput(qf_setup, "rho", 1, CEED_EVAL_NONE);
681d102b48SJeremy L Thompson 
691d102b48SJeremy L Thompson   CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass);
701d102b48SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "rho", 1, CEED_EVAL_NONE);
711d102b48SJeremy L Thompson   CeedQFunctionAddInput(qf_mass, "u", 1, CEED_EVAL_INTERP);
721d102b48SJeremy L Thompson   CeedQFunctionAddOutput(qf_mass, "v", 1, CEED_EVAL_INTERP);
731d102b48SJeremy L Thompson 
741d102b48SJeremy L Thompson   // Operators
75442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
76442e7f0bSjeremylt                      &op_setup);
77a61c78d6SJeremy L Thompson   CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x,
7815910d16Sjeremylt                        CEED_VECTOR_NONE);
79d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE);
80d1d35e2fSjeremylt   CeedOperatorSetField(op_setup, "rho", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
811d102b48SJeremy L Thompson                        CEED_VECTOR_ACTIVE);
821d102b48SJeremy L Thompson 
83442e7f0bSjeremylt   CeedOperatorCreate(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE,
84442e7f0bSjeremylt                      &op_mass);
85d1d35e2fSjeremylt   CeedOperatorSetField(op_mass, "rho", elem_restr_qd_i, CEED_BASIS_COLLOCATED,
86d1d35e2fSjeremylt                        q_data);
87d1d35e2fSjeremylt   CeedOperatorSetField(op_mass, "u", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
88d1d35e2fSjeremylt   CeedOperatorSetField(op_mass, "v", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE);
891d102b48SJeremy L Thompson 
901d102b48SJeremy L Thompson   // Apply Setup Operator
91d1d35e2fSjeremylt   CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE);
921d102b48SJeremy L Thompson 
931d102b48SJeremy L Thompson   // Assemble QFunction
94*beecbf24SJeremy L Thompson   CeedOperatorSetQFunctionAssemblyReuse(op_mass, true);
95*beecbf24SJeremy L Thompson   CeedOperatorSetQFunctionAssemblyDataUpdateNeeded(op_mass, true);
968b919e6bSJeremy L Thompson   CeedOperatorLinearAssembleQFunction(op_mass, &A, &elem_restr_lin_i,
978b919e6bSJeremy L Thompson                                       CEED_REQUEST_IMMEDIATE);
988b919e6bSJeremy L Thompson   // Second call will be no-op since SetQFunctionUpdated was not called
99*beecbf24SJeremy L Thompson   CeedOperatorSetQFunctionAssemblyDataUpdateNeeded(op_mass, false);
100d1d35e2fSjeremylt   CeedOperatorLinearAssembleQFunction(op_mass, &A, &elem_restr_lin_i,
1011d102b48SJeremy L Thompson                                       CEED_REQUEST_IMMEDIATE);
1021d102b48SJeremy L Thompson 
1031d102b48SJeremy L Thompson   // Check output
1041d102b48SJeremy L Thompson   CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a);
105d1d35e2fSjeremylt   CeedVectorGetArrayRead(q_data, CEED_MEM_HOST, &q);
106d1d35e2fSjeremylt   for (CeedInt i=0; i<num_qpts; i++)
1074e367ab1Sjeremylt     if (fabs(q[i] - a[i]) > 1e-9)
1081d102b48SJeremy L Thompson       // LCOV_EXCL_START
1091d102b48SJeremy L Thompson       printf("Error: A[%d] = %f != %f\n", i, a[i], q[i]);
1101d102b48SJeremy L Thompson   // LCOV_EXCL_STOP
1111d102b48SJeremy L Thompson   CeedVectorRestoreArrayRead(A, &a);
112d1d35e2fSjeremylt   CeedVectorRestoreArrayRead(q_data, &q);
1131d102b48SJeremy L Thompson 
1141d102b48SJeremy L Thompson   // Apply original Mass Operator
115d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &u);
1161d102b48SJeremy L Thompson   CeedVectorSetValue(u, 1.0);
117d1d35e2fSjeremylt   CeedVectorCreate(ceed, num_dofs, &v);
1181d102b48SJeremy L Thompson   CeedVectorSetValue(v, 0.0);
1191d102b48SJeremy L Thompson   CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE);
1201d102b48SJeremy L Thompson 
1211d102b48SJeremy L Thompson   // Check output
1221d102b48SJeremy L Thompson   CeedScalar area = 0.0;
1231d102b48SJeremy L Thompson   const CeedScalar *vv;
1241d102b48SJeremy L Thompson   CeedVectorGetArrayRead(v, CEED_MEM_HOST, &vv);
125d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs; i++)
1261d102b48SJeremy L Thompson     area += vv[i];
1271d102b48SJeremy L Thompson   CeedVectorRestoreArrayRead(v, &vv);
12880a9ef05SNatalie Beams   if (fabs(area - 1.0) > 100.*CEED_EPSILON)
1291d102b48SJeremy L Thompson     // LCOV_EXCL_START
1301d102b48SJeremy L Thompson     printf("Error: True operator computed area = %f != 1.0\n", area);
1311d102b48SJeremy L Thompson   // LCOV_EXCL_STOP
1321d102b48SJeremy L Thompson 
133d1d35e2fSjeremylt   // Switch to new q_data
1341d102b48SJeremy L Thompson   CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a);
135d1d35e2fSjeremylt   CeedVectorSetArray(q_data, CEED_MEM_HOST, CEED_COPY_VALUES, (CeedScalar *)a);
1361d102b48SJeremy L Thompson   CeedVectorRestoreArrayRead(A, &a);
1371d102b48SJeremy L Thompson 
1381d102b48SJeremy L Thompson   // Apply new Mass Operator
1391d102b48SJeremy L Thompson   CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE);
1401d102b48SJeremy L Thompson 
1411d102b48SJeremy L Thompson   // Check output
1421d102b48SJeremy L Thompson   area = 0.0;
1431d102b48SJeremy L Thompson   CeedVectorGetArrayRead(v, CEED_MEM_HOST, &vv);
144d1d35e2fSjeremylt   for (CeedInt i=0; i<num_dofs; i++)
1451d102b48SJeremy L Thompson     area += vv[i];
1461d102b48SJeremy L Thompson   CeedVectorRestoreArrayRead(v, &vv);
14780a9ef05SNatalie Beams   if (fabs(area - 1.0) > 1000.*CEED_EPSILON)
1481d102b48SJeremy L Thompson     // LCOV_EXCL_START
1491d102b48SJeremy L Thompson     printf("Error: Linearized operator computed area = %f != 1.0\n", area);
1501d102b48SJeremy L Thompson   // LCOV_EXCL_STOP
1511d102b48SJeremy L Thompson 
1521d102b48SJeremy L Thompson   // Cleanup
1531d102b48SJeremy L Thompson   CeedQFunctionDestroy(&qf_setup);
1541d102b48SJeremy L Thompson   CeedQFunctionDestroy(&qf_mass);
1551d102b48SJeremy L Thompson   CeedOperatorDestroy(&op_setup);
1561d102b48SJeremy L Thompson   CeedOperatorDestroy(&op_mass);
157d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_u);
158d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_x);
159d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_qd_i);
160d1d35e2fSjeremylt   CeedElemRestrictionDestroy(&elem_restr_lin_i);
161d1d35e2fSjeremylt   CeedBasisDestroy(&basis_u);
162d1d35e2fSjeremylt   CeedBasisDestroy(&basis_x);
1631d102b48SJeremy L Thompson   CeedVectorDestroy(&X);
1641d102b48SJeremy L Thompson   CeedVectorDestroy(&A);
165d1d35e2fSjeremylt   CeedVectorDestroy(&q_data);
1661d102b48SJeremy L Thompson   CeedVectorDestroy(&u);
1671d102b48SJeremy L Thompson   CeedVectorDestroy(&v);
1681d102b48SJeremy L Thompson   CeedDestroy(&ceed);
1691d102b48SJeremy L Thompson   return 0;
1701d102b48SJeremy L Thompson }
171