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 Erestrictx, Erestrictu, 12 Erestrictui, Erestrictqi; 13 CeedBasis bx, bu; 14 CeedQFunction qf_setup, qf_diff; 15 CeedOperator op_setup, op_diff; 16 CeedVector qdata, X, U, V; 17 CeedInt P = 3, Q = 4, dim = 2; 18 CeedInt nx = 3, ny = 2; 19 CeedInt nelem = nx * ny; 20 CeedInt ndofs = (nx*2+1)*(ny*2+1), nqpts = nelem*Q*Q; 21 CeedInt indx[nelem*P*P]; 22 CeedScalar assembled[ndofs*ndofs]; 23 CeedScalar x[dim*ndofs], assembledTrue[ndofs*ndofs]; 24 CeedScalar *u; 25 const CeedScalar *v; 26 27 CeedInit(argv[1], &ceed); 28 29 // DoF Coordinates 30 for (CeedInt i=0; i<nx*2+1; i++) 31 for (CeedInt j=0; j<ny*2+1; j++) { 32 x[i+j*(nx*2+1)+0*ndofs] = (CeedScalar) i / (2*nx); 33 x[i+j*(nx*2+1)+1*ndofs] = (CeedScalar) j / (2*ny); 34 } 35 CeedVectorCreate(ceed, dim*ndofs, &X); 36 CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x); 37 38 // Qdata Vector 39 CeedVectorCreate(ceed, nqpts*dim*(dim+1)/2, &qdata); 40 41 // Element Setup 42 for (CeedInt i=0; i<nelem; i++) { 43 CeedInt col, row, offset; 44 col = i % nx; 45 row = i / nx; 46 offset = col*(P-1) + row*(nx*2+1)*(P-1); 47 for (CeedInt j=0; j<P; j++) 48 for (CeedInt k=0; k<P; k++) 49 indx[P*(P*i+k)+j] = offset + k*(nx*2+1) + j; 50 } 51 52 // Restrictions 53 CeedElemRestrictionCreate(ceed, nelem, P*P, dim, ndofs, dim*ndofs, 54 CEED_MEM_HOST, CEED_USE_POINTER, indx, &Erestrictx); 55 56 CeedElemRestrictionCreate(ceed, nelem, P*P, 1, 1, ndofs, CEED_MEM_HOST, 57 CEED_USE_POINTER, indx, &Erestrictu); 58 CeedInt stridesu[3] = {1, Q*Q, Q*Q}; 59 CeedElemRestrictionCreateStrided(ceed, nelem, Q*Q, 1, nqpts, stridesu, 60 &Erestrictui); 61 62 CeedInt stridesqd[3] = {1, Q*Q, Q *Q *dim *(dim+1)/2}; 63 CeedElemRestrictionCreateStrided(ceed, nelem, Q*Q, dim*(dim+1)/2, 64 dim*(dim+1)/2*nqpts, 65 stridesqd, &Erestrictqi); 66 67 // Bases 68 CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, P, Q, CEED_GAUSS, &bx); 69 CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, P, Q, CEED_GAUSS, &bu); 70 71 // QFunction - setup 72 CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup); 73 CeedQFunctionAddInput(qf_setup, "dx", dim*dim, CEED_EVAL_GRAD); 74 CeedQFunctionAddInput(qf_setup, "_weight", 1, CEED_EVAL_WEIGHT); 75 CeedQFunctionAddOutput(qf_setup, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE); 76 77 // Operator - setup 78 CeedOperatorCreate(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, 79 &op_setup); 80 CeedOperatorSetField(op_setup, "dx", Erestrictx, bx, CEED_VECTOR_ACTIVE); 81 CeedOperatorSetField(op_setup, "_weight", CEED_ELEMRESTRICTION_NONE, bx, 82 CEED_VECTOR_NONE); 83 CeedOperatorSetField(op_setup, "qdata", Erestrictqi, CEED_BASIS_COLLOCATED, 84 CEED_VECTOR_ACTIVE); 85 86 // Apply Setup Operator 87 CeedOperatorApply(op_setup, X, qdata, CEED_REQUEST_IMMEDIATE); 88 89 // QFunction - apply 90 CeedQFunctionCreateInterior(ceed, 1, diff, diff_loc, &qf_diff); 91 CeedQFunctionAddInput(qf_diff, "du", dim, CEED_EVAL_GRAD); 92 CeedQFunctionAddInput(qf_diff, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE); 93 CeedQFunctionAddOutput(qf_diff, "dv", dim, CEED_EVAL_GRAD); 94 95 // Operator - apply 96 CeedOperatorCreate(ceed, qf_diff, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, 97 &op_diff); 98 CeedOperatorSetField(op_diff, "du", Erestrictu, bu, CEED_VECTOR_ACTIVE); 99 CeedOperatorSetField(op_diff, "qdata", Erestrictqi, CEED_BASIS_COLLOCATED, 100 qdata); 101 CeedOperatorSetField(op_diff, "dv", Erestrictu, bu, CEED_VECTOR_ACTIVE); 102 103 // Fully assemble operator 104 for (int k=0; k<ndofs*ndofs; ++k) { 105 assembled[k] = 0.0; 106 assembledTrue[k] = 0.0; 107 } 108 CeedInt nentries; 109 CeedInt *rows; 110 CeedInt *cols; 111 CeedVector values; 112 CeedOperatorLinearAssembleSymbolic(op_diff, &nentries, &rows, &cols); 113 CeedVectorCreate(ceed, nentries, &values); 114 CeedOperatorLinearAssemble(op_diff, values); 115 const CeedScalar *vals; 116 CeedVectorGetArrayRead(values, CEED_MEM_HOST, &vals); 117 for (int k=0; k<nentries; ++k) { 118 assembled[rows[k]*ndofs + cols[k]] += vals[k]; 119 } 120 CeedVectorRestoreArrayRead(values, &vals); 121 122 // Manually assemble operator 123 CeedVectorCreate(ceed, ndofs, &U); 124 CeedVectorSetValue(U, 0.0); 125 CeedVectorCreate(ceed, ndofs, &V); 126 for (int i=0; i<ndofs; i++) { 127 // Set input 128 CeedVectorGetArray(U, CEED_MEM_HOST, &u); 129 u[i] = 1.0; 130 if (i) 131 u[i-1] = 0.0; 132 CeedVectorRestoreArray(U, &u); 133 134 // Compute entries for column i 135 CeedOperatorApply(op_diff, U, V, CEED_REQUEST_IMMEDIATE); 136 137 CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v); 138 for (int k=0; k<ndofs; k++) { 139 assembledTrue[i*ndofs + k] = v[k]; 140 } 141 CeedVectorRestoreArrayRead(V, &v); 142 } 143 144 // Check output 145 for (int i=0; i<ndofs; i++) 146 for (int j=0; j<ndofs; j++) 147 if (fabs(assembled[j*ndofs+i] - assembledTrue[j*ndofs+i]) > 1e-14) 148 // LCOV_EXCL_START 149 printf("[%d,%d] Error in assembly: %f != %f\n", i, j, 150 assembled[j*ndofs+i], assembledTrue[j*ndofs+i]); 151 // LCOV_EXCL_STOP 152 153 // Cleanup 154 free(rows); 155 free(cols); 156 CeedVectorDestroy(&values); 157 CeedQFunctionDestroy(&qf_setup); 158 CeedQFunctionDestroy(&qf_diff); 159 CeedOperatorDestroy(&op_setup); 160 CeedOperatorDestroy(&op_diff); 161 CeedElemRestrictionDestroy(&Erestrictu); 162 CeedElemRestrictionDestroy(&Erestrictx); 163 CeedElemRestrictionDestroy(&Erestrictui); 164 CeedElemRestrictionDestroy(&Erestrictqi); 165 CeedBasisDestroy(&bu); 166 CeedBasisDestroy(&bx); 167 CeedVectorDestroy(&X); 168 CeedVectorDestroy(&qdata); 169 CeedVectorDestroy(&U); 170 CeedVectorDestroy(&V); 171 CeedDestroy(&ceed); 172 return 0; 173 } 174