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