1b7ec98d8SJeremy L Thompson /// @file 27509a596Sjeremylt /// Test assembly of mass and Poisson operator diagonal 37509a596Sjeremylt /// \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 "t320-basis.h" 8b7ec98d8SJeremy L Thompson #include "t535-operator.h" 9b7ec98d8SJeremy L Thompson 10b7ec98d8SJeremy L Thompson int main(int argc, char **argv) { 11b7ec98d8SJeremy L Thompson Ceed ceed; 12*d1d35e2fSjeremylt CeedElemRestriction elem_restr_x, elem_restr_u, 13*d1d35e2fSjeremylt elem_restr_qd_mass_i, elem_restr_qd_diff_i; 14*d1d35e2fSjeremylt CeedBasis basis_x, basis_u; 15b7ec98d8SJeremy L Thompson CeedQFunction qf_setup_mass, qf_setup_diff, qf_apply; 16b7ec98d8SJeremy L Thompson CeedOperator op_setup_mass, op_setup_diff, op_apply; 17*d1d35e2fSjeremylt CeedVector q_data_mass, q_data_diff, X, A, U, V; 18*d1d35e2fSjeremylt CeedInt num_elem = 12, dim = 2, P = 6, Q = 4; 19*d1d35e2fSjeremylt CeedInt n_x = 3, n_y = 2; 20b7ec98d8SJeremy L Thompson CeedInt row, col, offset; 21*d1d35e2fSjeremylt CeedInt num_dofs = (n_x*2+1)*(n_y*2+1), num_qpts = num_elem*Q; 22*d1d35e2fSjeremylt CeedInt ind_x[num_elem*P*P]; 23*d1d35e2fSjeremylt CeedScalar x[dim*num_dofs], assembled_true[num_dofs]; 24*d1d35e2fSjeremylt CeedScalar q_ref[dim*Q], q_weight[Q]; 25b7ec98d8SJeremy L Thompson CeedScalar interp[P*Q], grad[dim*P*Q]; 26b7ec98d8SJeremy L Thompson CeedScalar *u; 27b7ec98d8SJeremy L Thompson const CeedScalar *a, *v; 28b7ec98d8SJeremy L Thompson 29b7ec98d8SJeremy L Thompson CeedInit(argv[1], &ceed); 30b7ec98d8SJeremy L Thompson 31b7ec98d8SJeremy L Thompson // DoF Coordinates 32*d1d35e2fSjeremylt for (CeedInt i=0; i<num_dofs; i++) { 33*d1d35e2fSjeremylt x[i] = (1. / (n_x*2)) * (CeedScalar) (i % (n_x*2+1)); 34*d1d35e2fSjeremylt x[i+num_dofs] = (1. / (n_y*2)) * (CeedScalar) (i / (n_x*2+1)); 35b7ec98d8SJeremy L Thompson } 36*d1d35e2fSjeremylt CeedVectorCreate(ceed, dim*num_dofs, &X); 37b7ec98d8SJeremy L Thompson CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x); 38b7ec98d8SJeremy L Thompson 39b7ec98d8SJeremy L Thompson // Qdata Vectors 40*d1d35e2fSjeremylt CeedVectorCreate(ceed, num_qpts, &q_data_mass); 41*d1d35e2fSjeremylt CeedVectorCreate(ceed, num_qpts*dim*(dim+1)/2, &q_data_diff); 42b7ec98d8SJeremy L Thompson 43b7ec98d8SJeremy L Thompson // Element Setup 44*d1d35e2fSjeremylt for (CeedInt i=0; i<num_elem/2; i++) { 45*d1d35e2fSjeremylt col = i % n_x; 46*d1d35e2fSjeremylt row = i / n_x; 47*d1d35e2fSjeremylt offset = col*2 + row*(n_x*2+1)*2; 48b7ec98d8SJeremy L Thompson 49*d1d35e2fSjeremylt ind_x[i*2*P + 0] = 2 + offset; 50*d1d35e2fSjeremylt ind_x[i*2*P + 1] = 9 + offset; 51*d1d35e2fSjeremylt ind_x[i*2*P + 2] = 16 + offset; 52*d1d35e2fSjeremylt ind_x[i*2*P + 3] = 1 + offset; 53*d1d35e2fSjeremylt ind_x[i*2*P + 4] = 8 + offset; 54*d1d35e2fSjeremylt ind_x[i*2*P + 5] = 0 + offset; 55b7ec98d8SJeremy L Thompson 56*d1d35e2fSjeremylt ind_x[i*2*P + 6] = 14 + offset; 57*d1d35e2fSjeremylt ind_x[i*2*P + 7] = 7 + offset; 58*d1d35e2fSjeremylt ind_x[i*2*P + 8] = 0 + offset; 59*d1d35e2fSjeremylt ind_x[i*2*P + 9] = 15 + offset; 60*d1d35e2fSjeremylt ind_x[i*2*P + 10] = 8 + offset; 61*d1d35e2fSjeremylt ind_x[i*2*P + 11] = 16 + offset; 62b7ec98d8SJeremy L Thompson } 63b7ec98d8SJeremy L Thompson 64b7ec98d8SJeremy L Thompson // Restrictions 65*d1d35e2fSjeremylt CeedElemRestrictionCreate(ceed, num_elem, P, dim, num_dofs, dim*num_dofs, 66*d1d35e2fSjeremylt CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_x); 67b7ec98d8SJeremy L Thompson 68*d1d35e2fSjeremylt CeedElemRestrictionCreate(ceed, num_elem, P, 1, 1, num_dofs, CEED_MEM_HOST, 69*d1d35e2fSjeremylt CEED_USE_POINTER, ind_x, &elem_restr_u); 70*d1d35e2fSjeremylt CeedInt strides_qd_mass[3] = {1, Q, Q}; 71*d1d35e2fSjeremylt CeedElemRestrictionCreateStrided(ceed, num_elem, Q, 1, num_qpts, 72*d1d35e2fSjeremylt strides_qd_mass, 73*d1d35e2fSjeremylt &elem_restr_qd_mass_i); 74b7ec98d8SJeremy L Thompson 75*d1d35e2fSjeremylt CeedInt strides_qd_diff[3] = {1, Q, Q *dim *(dim+1)/2}; 76*d1d35e2fSjeremylt CeedElemRestrictionCreateStrided(ceed, num_elem, Q, dim*(dim+1)/2, 77*d1d35e2fSjeremylt dim*(dim+1)/2*num_qpts, 78*d1d35e2fSjeremylt strides_qd_diff, &elem_restr_qd_diff_i); 79b7ec98d8SJeremy L Thompson 80b7ec98d8SJeremy L Thompson // Bases 81*d1d35e2fSjeremylt buildmats(q_ref, q_weight, interp, grad); 82*d1d35e2fSjeremylt CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, P, Q, interp, grad, q_ref, 83*d1d35e2fSjeremylt q_weight, &basis_x); 84b7ec98d8SJeremy L Thompson 85*d1d35e2fSjeremylt buildmats(q_ref, q_weight, interp, grad); 86*d1d35e2fSjeremylt CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, P, Q, interp, grad, q_ref, 87*d1d35e2fSjeremylt q_weight, &basis_u); 88b7ec98d8SJeremy L Thompson 89b7ec98d8SJeremy L Thompson // QFunction - setup mass 90b7ec98d8SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, setup_mass, setup_mass_loc, 91b7ec98d8SJeremy L Thompson &qf_setup_mass); 92b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_mass, "dx", dim*dim, CEED_EVAL_GRAD); 93b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_mass, "_weight", 1, CEED_EVAL_WEIGHT); 94b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_setup_mass, "qdata", 1, CEED_EVAL_NONE); 95b7ec98d8SJeremy L Thompson 96b7ec98d8SJeremy L Thompson // Operator - setup mass 97442e7f0bSjeremylt CeedOperatorCreate(ceed, qf_setup_mass, CEED_QFUNCTION_NONE, 98442e7f0bSjeremylt CEED_QFUNCTION_NONE, &op_setup_mass); 99*d1d35e2fSjeremylt CeedOperatorSetField(op_setup_mass, "dx", elem_restr_x, basis_x, 100*d1d35e2fSjeremylt CEED_VECTOR_ACTIVE); 101*d1d35e2fSjeremylt CeedOperatorSetField(op_setup_mass, "_weight", CEED_ELEMRESTRICTION_NONE, 102*d1d35e2fSjeremylt basis_x, 103a8d32208Sjeremylt CEED_VECTOR_NONE); 104*d1d35e2fSjeremylt CeedOperatorSetField(op_setup_mass, "qdata", elem_restr_qd_mass_i, 105b7ec98d8SJeremy L Thompson CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 106b7ec98d8SJeremy L Thompson 107b7ec98d8SJeremy L Thompson // QFunction - setup diff 108b7ec98d8SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, setup_diff, setup_diff_loc, 109b7ec98d8SJeremy L Thompson &qf_setup_diff); 110b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_diff, "dx", dim*dim, CEED_EVAL_GRAD); 111b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_diff, "_weight", 1, CEED_EVAL_WEIGHT); 112b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_setup_diff, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE); 113b7ec98d8SJeremy L Thompson 114b7ec98d8SJeremy L Thompson // Operator - setup diff 115442e7f0bSjeremylt CeedOperatorCreate(ceed, qf_setup_diff, CEED_QFUNCTION_NONE, 116442e7f0bSjeremylt CEED_QFUNCTION_NONE, &op_setup_diff); 117*d1d35e2fSjeremylt CeedOperatorSetField(op_setup_diff, "dx", elem_restr_x, basis_x, 118*d1d35e2fSjeremylt CEED_VECTOR_ACTIVE); 119*d1d35e2fSjeremylt CeedOperatorSetField(op_setup_diff, "_weight", CEED_ELEMRESTRICTION_NONE, 120*d1d35e2fSjeremylt basis_x, 121a8d32208Sjeremylt CEED_VECTOR_NONE); 122*d1d35e2fSjeremylt CeedOperatorSetField(op_setup_diff, "qdata", elem_restr_qd_diff_i, 123b7ec98d8SJeremy L Thompson CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 124b7ec98d8SJeremy L Thompson 125b7ec98d8SJeremy L Thompson // Apply Setup Operators 126*d1d35e2fSjeremylt CeedOperatorApply(op_setup_mass, X, q_data_mass, CEED_REQUEST_IMMEDIATE); 127*d1d35e2fSjeremylt CeedOperatorApply(op_setup_diff, X, q_data_diff, CEED_REQUEST_IMMEDIATE); 128b7ec98d8SJeremy L Thompson 129b7ec98d8SJeremy L Thompson // QFunction - apply 130b7ec98d8SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, apply, apply_loc, &qf_apply); 131b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "du", dim, CEED_EVAL_GRAD); 132b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "qdata_mass", 1, CEED_EVAL_NONE); 133b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "qdata_diff", dim*(dim+1)/2, CEED_EVAL_NONE); 134b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "u", 1, CEED_EVAL_INTERP); 135b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_apply, "v", 1, CEED_EVAL_INTERP); 136b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_apply, "dv", dim, CEED_EVAL_GRAD); 137b7ec98d8SJeremy L Thompson 138b7ec98d8SJeremy L Thompson // Operator - apply 139442e7f0bSjeremylt CeedOperatorCreate(ceed, qf_apply, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, 140442e7f0bSjeremylt &op_apply); 141*d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "du", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 142*d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "qdata_mass", elem_restr_qd_mass_i, 143*d1d35e2fSjeremylt CEED_BASIS_COLLOCATED, q_data_mass); 144*d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "qdata_diff", elem_restr_qd_diff_i, 145*d1d35e2fSjeremylt CEED_BASIS_COLLOCATED, q_data_diff); 146*d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "u", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 147*d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "v", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 148*d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "dv", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 149b7ec98d8SJeremy L Thompson 150b7ec98d8SJeremy L Thompson // Assemble diagonal 151*d1d35e2fSjeremylt CeedVectorCreate(ceed, num_dofs, &A); 1522bba3ffaSJeremy L Thompson CeedOperatorLinearAssembleDiagonal(op_apply, A, CEED_REQUEST_IMMEDIATE); 153b7ec98d8SJeremy L Thompson 154b7ec98d8SJeremy L Thompson // Manually assemble diagonal 155*d1d35e2fSjeremylt CeedVectorCreate(ceed, num_dofs, &U); 156b7ec98d8SJeremy L Thompson CeedVectorSetValue(U, 0.0); 157*d1d35e2fSjeremylt CeedVectorCreate(ceed, num_dofs, &V); 158*d1d35e2fSjeremylt for (int i=0; i<num_dofs; i++) { 159b7ec98d8SJeremy L Thompson // Set input 160b7ec98d8SJeremy L Thompson CeedVectorGetArray(U, CEED_MEM_HOST, &u); 161b7ec98d8SJeremy L Thompson u[i] = 1.0; 162b7ec98d8SJeremy L Thompson if (i) 163b7ec98d8SJeremy L Thompson u[i-1] = 0.0; 164b7ec98d8SJeremy L Thompson CeedVectorRestoreArray(U, &u); 165b7ec98d8SJeremy L Thompson 166b7ec98d8SJeremy L Thompson // Compute diag entry for DoF i 167b7ec98d8SJeremy L Thompson CeedOperatorApply(op_apply, U, V, CEED_REQUEST_IMMEDIATE); 168b7ec98d8SJeremy L Thompson 169b7ec98d8SJeremy L Thompson // Retrieve entry 170b7ec98d8SJeremy L Thompson CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v); 171*d1d35e2fSjeremylt assembled_true[i] = v[i]; 172b7ec98d8SJeremy L Thompson CeedVectorRestoreArrayRead(V, &v); 173b7ec98d8SJeremy L Thompson } 174b7ec98d8SJeremy L Thompson 175b7ec98d8SJeremy L Thompson // Check output 176b7ec98d8SJeremy L Thompson CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a); 177*d1d35e2fSjeremylt for (int i=0; i<num_dofs; i++) 178*d1d35e2fSjeremylt if (fabs(a[i] - assembled_true[i]) > 1e-14) 179b7ec98d8SJeremy L Thompson // LCOV_EXCL_START 180*d1d35e2fSjeremylt printf("[%d] Error in assembly: %f != %f\n", i, a[i], assembled_true[i]); 181b7ec98d8SJeremy L Thompson // LCOV_EXCL_STOP 182d965c7a7SJeremy L Thompson CeedVectorRestoreArrayRead(A, &a); 183b7ec98d8SJeremy L Thompson 184b7ec98d8SJeremy L Thompson // Cleanup 185b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_setup_mass); 186b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_setup_diff); 187b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_apply); 188b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_setup_mass); 189b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_setup_diff); 190b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_apply); 191*d1d35e2fSjeremylt CeedElemRestrictionDestroy(&elem_restr_u); 192*d1d35e2fSjeremylt CeedElemRestrictionDestroy(&elem_restr_x); 193*d1d35e2fSjeremylt CeedElemRestrictionDestroy(&elem_restr_qd_mass_i); 194*d1d35e2fSjeremylt CeedElemRestrictionDestroy(&elem_restr_qd_diff_i); 195*d1d35e2fSjeremylt CeedBasisDestroy(&basis_u); 196*d1d35e2fSjeremylt CeedBasisDestroy(&basis_x); 197b7ec98d8SJeremy L Thompson CeedVectorDestroy(&X); 198b7ec98d8SJeremy L Thompson CeedVectorDestroy(&A); 199*d1d35e2fSjeremylt CeedVectorDestroy(&q_data_mass); 200*d1d35e2fSjeremylt CeedVectorDestroy(&q_data_diff); 201b7ec98d8SJeremy L Thompson CeedVectorDestroy(&U); 202b7ec98d8SJeremy L Thompson CeedVectorDestroy(&V); 203b7ec98d8SJeremy L Thompson CeedDestroy(&ceed); 204b7ec98d8SJeremy L Thompson return 0; 205b7ec98d8SJeremy L Thompson } 206