1 /// @file 2 /// Test assembly of Poisson operator with extra input field (non-square D) 3 /// \test Test assembly of Poisson operator with extra input field (non-square D) 4 #include "t568-operator.h" 5 6 #include <ceed.h> 7 #include <math.h> 8 #include <stdlib.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 = 3, dim = 2, num_comp = 2; 18 CeedInt n_x = 1, n_y = 1; 19 CeedInt num_elem = n_x * n_y; 20 CeedInt num_dofs = (n_x * (P - 1) + 1) * (n_y * (P - 1) + 1), num_qpts = num_elem * Q * Q; 21 CeedInt ind_x[num_elem * P * P]; 22 CeedScalar assembled[num_comp * num_comp * num_dofs * num_dofs]; 23 CeedScalar x[dim * num_dofs], assembled_true[num_comp * num_comp * 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 * (P - 1) + 1; i++) { 31 for (CeedInt j = 0; j < n_y * (P - 1) + 1; j++) { 32 x[i + j * (n_x * 2 + 1) + 0 * num_dofs] = (CeedScalar)i / (n_x * (P - 1)); 33 x[i + j * (n_x * 2 + 1) + 1 * num_dofs] = (CeedScalar)j / (n_y * (P - 1)); 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 * (P - 1) + 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 * P + 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 CeedElemRestrictionCreate(ceed, num_elem, P * P, num_comp, num_dofs, num_comp * num_dofs, CEED_MEM_HOST, CEED_USE_POINTER, ind_x, &elem_restr_u); 56 CeedInt strides_qd[3] = {1, Q * Q * num_elem, Q * Q}; /* *NOPAD* */ 57 CeedElemRestrictionCreateStrided(ceed, num_elem, Q * Q, dim * (dim + 1) / 2, num_qpts * dim * (dim + 1) / 2, strides_qd, &elem_restr_qd_i); 58 59 // Bases 60 CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &basis_x); 61 CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp, P, Q, CEED_GAUSS, &basis_u); 62 63 // QFunctions 64 CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup); 65 CeedQFunctionAddInput(qf_setup, "dx", dim * dim, CEED_EVAL_GRAD); 66 CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT); 67 CeedQFunctionAddOutput(qf_setup, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE); 68 69 CeedQFunctionCreateInterior(ceed, 1, diff, diff_loc, &qf_diff); 70 CeedQFunctionAddInput(qf_diff, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE); 71 CeedQFunctionAddInput(qf_diff, "du", num_comp * dim, CEED_EVAL_GRAD); 72 CeedQFunctionAddInput(qf_diff, "dummy u", num_comp, CEED_EVAL_INTERP); 73 CeedQFunctionAddOutput(qf_diff, "dv", num_comp * dim, CEED_EVAL_GRAD); 74 75 // Operators 76 CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup); 77 CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE); 78 CeedOperatorSetField(op_setup, "dx", elem_restr_x, basis_x, CEED_VECTOR_ACTIVE); 79 CeedOperatorSetField(op_setup, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 80 81 CeedOperatorCreate(ceed, qf_diff, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_diff); 82 CeedOperatorSetField(op_diff, "qdata", elem_restr_qd_i, CEED_BASIS_COLLOCATED, q_data); 83 CeedOperatorSetField(op_diff, "du", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 84 CeedOperatorSetField(op_diff, "dummy u", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 85 CeedOperatorSetField(op_diff, "dv", elem_restr_u, basis_u, CEED_VECTOR_ACTIVE); 86 87 // Apply Setup Operator 88 CeedOperatorApply(op_setup, X, q_data, CEED_REQUEST_IMMEDIATE); 89 // Fuly assemble operator 90 for (CeedInt k = 0; k < num_comp * num_comp * num_dofs * num_dofs; k++) { 91 assembled[k] = 0.0; 92 assembled_true[k] = 0.0; 93 } 94 CeedSize nentries; 95 CeedInt *rows; 96 CeedInt *cols; 97 CeedVector values; 98 CeedOperatorLinearAssembleSymbolic(op_diff, &nentries, &rows, &cols); 99 CeedVectorCreate(ceed, nentries, &values); 100 CeedOperatorLinearAssemble(op_diff, values); 101 const CeedScalar *vals; 102 CeedVectorGetArrayRead(values, CEED_MEM_HOST, &vals); 103 for (CeedInt k = 0; k < nentries; k++) assembled[rows[k] * num_comp * num_dofs + cols[k]] += vals[k]; 104 CeedVectorRestoreArrayRead(values, &vals); 105 106 // Manually assemble operator 107 CeedVectorCreate(ceed, num_comp * num_dofs, &U); 108 CeedVectorSetValue(U, 0.0); 109 CeedVectorCreate(ceed, num_comp * num_dofs, &V); 110 CeedInt indOld = -1; 111 112 for (CeedInt comp_in = 0; comp_in < num_comp; comp_in++) { 113 for (CeedInt node_in = 0; node_in < num_dofs; node_in++) { 114 // Set input 115 CeedVectorGetArray(U, CEED_MEM_HOST, &u); 116 CeedInt ind = node_in + comp_in * num_dofs; 117 u[ind] = 1.0; 118 if (ind > 0) u[indOld] = 0.0; 119 indOld = ind; 120 CeedVectorRestoreArray(U, &u); 121 122 // Compute effect of DoF j 123 CeedOperatorApply(op_diff, U, V, CEED_REQUEST_IMMEDIATE); 124 125 CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v); 126 for (CeedInt k = 0; k < num_dofs * num_comp; k++) assembled_true[k * num_dofs * num_comp + ind] = v[k]; 127 CeedVectorRestoreArrayRead(V, &v); 128 } 129 } 130 131 // Check output 132 for (CeedInt node_in = 0; node_in < num_dofs; node_in++) { 133 for (CeedInt comp_in = 0; comp_in < num_comp; comp_in++) { 134 for (CeedInt node_out = 0; node_out < num_dofs; node_out++) { 135 for (CeedInt comp_out = 0; comp_out < num_comp; comp_out++) { 136 const CeedInt index = (node_out + comp_out * num_dofs) * num_comp + node_in + comp_in * num_dofs; 137 const CeedScalar assembled_value = assembled[index]; 138 const CeedScalar assembled_true_value = assembled_true[index]; 139 if (!(fabs(assembled_value - assembled_true_value) < 100. * CEED_EPSILON)) { 140 // LCOV_EXCL_START 141 printf("[(%" CeedInt_FMT ", %" CeedInt_FMT "), (%" CeedInt_FMT ", %" CeedInt_FMT ")] Error in assembly: %f != %f\n", node_out, comp_out, 142 node_in, comp_in, assembled_value, assembled_true_value); 143 // LCOV_EXCL_STOP 144 } 145 } 146 } 147 } 148 } 149 150 // Cleanup 151 free(rows); 152 free(cols); 153 CeedVectorDestroy(&values); 154 CeedQFunctionDestroy(&qf_setup); 155 CeedQFunctionDestroy(&qf_diff); 156 CeedOperatorDestroy(&op_setup); 157 CeedOperatorDestroy(&op_diff); 158 CeedElemRestrictionDestroy(&elem_restr_u); 159 CeedElemRestrictionDestroy(&elem_restr_x); 160 CeedElemRestrictionDestroy(&elem_restr_qd_i); 161 CeedBasisDestroy(&basis_u); 162 CeedBasisDestroy(&basis_x); 163 CeedVectorDestroy(&X); 164 CeedVectorDestroy(&q_data); 165 CeedVectorDestroy(&U); 166 CeedVectorDestroy(&V); 167 CeedDestroy(&ceed); 168 return 0; 169 } 170