1b7ec98d8SJeremy L Thompson /// @file 2*7509a596Sjeremylt /// Test assembly of mass and Poisson operator diagonal 3*7509a596Sjeremylt /// \test Test assembly of mass and Poisson operator diagonal 4b7ec98d8SJeremy L Thompson #include <ceed.h> 5b7ec98d8SJeremy L Thompson #include <stdlib.h> 6b7ec98d8SJeremy L Thompson #include <math.h> 7b7ec98d8SJeremy L Thompson #include "t535-operator.h" 8b7ec98d8SJeremy L Thompson 9b7ec98d8SJeremy L Thompson int main(int argc, char **argv) { 10b7ec98d8SJeremy L Thompson Ceed ceed; 1161dbc9d2Sjeremylt CeedInterlaceMode imode = CEED_NONINTERLACED; 12b7ec98d8SJeremy L Thompson CeedElemRestriction Erestrictx, Erestrictu, 13b7ec98d8SJeremy L Thompson Erestrictxi, Erestrictui, 14b7ec98d8SJeremy L Thompson Erestrictqi; 15b7ec98d8SJeremy L Thompson CeedBasis bx, bu; 16b7ec98d8SJeremy L Thompson CeedQFunction qf_setup_mass, qf_setup_diff, qf_apply; 17b7ec98d8SJeremy L Thompson CeedOperator op_setup_mass, op_setup_diff, op_apply; 18b7ec98d8SJeremy L Thompson CeedVector qdata_mass, qdata_diff, X, A, U, V; 19b7ec98d8SJeremy L Thompson CeedInt nelem = 6, P = 3, Q = 4, dim = 2; 20b7ec98d8SJeremy L Thompson CeedInt nx = 3, ny = 2; 21b7ec98d8SJeremy L Thompson CeedInt ndofs = (nx*2+1)*(ny*2+1), nqpts = nelem*Q*Q; 22b7ec98d8SJeremy L Thompson CeedInt indx[nelem*P*P]; 23b7ec98d8SJeremy L Thompson CeedScalar x[dim*ndofs], assembledTrue[ndofs]; 24b7ec98d8SJeremy L Thompson CeedScalar *u; 25b7ec98d8SJeremy L Thompson const CeedScalar *a, *v; 26b7ec98d8SJeremy L Thompson 27b7ec98d8SJeremy L Thompson CeedInit(argv[1], &ceed); 28b7ec98d8SJeremy L Thompson 29b7ec98d8SJeremy L Thompson // DoF Coordinates 30b7ec98d8SJeremy L Thompson for (CeedInt i=0; i<nx*2+1; i++) 31b7ec98d8SJeremy L Thompson for (CeedInt j=0; j<ny*2+1; j++) { 32b7ec98d8SJeremy L Thompson x[i+j*(nx*2+1)+0*ndofs] = (CeedScalar) i / (2*nx); 33b7ec98d8SJeremy L Thompson x[i+j*(nx*2+1)+1*ndofs] = (CeedScalar) j / (2*ny); 34b7ec98d8SJeremy L Thompson } 35b7ec98d8SJeremy L Thompson CeedVectorCreate(ceed, dim*ndofs, &X); 36b7ec98d8SJeremy L Thompson CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x); 37b7ec98d8SJeremy L Thompson 38b7ec98d8SJeremy L Thompson // Qdata Vectors 39b7ec98d8SJeremy L Thompson CeedVectorCreate(ceed, nqpts, &qdata_mass); 40b7ec98d8SJeremy L Thompson CeedVectorCreate(ceed, nqpts*dim*(dim+1)/2, &qdata_diff); 41b7ec98d8SJeremy L Thompson 42b7ec98d8SJeremy L Thompson // Element Setup 43b7ec98d8SJeremy L Thompson for (CeedInt i=0; i<nelem; i++) { 44b7ec98d8SJeremy L Thompson CeedInt col, row, offset; 45b7ec98d8SJeremy L Thompson col = i % nx; 46b7ec98d8SJeremy L Thompson row = i / nx; 47b7ec98d8SJeremy L Thompson offset = col*(P-1) + row*(nx*2+1)*(P-1); 48b7ec98d8SJeremy L Thompson for (CeedInt j=0; j<P; j++) 49b7ec98d8SJeremy L Thompson for (CeedInt k=0; k<P; k++) 50b7ec98d8SJeremy L Thompson indx[P*(P*i+k)+j] = offset + k*(nx*2+1) + j; 51b7ec98d8SJeremy L Thompson } 52b7ec98d8SJeremy L Thompson 53b7ec98d8SJeremy L Thompson // Restrictions 5461dbc9d2Sjeremylt CeedElemRestrictionCreate(ceed, imode, nelem, P*P, ndofs, dim, CEED_MEM_HOST, 55b7ec98d8SJeremy L Thompson CEED_USE_POINTER, indx, &Erestrictx); 56*7509a596Sjeremylt CeedInt stridesx[3] = {1, P*P, P *P*dim}; 57*7509a596Sjeremylt CeedElemRestrictionCreateStrided(ceed, nelem, P*P, nelem*P*P, dim, stridesx, 58b7ec98d8SJeremy L Thompson &Erestrictxi); 59b7ec98d8SJeremy L Thompson 6061dbc9d2Sjeremylt CeedElemRestrictionCreate(ceed, imode, nelem, P*P, ndofs, 1, CEED_MEM_HOST, 61b7ec98d8SJeremy L Thompson CEED_USE_POINTER, indx, &Erestrictu); 62*7509a596Sjeremylt CeedInt stridesu[3] = {1, Q*Q, Q*Q}; 63*7509a596Sjeremylt CeedElemRestrictionCreateStrided(ceed, nelem, Q*Q, nqpts, 1, stridesu, 64a8d32208Sjeremylt &Erestrictui); 65b7ec98d8SJeremy L Thompson 66*7509a596Sjeremylt CeedInt stridesqd[3] = {1, Q*Q, Q *Q *dim *(dim+1)/2}; 67*7509a596Sjeremylt CeedElemRestrictionCreateStrided(ceed, nelem, Q*Q, nqpts, dim*(dim+1)/2, 68*7509a596Sjeremylt stridesqd, &Erestrictqi); 69b7ec98d8SJeremy L Thompson 70b7ec98d8SJeremy L Thompson // Bases 71b7ec98d8SJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &bx); 72b7ec98d8SJeremy L Thompson CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P, Q, CEED_GAUSS, &bu); 73b7ec98d8SJeremy L Thompson 74b7ec98d8SJeremy L Thompson // QFunction - setup mass 75b7ec98d8SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, setup_mass, setup_mass_loc, 76b7ec98d8SJeremy L Thompson &qf_setup_mass); 77b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_mass, "dx", dim*dim, CEED_EVAL_GRAD); 78b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_mass, "_weight", 1, CEED_EVAL_WEIGHT); 79b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_setup_mass, "qdata", 1, CEED_EVAL_NONE); 80b7ec98d8SJeremy L Thompson 81b7ec98d8SJeremy L Thompson // Operator - setup mass 82442e7f0bSjeremylt CeedOperatorCreate(ceed, qf_setup_mass, CEED_QFUNCTION_NONE, 83442e7f0bSjeremylt CEED_QFUNCTION_NONE, &op_setup_mass); 84a8d32208Sjeremylt CeedOperatorSetField(op_setup_mass, "dx", Erestrictx, bx, CEED_VECTOR_ACTIVE); 85a8d32208Sjeremylt CeedOperatorSetField(op_setup_mass, "_weight", Erestrictxi, bx, 86a8d32208Sjeremylt CEED_VECTOR_NONE); 87a8d32208Sjeremylt CeedOperatorSetField(op_setup_mass, "qdata", Erestrictui, 88b7ec98d8SJeremy L Thompson CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 89b7ec98d8SJeremy L Thompson 90b7ec98d8SJeremy L Thompson // QFunction - setup diff 91b7ec98d8SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, setup_diff, setup_diff_loc, 92b7ec98d8SJeremy L Thompson &qf_setup_diff); 93b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_diff, "dx", dim*dim, CEED_EVAL_GRAD); 94b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_diff, "_weight", 1, CEED_EVAL_WEIGHT); 95b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_setup_diff, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE); 96b7ec98d8SJeremy L Thompson 97b7ec98d8SJeremy L Thompson // Operator - setup diff 98442e7f0bSjeremylt CeedOperatorCreate(ceed, qf_setup_diff, CEED_QFUNCTION_NONE, 99442e7f0bSjeremylt CEED_QFUNCTION_NONE, &op_setup_diff); 100a8d32208Sjeremylt CeedOperatorSetField(op_setup_diff, "dx", Erestrictx, bx, CEED_VECTOR_ACTIVE); 101a8d32208Sjeremylt CeedOperatorSetField(op_setup_diff, "_weight", Erestrictxi, bx, 102a8d32208Sjeremylt CEED_VECTOR_NONE); 103a8d32208Sjeremylt CeedOperatorSetField(op_setup_diff, "qdata", Erestrictqi, 104b7ec98d8SJeremy L Thompson CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 105b7ec98d8SJeremy L Thompson 106b7ec98d8SJeremy L Thompson // Apply Setup Operators 107b7ec98d8SJeremy L Thompson CeedOperatorApply(op_setup_mass, X, qdata_mass, CEED_REQUEST_IMMEDIATE); 108b7ec98d8SJeremy L Thompson CeedOperatorApply(op_setup_diff, X, qdata_diff, CEED_REQUEST_IMMEDIATE); 109b7ec98d8SJeremy L Thompson 110b7ec98d8SJeremy L Thompson // QFunction - apply 111b7ec98d8SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, apply, apply_loc, &qf_apply); 112b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "du", dim, CEED_EVAL_GRAD); 113b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "qdata_mass", 1, CEED_EVAL_NONE); 114b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "qdata_diff", dim*(dim+1)/2, CEED_EVAL_NONE); 115b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "u", 1, CEED_EVAL_INTERP); 116b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_apply, "v", 1, CEED_EVAL_INTERP); 117b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_apply, "dv", dim, CEED_EVAL_GRAD); 118b7ec98d8SJeremy L Thompson 119b7ec98d8SJeremy L Thompson // Operator - apply 120442e7f0bSjeremylt CeedOperatorCreate(ceed, qf_apply, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, 121442e7f0bSjeremylt &op_apply); 122a8d32208Sjeremylt CeedOperatorSetField(op_apply, "du", Erestrictu, bu, CEED_VECTOR_ACTIVE); 123a8d32208Sjeremylt CeedOperatorSetField(op_apply, "qdata_mass", Erestrictui, 124b7ec98d8SJeremy L Thompson CEED_BASIS_COLLOCATED, qdata_mass); 125a8d32208Sjeremylt CeedOperatorSetField(op_apply, "qdata_diff", Erestrictqi, 126b7ec98d8SJeremy L Thompson CEED_BASIS_COLLOCATED, qdata_diff); 127a8d32208Sjeremylt CeedOperatorSetField(op_apply, "u", Erestrictu, bu, CEED_VECTOR_ACTIVE); 128a8d32208Sjeremylt CeedOperatorSetField(op_apply, "v", Erestrictu, bu, CEED_VECTOR_ACTIVE); 129a8d32208Sjeremylt CeedOperatorSetField(op_apply, "dv", Erestrictu, bu, CEED_VECTOR_ACTIVE); 130b7ec98d8SJeremy L Thompson 131b7ec98d8SJeremy L Thompson // Assemble diagonal 132b7ec98d8SJeremy L Thompson CeedOperatorAssembleLinearDiagonal(op_apply, &A, CEED_REQUEST_IMMEDIATE); 133b7ec98d8SJeremy L Thompson 134b7ec98d8SJeremy L Thompson // Manually assemble diagonal 135b7ec98d8SJeremy L Thompson CeedVectorCreate(ceed, ndofs, &U); 136b7ec98d8SJeremy L Thompson CeedVectorSetValue(U, 0.0); 137b7ec98d8SJeremy L Thompson CeedVectorCreate(ceed, ndofs, &V); 138b7ec98d8SJeremy L Thompson for (int i=0; i<ndofs; i++) { 139b7ec98d8SJeremy L Thompson // Set input 140b7ec98d8SJeremy L Thompson CeedVectorGetArray(U, CEED_MEM_HOST, &u); 141b7ec98d8SJeremy L Thompson u[i] = 1.0; 142b7ec98d8SJeremy L Thompson if (i) 143b7ec98d8SJeremy L Thompson u[i-1] = 0.0; 144b7ec98d8SJeremy L Thompson CeedVectorRestoreArray(U, &u); 145b7ec98d8SJeremy L Thompson 146b7ec98d8SJeremy L Thompson // Compute diag entry for DoF i 147b7ec98d8SJeremy L Thompson CeedOperatorApply(op_apply, U, V, CEED_REQUEST_IMMEDIATE); 148b7ec98d8SJeremy L Thompson 149b7ec98d8SJeremy L Thompson // Retrieve entry 150b7ec98d8SJeremy L Thompson CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v); 151b7ec98d8SJeremy L Thompson assembledTrue[i] = v[i]; 152b7ec98d8SJeremy L Thompson CeedVectorRestoreArrayRead(V, &v); 153b7ec98d8SJeremy L Thompson } 154b7ec98d8SJeremy L Thompson 155b7ec98d8SJeremy L Thompson // Check output 156b7ec98d8SJeremy L Thompson CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a); 157b7ec98d8SJeremy L Thompson for (int i=0; i<ndofs; i++) 1584e367ab1Sjeremylt if (fabs(a[i] - assembledTrue[i]) > 1e-14) 159b7ec98d8SJeremy L Thompson // LCOV_EXCL_START 160b7ec98d8SJeremy L Thompson printf("[%d] Error in assembly: %f != %f\n", i, a[i], assembledTrue[i]); 161b7ec98d8SJeremy L Thompson // LCOV_EXCL_STOP 162b7ec98d8SJeremy L Thompson 163b7ec98d8SJeremy L Thompson // Cleanup 164b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_setup_mass); 165b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_setup_diff); 166b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_apply); 167b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_setup_mass); 168b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_setup_diff); 169b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_apply); 170b7ec98d8SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictu); 171b7ec98d8SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictx); 172b7ec98d8SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictui); 173b7ec98d8SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictxi); 174b7ec98d8SJeremy L Thompson CeedElemRestrictionDestroy(&Erestrictqi); 175b7ec98d8SJeremy L Thompson CeedBasisDestroy(&bu); 176b7ec98d8SJeremy L Thompson CeedBasisDestroy(&bx); 177b7ec98d8SJeremy L Thompson CeedVectorDestroy(&X); 178b7ec98d8SJeremy L Thompson CeedVectorDestroy(&A); 179b7ec98d8SJeremy L Thompson CeedVectorDestroy(&qdata_mass); 180b7ec98d8SJeremy L Thompson CeedVectorDestroy(&qdata_diff); 181b7ec98d8SJeremy L Thompson CeedVectorDestroy(&U); 182b7ec98d8SJeremy L Thompson CeedVectorDestroy(&V); 183b7ec98d8SJeremy L Thompson CeedDestroy(&ceed); 184b7ec98d8SJeremy L Thompson return 0; 185b7ec98d8SJeremy L Thompson } 186