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 <math.h> 6*2b730f8bSJeremy L Thompson #include <stdlib.h> 7*2b730f8bSJeremy L Thompson 8b7ec98d8SJeremy L Thompson #include "t320-basis.h" 9b7ec98d8SJeremy L Thompson #include "t535-operator.h" 10b7ec98d8SJeremy L Thompson 11b7ec98d8SJeremy L Thompson int main(int argc, char **argv) { 12b7ec98d8SJeremy L Thompson Ceed ceed; 13*2b730f8bSJeremy L Thompson CeedElemRestriction elem_restr_x, elem_restr_u, elem_restr_qd_mass_i, elem_restr_qd_diff_i; 14d1d35e2fSjeremylt 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; 17d1d35e2fSjeremylt CeedVector q_data_mass, q_data_diff, X, A, U, V; 18d1d35e2fSjeremylt CeedInt num_elem = 12, dim = 2, P = 6, Q = 4; 19d1d35e2fSjeremylt CeedInt n_x = 3, n_y = 2; 20b7ec98d8SJeremy L Thompson CeedInt row, col, offset; 21d1d35e2fSjeremylt CeedInt num_dofs = (n_x * 2 + 1) * (n_y * 2 + 1), num_qpts = num_elem * Q; 22d1d35e2fSjeremylt CeedInt ind_x[num_elem * P * P]; 23d1d35e2fSjeremylt CeedScalar x[dim * num_dofs], assembled_true[num_dofs]; 24d1d35e2fSjeremylt 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 32d1d35e2fSjeremylt for (CeedInt i = 0; i < num_dofs; i++) { 33d1d35e2fSjeremylt x[i] = (1. / (n_x * 2)) * (CeedScalar)(i % (n_x * 2 + 1)); 34d1d35e2fSjeremylt x[i + num_dofs] = (1. / (n_y * 2)) * (CeedScalar)(i / (n_x * 2 + 1)); 35b7ec98d8SJeremy L Thompson } 36d1d35e2fSjeremylt 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 40d1d35e2fSjeremylt CeedVectorCreate(ceed, num_qpts, &q_data_mass); 41d1d35e2fSjeremylt CeedVectorCreate(ceed, num_qpts * dim * (dim + 1) / 2, &q_data_diff); 42b7ec98d8SJeremy L Thompson 43b7ec98d8SJeremy L Thompson // Element Setup 44d1d35e2fSjeremylt for (CeedInt i = 0; i < num_elem / 2; i++) { 45d1d35e2fSjeremylt col = i % n_x; 46d1d35e2fSjeremylt row = i / n_x; 47d1d35e2fSjeremylt offset = col * 2 + row * (n_x * 2 + 1) * 2; 48b7ec98d8SJeremy L Thompson 49d1d35e2fSjeremylt ind_x[i * 2 * P + 0] = 2 + offset; 50d1d35e2fSjeremylt ind_x[i * 2 * P + 1] = 9 + offset; 51d1d35e2fSjeremylt ind_x[i * 2 * P + 2] = 16 + offset; 52d1d35e2fSjeremylt ind_x[i * 2 * P + 3] = 1 + offset; 53d1d35e2fSjeremylt ind_x[i * 2 * P + 4] = 8 + offset; 54d1d35e2fSjeremylt ind_x[i * 2 * P + 5] = 0 + offset; 55b7ec98d8SJeremy L Thompson 56d1d35e2fSjeremylt ind_x[i * 2 * P + 6] = 14 + offset; 57d1d35e2fSjeremylt ind_x[i * 2 * P + 7] = 7 + offset; 58d1d35e2fSjeremylt ind_x[i * 2 * P + 8] = 0 + offset; 59d1d35e2fSjeremylt ind_x[i * 2 * P + 9] = 15 + offset; 60d1d35e2fSjeremylt ind_x[i * 2 * P + 10] = 8 + offset; 61d1d35e2fSjeremylt ind_x[i * 2 * P + 11] = 16 + offset; 62b7ec98d8SJeremy L Thompson } 63b7ec98d8SJeremy L Thompson 64b7ec98d8SJeremy L Thompson // Restrictions 65*2b730f8bSJeremy L Thompson CeedElemRestrictionCreate(ceed, num_elem, P, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_x); 66b7ec98d8SJeremy L Thompson 67*2b730f8bSJeremy L Thompson CeedElemRestrictionCreate(ceed, num_elem, P, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_u); 68d1d35e2fSjeremylt CeedInt strides_qd_mass[3] = {1, Q, Q}; 69*2b730f8bSJeremy L Thompson CeedElemRestrictionCreateStrided(ceed, num_elem, Q, 1, num_qpts, strides_qd_mass, &elem_restr_qd_mass_i); 70b7ec98d8SJeremy L Thompson 71d1d35e2fSjeremylt CeedInt strides_qd_diff[3] = {1, Q, Q * dim * (dim + 1) / 2}; 72*2b730f8bSJeremy L Thompson CeedElemRestrictionCreateStrided(ceed, num_elem, Q, dim * (dim + 1) / 2, dim * (dim + 1) / 2 * num_qpts, strides_qd_diff, &elem_restr_qd_diff_i); 73b7ec98d8SJeremy L Thompson 74b7ec98d8SJeremy L Thompson // Bases 75d1d35e2fSjeremylt buildmats(q_ref, q_weight, interp, grad); 76*2b730f8bSJeremy L Thompson CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, dim, P, Q, interp, grad, q_ref, q_weight, &basis_x); 77b7ec98d8SJeremy L Thompson 78d1d35e2fSjeremylt buildmats(q_ref, q_weight, interp, grad); 79*2b730f8bSJeremy L Thompson CeedBasisCreateH1(ceed, CEED_TOPOLOGY_TRIANGLE, 1, P, Q, interp, grad, q_ref, q_weight, &basis_u); 80b7ec98d8SJeremy L Thompson 81b7ec98d8SJeremy L Thompson // QFunction - setup mass 82*2b730f8bSJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, setup_mass, setup_mass_loc, &qf_setup_mass); 83b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_mass, "dx", dim * dim, CEED_EVAL_GRAD); 84a61c78d6SJeremy L Thompson CeedQFunctionAddInput(qf_setup_mass, "weight", 1, CEED_EVAL_WEIGHT); 85b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_setup_mass, "qdata", 1, CEED_EVAL_NONE); 86b7ec98d8SJeremy L Thompson 87b7ec98d8SJeremy L Thompson // Operator - setup mass 88*2b730f8bSJeremy L Thompson CeedOperatorCreate(ceed, qf_setup_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup_mass); 89*2b730f8bSJeremy L Thompson CeedOperatorSetField(op_setup_mass, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE); 90*2b730f8bSJeremy L Thompson CeedOperatorSetField(op_setup_mass, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE); 91*2b730f8bSJeremy L Thompson CeedOperatorSetField(op_setup_mass, "qdata", elem_restr_qd_mass_i, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 92b7ec98d8SJeremy L Thompson 93b7ec98d8SJeremy L Thompson // QFunction - setup diff 94*2b730f8bSJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, setup_diff, setup_diff_loc, &qf_setup_diff); 95b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_setup_diff, "dx", dim * dim, CEED_EVAL_GRAD); 96a61c78d6SJeremy L Thompson CeedQFunctionAddInput(qf_setup_diff, "weight", 1, CEED_EVAL_WEIGHT); 97b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_setup_diff, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE); 98b7ec98d8SJeremy L Thompson 99b7ec98d8SJeremy L Thompson // Operator - setup diff 100*2b730f8bSJeremy L Thompson CeedOperatorCreate(ceed, qf_setup_diff, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup_diff); 101*2b730f8bSJeremy L Thompson CeedOperatorSetField(op_setup_diff, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE); 102*2b730f8bSJeremy L Thompson CeedOperatorSetField(op_setup_diff, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE); 103*2b730f8bSJeremy L Thompson CeedOperatorSetField(op_setup_diff, "qdata", elem_restr_qd_diff_i, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 104b7ec98d8SJeremy L Thompson 105b7ec98d8SJeremy L Thompson // Apply Setup Operators 106d1d35e2fSjeremylt CeedOperatorApply(op_setup_mass, X, q_data_mass, CEED_REQUEST_IMMEDIATE); 107d1d35e2fSjeremylt CeedOperatorApply(op_setup_diff, X, q_data_diff, CEED_REQUEST_IMMEDIATE); 108b7ec98d8SJeremy L Thompson 109b7ec98d8SJeremy L Thompson // QFunction - apply 110b7ec98d8SJeremy L Thompson CeedQFunctionCreateInterior(ceed, 1, apply, apply_loc, &qf_apply); 111b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "du", dim, CEED_EVAL_GRAD); 112a61c78d6SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "mass qdata", 1, CEED_EVAL_NONE); 113a61c78d6SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "diff qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE); 114b7ec98d8SJeremy L Thompson CeedQFunctionAddInput(qf_apply, "u", 1, CEED_EVAL_INTERP); 115b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_apply, "v", 1, CEED_EVAL_INTERP); 116b7ec98d8SJeremy L Thompson CeedQFunctionAddOutput(qf_apply, "dv", dim, CEED_EVAL_GRAD); 117b7ec98d8SJeremy L Thompson 118b7ec98d8SJeremy L Thompson // Operator - apply 119*2b730f8bSJeremy L Thompson CeedOperatorCreate(ceed, qf_apply, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_apply); 120d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "du", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 121*2b730f8bSJeremy L Thompson CeedOperatorSetField(op_apply, "mass qdata", elem_restr_qd_mass_i, CEED_BASIS_COLLOCATED, q_data_mass); 122*2b730f8bSJeremy L Thompson CeedOperatorSetField(op_apply, "diff qdata", elem_restr_qd_diff_i, CEED_BASIS_COLLOCATED, q_data_diff); 123d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "u", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 124d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "v", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 125d1d35e2fSjeremylt CeedOperatorSetField(op_apply, "dv", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 126b7ec98d8SJeremy L Thompson 127b7ec98d8SJeremy L Thompson // Assemble diagonal 128d1d35e2fSjeremylt CeedVectorCreate(ceed, num_dofs, &A); 1292bba3ffaSJeremy L Thompson CeedOperatorLinearAssembleDiagonal(op_apply, A, CEED_REQUEST_IMMEDIATE); 130b7ec98d8SJeremy L Thompson 131b7ec98d8SJeremy L Thompson // Manually assemble diagonal 132d1d35e2fSjeremylt CeedVectorCreate(ceed, num_dofs, &U); 133b7ec98d8SJeremy L Thompson CeedVectorSetValue(U, 0.0); 134d1d35e2fSjeremylt CeedVectorCreate(ceed, num_dofs, &V); 135d1d35e2fSjeremylt for (int i = 0; i < num_dofs; i++) { 136b7ec98d8SJeremy L Thompson // Set input 137b7ec98d8SJeremy L Thompson CeedVectorGetArray(U, CEED_MEM_HOST, &u); 138b7ec98d8SJeremy L Thompson u[i] = 1.0; 139*2b730f8bSJeremy L Thompson if (i) u[i - 1] = 0.0; 140b7ec98d8SJeremy L Thompson CeedVectorRestoreArray(U, &u); 141b7ec98d8SJeremy L Thompson 142b7ec98d8SJeremy L Thompson // Compute diag entry for DoF i 143b7ec98d8SJeremy L Thompson CeedOperatorApply(op_apply, U, V, CEED_REQUEST_IMMEDIATE); 144b7ec98d8SJeremy L Thompson 145b7ec98d8SJeremy L Thompson // Retrieve entry 146b7ec98d8SJeremy L Thompson CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v); 147d1d35e2fSjeremylt assembled_true[i] = v[i]; 148b7ec98d8SJeremy L Thompson CeedVectorRestoreArrayRead(V, &v); 149b7ec98d8SJeremy L Thompson } 150b7ec98d8SJeremy L Thompson 151b7ec98d8SJeremy L Thompson // Check output 152b7ec98d8SJeremy L Thompson CeedVectorGetArrayRead(A, CEED_MEM_HOST, &a); 153*2b730f8bSJeremy L Thompson for (int i = 0; i < num_dofs; i++) { 154*2b730f8bSJeremy L Thompson if (fabs(a[i] - assembled_true[i]) > 100. * CEED_EPSILON) printf("[%" CeedInt_FMT "] Error in assembly: %f != %f\n", i, a[i], assembled_true[i]); 155*2b730f8bSJeremy L Thompson } 156d965c7a7SJeremy L Thompson CeedVectorRestoreArrayRead(A, &a); 157b7ec98d8SJeremy L Thompson 158b7ec98d8SJeremy L Thompson // Cleanup 159b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_setup_mass); 160b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_setup_diff); 161b7ec98d8SJeremy L Thompson CeedQFunctionDestroy(&qf_apply); 162b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_setup_mass); 163b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_setup_diff); 164b7ec98d8SJeremy L Thompson CeedOperatorDestroy(&op_apply); 165d1d35e2fSjeremylt CeedElemRestrictionDestroy(&elem_restr_u); 166d1d35e2fSjeremylt CeedElemRestrictionDestroy(&elem_restr_x); 167d1d35e2fSjeremylt CeedElemRestrictionDestroy(&elem_restr_qd_mass_i); 168d1d35e2fSjeremylt CeedElemRestrictionDestroy(&elem_restr_qd_diff_i); 169d1d35e2fSjeremylt CeedBasisDestroy(&basis_u); 170d1d35e2fSjeremylt CeedBasisDestroy(&basis_x); 171b7ec98d8SJeremy L Thompson CeedVectorDestroy(&X); 172b7ec98d8SJeremy L Thompson CeedVectorDestroy(&A); 173d1d35e2fSjeremylt CeedVectorDestroy(&q_data_mass); 174d1d35e2fSjeremylt CeedVectorDestroy(&q_data_diff); 175b7ec98d8SJeremy L Thompson CeedVectorDestroy(&U); 176b7ec98d8SJeremy L Thompson CeedVectorDestroy(&V); 177b7ec98d8SJeremy L Thompson CeedDestroy(&ceed); 178b7ec98d8SJeremy L Thompson return 0; 179b7ec98d8SJeremy L Thompson } 180