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