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 <stdlib.h> 6 #include <math.h> 7 #include "t320-basis.h" 8 #include "t535-operator.h" 9 10 int main(int argc, char **argv) { 11 Ceed ceed; 12 CeedElemRestriction Erestrictx, Erestrictu, 13 Erestrictui, Erestrictqi; 14 CeedBasis bx, bu; 15 CeedQFunction qf_setup_mass, qf_setup_diff, qf_apply; 16 CeedOperator op_setup_mass, op_setup_diff, op_apply; 17 CeedVector qdata_mass, qdata_diff, X, U, V; 18 CeedInt nelem = 12, dim = 2, P = 6, Q = 4; 19 CeedInt nx = 3, ny = 2; 20 CeedInt row, col, offset; 21 CeedInt ndofs = (nx*2+1)*(ny*2+1), nqpts = nelem*Q; 22 CeedInt indx[nelem*P*P]; 23 CeedScalar assembled[ndofs*ndofs]; 24 CeedScalar x[dim*ndofs], assembledTrue[ndofs*ndofs]; 25 CeedScalar qref[dim*Q], qweight[Q]; 26 CeedScalar interp[P*Q], grad[dim*P*Q]; 27 CeedScalar *u; 28 const CeedScalar *v; 29 30 CeedInit(argv[1], &ceed); 31 32 // DoF Coordinates 33 for (CeedInt i=0; i<ndofs; i++) { 34 x[i] = (1. / (nx*2)) * (CeedScalar) (i % (nx*2+1)); 35 x[i+ndofs] = (1. / (ny*2)) * (CeedScalar) (i / (nx*2+1)); 36 } 37 CeedVectorCreate(ceed, dim*ndofs, &X); 38 CeedVectorSetArray(X, CEED_MEM_HOST, CEED_USE_POINTER, x); 39 40 // Qdata Vectors 41 CeedVectorCreate(ceed, nqpts, &qdata_mass); 42 CeedVectorCreate(ceed, nqpts*dim*(dim+1)/2, &qdata_diff); 43 44 // Element Setup 45 for (CeedInt i=0; i<nelem/2; i++) { 46 col = i % nx; 47 row = i / nx; 48 offset = col*2 + row*(nx*2+1)*2; 49 50 indx[i*2*P + 0] = 2 + offset; 51 indx[i*2*P + 1] = 9 + offset; 52 indx[i*2*P + 2] = 16 + offset; 53 indx[i*2*P + 3] = 1 + offset; 54 indx[i*2*P + 4] = 8 + offset; 55 indx[i*2*P + 5] = 0 + offset; 56 57 indx[i*2*P + 6] = 14 + offset; 58 indx[i*2*P + 7] = 7 + offset; 59 indx[i*2*P + 8] = 0 + offset; 60 indx[i*2*P + 9] = 15 + offset; 61 indx[i*2*P + 10] = 8 + offset; 62 indx[i*2*P + 11] = 16 + offset; 63 } 64 65 // Restrictions 66 CeedElemRestrictionCreate(ceed, nelem, P, dim, ndofs, dim*ndofs, 67 CEED_MEM_HOST, CEED_USE_POINTER, indx, &Erestrictx); 68 69 CeedElemRestrictionCreate(ceed, nelem, P, 1, 1, ndofs, CEED_MEM_HOST, 70 CEED_USE_POINTER, indx, &Erestrictu); 71 CeedInt stridesu[3] = {1, Q, Q}; 72 CeedElemRestrictionCreateStrided(ceed, nelem, Q, 1, nqpts, stridesu, 73 &Erestrictui); 74 75 CeedInt stridesqd[3] = {1, Q, Q *dim *(dim+1)/2}; 76 CeedElemRestrictionCreateStrided(ceed, nelem, Q, dim*(dim+1)/2, 77 dim*(dim+1)/2*nqpts, 78 stridesqd, &Erestrictqi); 79 80 // Bases 81 buildmats(qref, qweight, interp, grad); 82 CeedBasisCreateH1(ceed, CEED_TRIANGLE, dim, P, Q, interp, grad, qref, 83 qweight, &bx); 84 85 buildmats(qref, qweight, interp, grad); 86 CeedBasisCreateH1(ceed, CEED_TRIANGLE, 1, P, Q, interp, grad, qref, 87 qweight, &bu); 88 89 // QFunction - setup mass 90 CeedQFunctionCreateInterior(ceed, 1, setup_mass, setup_mass_loc, 91 &qf_setup_mass); 92 CeedQFunctionAddInput(qf_setup_mass, "dx", dim*dim, CEED_EVAL_GRAD); 93 CeedQFunctionAddInput(qf_setup_mass, "_weight", 1, CEED_EVAL_WEIGHT); 94 CeedQFunctionAddOutput(qf_setup_mass, "qdata", 1, CEED_EVAL_NONE); 95 96 // Operator - setup mass 97 CeedOperatorCreate(ceed, qf_setup_mass, CEED_QFUNCTION_NONE, 98 CEED_QFUNCTION_NONE, &op_setup_mass); 99 CeedOperatorSetField(op_setup_mass, "dx", Erestrictx, bx, CEED_VECTOR_ACTIVE); 100 CeedOperatorSetField(op_setup_mass, "_weight", CEED_ELEMRESTRICTION_NONE, bx, 101 CEED_VECTOR_NONE); 102 CeedOperatorSetField(op_setup_mass, "qdata", Erestrictui, 103 CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 104 105 // QFunction - setup diff 106 CeedQFunctionCreateInterior(ceed, 1, setup_diff, setup_diff_loc, 107 &qf_setup_diff); 108 CeedQFunctionAddInput(qf_setup_diff, "dx", dim*dim, CEED_EVAL_GRAD); 109 CeedQFunctionAddInput(qf_setup_diff, "_weight", 1, CEED_EVAL_WEIGHT); 110 CeedQFunctionAddOutput(qf_setup_diff, "qdata", dim*(dim+1)/2, CEED_EVAL_NONE); 111 112 // Operator - setup diff 113 CeedOperatorCreate(ceed, qf_setup_diff, CEED_QFUNCTION_NONE, 114 CEED_QFUNCTION_NONE, &op_setup_diff); 115 CeedOperatorSetField(op_setup_diff, "dx", Erestrictx, bx, CEED_VECTOR_ACTIVE); 116 CeedOperatorSetField(op_setup_diff, "_weight", CEED_ELEMRESTRICTION_NONE, bx, 117 CEED_VECTOR_NONE); 118 CeedOperatorSetField(op_setup_diff, "qdata", Erestrictqi, 119 CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 120 121 // Apply Setup Operators 122 CeedOperatorApply(op_setup_mass, X, qdata_mass, CEED_REQUEST_IMMEDIATE); 123 CeedOperatorApply(op_setup_diff, X, qdata_diff, CEED_REQUEST_IMMEDIATE); 124 125 // QFunction - apply 126 CeedQFunctionCreateInterior(ceed, 1, apply, apply_loc, &qf_apply); 127 CeedQFunctionAddInput(qf_apply, "du", dim, CEED_EVAL_GRAD); 128 CeedQFunctionAddInput(qf_apply, "qdata_mass", 1, CEED_EVAL_NONE); 129 CeedQFunctionAddInput(qf_apply, "qdata_diff", dim*(dim+1)/2, CEED_EVAL_NONE); 130 CeedQFunctionAddInput(qf_apply, "u", 1, CEED_EVAL_INTERP); 131 CeedQFunctionAddOutput(qf_apply, "v", 1, CEED_EVAL_INTERP); 132 CeedQFunctionAddOutput(qf_apply, "dv", dim, CEED_EVAL_GRAD); 133 134 // Operator - apply 135 CeedOperatorCreate(ceed, qf_apply, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, 136 &op_apply); 137 CeedOperatorSetField(op_apply, "du", Erestrictu, bu, CEED_VECTOR_ACTIVE); 138 CeedOperatorSetField(op_apply, "qdata_mass", Erestrictui, 139 CEED_BASIS_COLLOCATED, qdata_mass); 140 CeedOperatorSetField(op_apply, "qdata_diff", Erestrictqi, 141 CEED_BASIS_COLLOCATED, qdata_diff); 142 CeedOperatorSetField(op_apply, "u", Erestrictu, bu, CEED_VECTOR_ACTIVE); 143 CeedOperatorSetField(op_apply, "v", Erestrictu, bu, CEED_VECTOR_ACTIVE); 144 CeedOperatorSetField(op_apply, "dv", Erestrictu, bu, CEED_VECTOR_ACTIVE); 145 146 // Fully assemble operator 147 for (int k=0; k<ndofs*ndofs; ++k) { 148 assembled[k] = 0.0; 149 assembledTrue[k] = 0.0; 150 } 151 CeedInt nentries; 152 CeedInt *rows; 153 CeedInt *cols; 154 CeedVector values; 155 CeedOperatorLinearAssembleSymbolic(op_apply, &nentries, &rows, &cols); 156 CeedVectorCreate(ceed, nentries, &values); 157 CeedOperatorLinearAssemble(op_apply, values); 158 const CeedScalar *vals; 159 CeedVectorGetArrayRead(values, CEED_MEM_HOST, &vals); 160 for (int k=0; k<nentries; ++k) { 161 assembled[rows[k]*ndofs + cols[k]] += vals[k]; 162 } 163 CeedVectorRestoreArrayRead(values, &vals); 164 165 // Manually assemble operator 166 CeedVectorCreate(ceed, ndofs, &U); 167 CeedVectorSetValue(U, 0.0); 168 CeedVectorCreate(ceed, ndofs, &V); 169 for (int i=0; i<ndofs; i++) { 170 // Set input 171 CeedVectorGetArray(U, CEED_MEM_HOST, &u); 172 u[i] = 1.0; 173 if (i) 174 u[i-1] = 0.0; 175 CeedVectorRestoreArray(U, &u); 176 177 // Compute entries for column i 178 CeedOperatorApply(op_apply, U, V, CEED_REQUEST_IMMEDIATE); 179 180 CeedVectorGetArrayRead(V, CEED_MEM_HOST, &v); 181 for (int k=0; k<ndofs; k++) { 182 assembledTrue[i*ndofs + k] = v[k]; 183 } 184 CeedVectorRestoreArrayRead(V, &v); 185 } 186 187 // Check output 188 for (int i=0; i<ndofs; i++) 189 for (int j=0; j<ndofs; j++) 190 if (fabs(assembled[j*ndofs+i] - assembledTrue[j*ndofs+i]) > 1e-14) 191 // LCOV_EXCL_START 192 printf("[%d,%d] Error in assembly: %f != %f\n", i, j, 193 assembled[j*ndofs+i], assembledTrue[j*ndofs+i]); 194 // LCOV_EXCL_STOP 195 196 // Cleanup 197 free(rows); 198 free(cols); 199 CeedVectorDestroy(&values); 200 CeedQFunctionDestroy(&qf_setup_mass); 201 CeedQFunctionDestroy(&qf_setup_diff); 202 CeedQFunctionDestroy(&qf_apply); 203 CeedOperatorDestroy(&op_setup_mass); 204 CeedOperatorDestroy(&op_setup_diff); 205 CeedOperatorDestroy(&op_apply); 206 CeedElemRestrictionDestroy(&Erestrictu); 207 CeedElemRestrictionDestroy(&Erestrictx); 208 CeedElemRestrictionDestroy(&Erestrictui); 209 CeedElemRestrictionDestroy(&Erestrictqi); 210 CeedBasisDestroy(&bu); 211 CeedBasisDestroy(&bx); 212 CeedVectorDestroy(&X); 213 CeedVectorDestroy(&qdata_mass); 214 CeedVectorDestroy(&qdata_diff); 215 CeedVectorDestroy(&U); 216 CeedVectorDestroy(&V); 217 CeedDestroy(&ceed); 218 return 0; 219 } 220