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