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