1 /// @file 2 /// Test full assembly of Poisson operator 3 /// \test Test full assembly of Poisson operator 4 #include <ceed.h> 5 #include <math.h> 6 #include <stdlib.h> 7 8 #include "t534-operator.h" 9 10 int main(int argc, char **argv) { 11 Ceed ceed; 12 CeedElemRestriction elem_restr_x, elem_restr_u, elem_restr_qd_i; 13 CeedBasis basis_x, basis_u; 14 CeedQFunction qf_setup, qf_diff; 15 CeedOperator op_setup, op_diff; 16 CeedVector q_data, X, U, V; 17 CeedInt P = 3, Q = 4, dim = 2; 18 CeedInt n_x = 3, n_y = 2; 19 CeedInt num_elem = n_x * n_y; 20 CeedInt num_dofs = (n_x * 2 + 1) * (n_y * 2 + 1), num_qpts = num_elem * Q * Q; 21 CeedInt ind_x[num_elem * P * P]; 22 CeedScalar assembled[num_dofs * num_dofs]; 23 CeedScalar x[dim * num_dofs], assembled_true[num_dofs * num_dofs]; 24 CeedScalar *u; 25 const CeedScalar *v; 26 27 CeedInit(argv[1], &ceed); 28 29 // DoF Coordinates 30 for (CeedInt i = 0; i < n_x * 2 + 1; i++) { 31 for (CeedInt j = 0; j < n_y * 2 + 1; j++) { 32 x[i + j * (n_x * 2 + 1) + 0 * num_dofs] = (CeedScalar)i / (2 * n_x); 33 x[i + j * (n_x * 2 + 1) + 1 * num_dofs] = (CeedScalar)j / (2 * n_y); 34 } 35 } 36 CeedVectorCreate(ceed, dim * num_dofs, &X); 37 CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x); 38 39 // Qdata Vector 40 CeedVectorCreate(ceed, num_qpts * dim * (dim + 1) / 2, &q_data); 41 42 // Element Setup 43 for (CeedInt i = 0; i < num_elem; i++) { 44 CeedInt col, row, offset; 45 col = i % n_x; 46 row = i / n_x; 47 offset = col * (P - 1) + row * (n_x * 2 + 1) * (P - 1); 48 for (CeedInt j = 0; j < P; j++) { 49 for (CeedInt k = 0; k < P; k++) ind_x[P * (P * i + k) + j] = offset + k * (n_x * 2 + 1) + j; 50 } 51 } 52 53 // Restrictions 54 CeedElemRestrictionCreate(ceed, num_elem, P * P, dim, num_dofs, dim * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_x); 55 56 CeedElemRestrictionCreate(ceed, num_elem, P * P, 1, 1, num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_u); 57 CeedInt strides_qd[3] = {1, Q * Q, Q * Q * dim * (dim + 1) / 2}; 58 CeedElemRestrictionCreateStrided(ceed, num_elem, Q * Q, dim * (dim + 1) / 2, dim * (dim + 1) / 2 * num_qpts, strides_qd, &elem_restr_qd_i); 59 60 // Bases 61 CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &basis_x); 62 CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P, Q, CEED_GAUSS, &basis_u); 63 64 // QFunction - setup 65 CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup); 66 CeedQFunctionAddInput(qf_setup, "dx", dim * dim, CEED_EVAL_GRAD); 67 CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT); 68 CeedQFunctionAddOutput(qf_setup, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE); 69 70 // Operator - setup 71 CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup); 72 CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE); 73 CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE); 74 CeedOperatorSetField(op_setup, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 75 76 // Apply Setup Operator 77 CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE); 78 79 // QFunction - apply 80 CeedQFunctionCreateInterior(ceed, 1, diff, diff_loc, &qf_diff); 81 CeedQFunctionAddInput(qf_diff, "du", dim, CEED_EVAL_GRAD); 82 CeedQFunctionAddInput(qf_diff, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE); 83 CeedQFunctionAddOutput(qf_diff, "dv", dim, CEED_EVAL_GRAD); 84 85 // Operator - apply 86 CeedOperatorCreate(ceed, qf_diff, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_diff); 87 CeedOperatorSetField(op_diff, "du", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 88 CeedOperatorSetField(op_diff, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED, q_data); 89 CeedOperatorSetField(op_diff, "dv", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 90 91 // Fully assemble operator 92 for (int k = 0; k < num_dofs * num_dofs; ++k) { 93 assembled[k] = 0.0; 94 assembled_true[k] = 0.0; 95 } 96 CeedSize num_entries; 97 CeedInt *rows; 98 CeedInt *cols; 99 CeedVector values; 100 CeedOperatorLinearAssembleSymbolic(op_diff, &num_entries, &rows, &cols); 101 CeedVectorCreate(ceed, num_entries, &values); 102 CeedOperatorLinearAssemble(op_diff, values); 103 const CeedScalar *vals; 104 CeedVectorGetArrayRead(values, CEED_MEM_HOST, &vals); 105 for (int k = 0; k < num_entries; ++k) assembled[rows[k] * num_dofs + cols[k]] += vals[k]; 106 CeedVectorRestoreArrayRead(values, &vals); 107 108 // Manually assemble operator 109 CeedVectorCreate(ceed, num_dofs, &U); 110 CeedVectorSetValue(U, 0.0); 111 CeedVectorCreate(ceed, num_dofs, &V); 112 for (int i = 0; i < num_dofs; i++) { 113 // Set input 114 CeedVectorGetArray(U, CEED_MEM_HOST, &u); 115 u[i] = 1.0; 116 if (i) u[i - 1] = 0.0; 117 CeedVectorRestoreArray(U, &u); 118 119 // Compute entries for column i 120 CeedOperatorApply(op_diff, U, V, CEED_REQUEST_IMMEDIATE); 121 122 CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v); 123 for (int k = 0; k < num_dofs; k++) assembled_true[i * num_dofs + k] = v[k]; 124 CeedVectorRestoreArrayRead(V, &v); 125 } 126 127 // Check output 128 for (int i = 0; i < num_dofs; i++) { 129 for (int j = 0; j < num_dofs; j++) { 130 if (fabs(assembled[j * num_dofs + i] - assembled_true[j * num_dofs + i]) > 100. * CEED_EPSILON) { 131 // LCOV_EXCL_START 132 printf("[%" CeedInt_FMT ", %" CeedInt_FMT "] Error in assembly: %f != %f\n", i, j, assembled[j * num_dofs + i], 133 assembled_true[j * num_dofs + i]); 134 // LCOV_EXCL_STOP 135 } 136 } 137 } 138 139 // Cleanup 140 free(rows); 141 free(cols); 142 CeedVectorDestroy(&values); 143 CeedQFunctionDestroy(&qf_setup); 144 CeedQFunctionDestroy(&qf_diff); 145 CeedOperatorDestroy(&op_setup); 146 CeedOperatorDestroy(&op_diff); 147 CeedElemRestrictionDestroy(&elem_restr_u); 148 CeedElemRestrictionDestroy(&elem_restr_x); 149 CeedElemRestrictionDestroy(&elem_restr_qd_i); 150 CeedBasisDestroy(&basis_u); 151 CeedBasisDestroy(&basis_x); 152 CeedVectorDestroy(&X); 153 CeedVectorDestroy(&q_data); 154 CeedVectorDestroy(&U); 155 CeedVectorDestroy(&V); 156 CeedDestroy(&ceed); 157 return 0; 158 } 159