1*e13f2367SZach Atkins /// @file 2*e13f2367SZach Atkins /// Test assembly of mass matrix operator QFunction at points 3*e13f2367SZach Atkins /// \test Test assembly of mass matrix operator QFunction 4*e13f2367SZach Atkins #include <ceed.h> 5*e13f2367SZach Atkins #include <math.h> 6*e13f2367SZach Atkins #include <stdio.h> 7*e13f2367SZach Atkins #include <stdlib.h> 8*e13f2367SZach Atkins 9*e13f2367SZach Atkins #include "t591-operator.h" 10*e13f2367SZach Atkins 11*e13f2367SZach Atkins int main(int argc, char **argv) { 12*e13f2367SZach Atkins Ceed ceed; 13*e13f2367SZach Atkins CeedInt num_elem_1d = 3, num_elem = num_elem_1d * num_elem_1d, dim = 2, p = 3, q = 5; 14*e13f2367SZach Atkins CeedInt num_nodes = (num_elem_1d * (p - 1) + 1) * (num_elem_1d * (p - 1) + 1), num_points_per_elem = 4, num_points = num_elem * num_points_per_elem; 15*e13f2367SZach Atkins CeedVector x_points, x_elem, q_data, u, v, qf_assembled; 16*e13f2367SZach Atkins CeedElemRestriction elem_restriction_x_points, elem_restriction_q_data, elem_restriction_x, elem_restriction_u, elem_restriction_assembled; 17*e13f2367SZach Atkins CeedBasis basis_x, basis_u; 18*e13f2367SZach Atkins CeedQFunction qf_setup, qf_mass; 19*e13f2367SZach Atkins CeedOperator op_setup, op_mass; 20*e13f2367SZach Atkins bool is_at_points; 21*e13f2367SZach Atkins 22*e13f2367SZach Atkins CeedInit(argv[1], &ceed); 23*e13f2367SZach Atkins 24*e13f2367SZach Atkins // Point reference coordinates 25*e13f2367SZach Atkins CeedVectorCreate(ceed, dim * num_points, &x_points); 26*e13f2367SZach Atkins { 27*e13f2367SZach Atkins CeedScalar x_array[dim * num_points]; 28*e13f2367SZach Atkins 29*e13f2367SZach Atkins for (CeedInt e = 0; e < num_elem; e++) { 30*e13f2367SZach Atkins for (CeedInt d = 0; d < dim; d++) { 31*e13f2367SZach Atkins x_array[num_points_per_elem * (e * dim + d) + 0] = 0.25; 32*e13f2367SZach Atkins x_array[num_points_per_elem * (e * dim + d) + 1] = d == 0 ? -0.25 : 0.25; 33*e13f2367SZach Atkins x_array[num_points_per_elem * (e * dim + d) + 2] = d == 0 ? 0.25 : -0.25; 34*e13f2367SZach Atkins x_array[num_points_per_elem * (e * dim + d) + 3] = 0.25; 35*e13f2367SZach Atkins } 36*e13f2367SZach Atkins } 37*e13f2367SZach Atkins CeedVectorSetArray(x_points, CEED_MEM_HOST, CEED_COPY_VALUES, x_array); 38*e13f2367SZach Atkins } 39*e13f2367SZach Atkins { 40*e13f2367SZach Atkins CeedInt ind_x[num_elem + 1 + num_points]; 41*e13f2367SZach Atkins 42*e13f2367SZach Atkins for (CeedInt i = 0; i <= num_elem; i++) ind_x[i] = num_elem + 1 + i * num_points_per_elem; 43*e13f2367SZach Atkins for (CeedInt i = 0; i < num_points; i++) ind_x[num_elem + 1 + i] = i; 44*e13f2367SZach Atkins CeedElemRestrictionCreateAtPoints(ceed, num_elem, num_points, dim, num_points * dim, CEED_MEM_HOST, CEED_COPY_VALUES, ind_x, 45*e13f2367SZach Atkins &elem_restriction_x_points); 46*e13f2367SZach Atkins CeedElemRestrictionCreateAtPoints(ceed, num_elem, num_points, 1, num_points, CEED_MEM_HOST, CEED_COPY_VALUES, ind_x, &elem_restriction_q_data); 47*e13f2367SZach Atkins } 48*e13f2367SZach Atkins 49*e13f2367SZach Atkins // Q data 50*e13f2367SZach Atkins CeedVectorCreate(ceed, num_points, &q_data); 51*e13f2367SZach Atkins 52*e13f2367SZach Atkins // Cell coordinates 53*e13f2367SZach Atkins { 54*e13f2367SZach Atkins CeedInt p = 2, num_nodes = (num_elem_1d * (p - 1) + 1) * (num_elem_1d * (p - 1) + 1); 55*e13f2367SZach Atkins CeedInt ind_x[num_elem * p * p]; 56*e13f2367SZach Atkins 57*e13f2367SZach Atkins for (CeedInt e = 0; e < num_elem; e++) { 58*e13f2367SZach Atkins CeedInt elem_xy[2] = {1, 1}, n_d[2] = {0, 0}; 59*e13f2367SZach Atkins 60*e13f2367SZach Atkins for (CeedInt d = 0; d < dim; d++) n_d[d] = num_elem_1d * (p - 1) + 1; 61*e13f2367SZach Atkins { 62*e13f2367SZach Atkins CeedInt r_e = e; 63*e13f2367SZach Atkins 64*e13f2367SZach Atkins for (CeedInt d = 0; d < dim; d++) { 65*e13f2367SZach Atkins elem_xy[d] = r_e % num_elem_1d; 66*e13f2367SZach Atkins r_e /= num_elem_1d; 67*e13f2367SZach Atkins } 68*e13f2367SZach Atkins } 69*e13f2367SZach Atkins CeedInt num_nodes_in_elem = p * p, *elem_nodes = ind_x + e * num_nodes_in_elem; 70*e13f2367SZach Atkins 71*e13f2367SZach Atkins for (CeedInt n = 0; n < num_nodes_in_elem; n++) { 72*e13f2367SZach Atkins CeedInt g_node = 0, g_node_stride = 1, r_node = n; 73*e13f2367SZach Atkins 74*e13f2367SZach Atkins for (CeedInt d = 0; d < dim; d++) { 75*e13f2367SZach Atkins g_node += (elem_xy[d] * (p - 1) + r_node % p) * g_node_stride; 76*e13f2367SZach Atkins g_node_stride *= n_d[d]; 77*e13f2367SZach Atkins r_node /= p; 78*e13f2367SZach Atkins } 79*e13f2367SZach Atkins elem_nodes[n] = p * g_node; 80*e13f2367SZach Atkins } 81*e13f2367SZach Atkins } 82*e13f2367SZach Atkins CeedElemRestrictionCreate(ceed, num_elem, p * p, dim, 1, dim * num_nodes, CEED_MEM_HOST, CEED_COPY_VALUES, ind_x, &elem_restriction_x); 83*e13f2367SZach Atkins CeedVectorCreate(ceed, dim * num_nodes, &x_elem); 84*e13f2367SZach Atkins { 85*e13f2367SZach Atkins CeedScalar x_array[dim * num_nodes]; 86*e13f2367SZach Atkins 87*e13f2367SZach Atkins for (CeedInt i = 0; i <= num_elem_1d; i++) { 88*e13f2367SZach Atkins for (CeedInt j = 0; j <= num_elem_1d; j++) { 89*e13f2367SZach Atkins x_array[(i * (num_elem_1d + 1) + j) * dim + 0] = j; 90*e13f2367SZach Atkins x_array[(i * (num_elem_1d + 1) + j) * dim + 1] = i; 91*e13f2367SZach Atkins } 92*e13f2367SZach Atkins } 93*e13f2367SZach Atkins CeedVectorSetArray(x_elem, CEED_MEM_HOST, CEED_COPY_VALUES, x_array); 94*e13f2367SZach Atkins } 95*e13f2367SZach Atkins } 96*e13f2367SZach Atkins 97*e13f2367SZach Atkins CeedBasisCreateTensorH1Lagrange(ceed, dim, dim, 2, q, CEED_GAUSS, &basis_x); 98*e13f2367SZach Atkins 99*e13f2367SZach Atkins // Cell solution 100*e13f2367SZach Atkins { 101*e13f2367SZach Atkins CeedInt ind_u[num_elem * p * p]; 102*e13f2367SZach Atkins 103*e13f2367SZach Atkins for (CeedInt e = 0; e < num_elem; e++) { 104*e13f2367SZach Atkins CeedInt elem_xy[2] = {1, 1}, n_d[2] = {0, 0}; 105*e13f2367SZach Atkins 106*e13f2367SZach Atkins for (CeedInt d = 0; d < dim; d++) n_d[d] = num_elem_1d * (p - 1) + 1; 107*e13f2367SZach Atkins { 108*e13f2367SZach Atkins CeedInt r_e = e; 109*e13f2367SZach Atkins 110*e13f2367SZach Atkins for (CeedInt d = 0; d < dim; d++) { 111*e13f2367SZach Atkins elem_xy[d] = r_e % num_elem_1d; 112*e13f2367SZach Atkins r_e /= num_elem_1d; 113*e13f2367SZach Atkins } 114*e13f2367SZach Atkins } 115*e13f2367SZach Atkins CeedInt num_nodes_in_elem = p * p, *elem_nodes = ind_u + e * num_nodes_in_elem; 116*e13f2367SZach Atkins 117*e13f2367SZach Atkins for (CeedInt n = 0; n < num_nodes_in_elem; n++) { 118*e13f2367SZach Atkins CeedInt g_node = 0, g_node_stride = 1, r_node = n; 119*e13f2367SZach Atkins 120*e13f2367SZach Atkins for (CeedInt d = 0; d < dim; d++) { 121*e13f2367SZach Atkins g_node += (elem_xy[d] * (p - 1) + r_node % p) * g_node_stride; 122*e13f2367SZach Atkins g_node_stride *= n_d[d]; 123*e13f2367SZach Atkins r_node /= p; 124*e13f2367SZach Atkins } 125*e13f2367SZach Atkins elem_nodes[n] = g_node; 126*e13f2367SZach Atkins } 127*e13f2367SZach Atkins } 128*e13f2367SZach Atkins CeedElemRestrictionCreate(ceed, num_elem, p * p, 1, 1, num_nodes, CEED_MEM_HOST, CEED_COPY_VALUES, ind_u, &elem_restriction_u); 129*e13f2367SZach Atkins } 130*e13f2367SZach Atkins CeedBasisCreateTensorH1Lagrange(ceed, dim, 1, p, q, CEED_GAUSS, &basis_u); 131*e13f2367SZach Atkins 132*e13f2367SZach Atkins // Setup geometric scaling 133*e13f2367SZach Atkins CeedQFunctionCreateInterior(ceed, 1, setup, setup_loc, &qf_setup); 134*e13f2367SZach Atkins CeedQFunctionAddInput(qf_setup, "x", dim * dim, CEED_EVAL_GRAD); 135*e13f2367SZach Atkins CeedQFunctionAddInput(qf_setup, "weight", 1, CEED_EVAL_WEIGHT); 136*e13f2367SZach Atkins CeedQFunctionAddOutput(qf_setup, "rho", 1, CEED_EVAL_NONE); 137*e13f2367SZach Atkins 138*e13f2367SZach Atkins CeedOperatorCreateAtPoints(ceed, qf_setup, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_setup); 139*e13f2367SZach Atkins CeedOperatorSetField(op_setup, "x", elem_restriction_x, basis_x, CEED_VECTOR_ACTIVE); 140*e13f2367SZach Atkins CeedOperatorSetField(op_setup, "weight", CEED_ELEMRESTRICTION_NONE, basis_x, CEED_VECTOR_NONE); 141*e13f2367SZach Atkins CeedOperatorSetField(op_setup, "rho", elem_restriction_q_data, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE); 142*e13f2367SZach Atkins CeedOperatorAtPointsSetPoints(op_setup, elem_restriction_x_points, x_points); 143*e13f2367SZach Atkins 144*e13f2367SZach Atkins CeedOperatorApply(op_setup, x_elem, q_data, CEED_REQUEST_IMMEDIATE); 145*e13f2367SZach Atkins 146*e13f2367SZach Atkins // Mass operator 147*e13f2367SZach Atkins CeedQFunctionCreateInterior(ceed, 1, mass, mass_loc, &qf_mass); 148*e13f2367SZach Atkins CeedQFunctionAddInput(qf_mass, "u", 1, CEED_EVAL_INTERP); 149*e13f2367SZach Atkins CeedQFunctionAddInput(qf_mass, "rho", 1, CEED_EVAL_NONE); 150*e13f2367SZach Atkins CeedQFunctionAddOutput(qf_mass, "v", 1, CEED_EVAL_INTERP); 151*e13f2367SZach Atkins 152*e13f2367SZach Atkins CeedOperatorCreateAtPoints(ceed, qf_mass, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &op_mass); 153*e13f2367SZach Atkins CeedOperatorSetField(op_mass, "u", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE); 154*e13f2367SZach Atkins CeedOperatorSetField(op_mass, "rho", elem_restriction_q_data, CEED_BASIS_NONE, q_data); 155*e13f2367SZach Atkins CeedOperatorSetField(op_mass, "v", elem_restriction_u, basis_u, CEED_VECTOR_ACTIVE); 156*e13f2367SZach Atkins CeedOperatorAtPointsSetPoints(op_mass, elem_restriction_x_points, x_points); 157*e13f2367SZach Atkins 158*e13f2367SZach Atkins CeedOperatorIsAtPoints(op_mass, &is_at_points); 159*e13f2367SZach Atkins if (!is_at_points) printf("Error: Operator should be at points\n"); 160*e13f2367SZach Atkins 161*e13f2367SZach Atkins CeedVectorCreate(ceed, num_nodes, &u); 162*e13f2367SZach Atkins CeedVectorSetValue(u, 1.0); 163*e13f2367SZach Atkins CeedVectorCreate(ceed, num_nodes, &v); 164*e13f2367SZach Atkins 165*e13f2367SZach Atkins // Assemble QFunction 166*e13f2367SZach Atkins CeedOperatorSetQFunctionAssemblyReuse(op_mass, true); 167*e13f2367SZach Atkins CeedOperatorSetQFunctionAssemblyDataUpdateNeeded(op_mass, true); 168*e13f2367SZach Atkins CeedOperatorLinearAssembleQFunction(op_mass, &qf_assembled, &elem_restriction_assembled, CEED_REQUEST_IMMEDIATE); 169*e13f2367SZach Atkins 170*e13f2367SZach Atkins // Check output 171*e13f2367SZach Atkins { 172*e13f2367SZach Atkins const CeedScalar *assembled_array, *q_data_array; 173*e13f2367SZach Atkins 174*e13f2367SZach Atkins CeedVectorGetArrayRead(qf_assembled, CEED_MEM_HOST, &assembled_array); 175*e13f2367SZach Atkins CeedVectorGetArrayRead(q_data, CEED_MEM_HOST, &q_data_array); 176*e13f2367SZach Atkins for (CeedInt i = 0; i < num_points; i++) 177*e13f2367SZach Atkins if (fabs(q_data_array[i] - assembled_array[i]) > 1e-9) { 178*e13f2367SZach Atkins // LCOV_EXCL_START 179*e13f2367SZach Atkins printf("Error: qf_assembled[%" CeedInt_FMT "] = %f != %f\n", i, assembled_array[i], q_data_array[i]); 180*e13f2367SZach Atkins // LCOV_EXCL_STOP 181*e13f2367SZach Atkins } 182*e13f2367SZach Atkins CeedVectorRestoreArrayRead(qf_assembled, &assembled_array); 183*e13f2367SZach Atkins CeedVectorRestoreArrayRead(q_data, &q_data_array); 184*e13f2367SZach Atkins } 185*e13f2367SZach Atkins 186*e13f2367SZach Atkins // Apply original Mass Operator 187*e13f2367SZach Atkins CeedVectorSetValue(u, 1.0); 188*e13f2367SZach Atkins CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE); 189*e13f2367SZach Atkins 190*e13f2367SZach Atkins // Check output 191*e13f2367SZach Atkins { 192*e13f2367SZach Atkins const CeedScalar *v_array; 193*e13f2367SZach Atkins CeedScalar area = 0.0; 194*e13f2367SZach Atkins 195*e13f2367SZach Atkins CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array); 196*e13f2367SZach Atkins for (CeedInt i = 0; i < num_nodes; i++) area += v_array[i]; 197*e13f2367SZach Atkins if (fabs(area - 1.0 * num_elem) > CEED_EPSILON * 5e3) printf("Error: True operator computed area = %f != 1.0\n", area); 198*e13f2367SZach Atkins CeedVectorRestoreArrayRead(v, &v_array); 199*e13f2367SZach Atkins } 200*e13f2367SZach Atkins 201*e13f2367SZach Atkins // Switch to new q_data 202*e13f2367SZach Atkins { 203*e13f2367SZach Atkins const CeedScalar *assembled_array; 204*e13f2367SZach Atkins 205*e13f2367SZach Atkins CeedVectorGetArrayRead(qf_assembled, CEED_MEM_HOST, &assembled_array); 206*e13f2367SZach Atkins CeedVectorSetArray(q_data, CEED_MEM_HOST, CEED_COPY_VALUES, (CeedScalar *)assembled_array); 207*e13f2367SZach Atkins CeedVectorRestoreArrayRead(qf_assembled, &assembled_array); 208*e13f2367SZach Atkins } 209*e13f2367SZach Atkins 210*e13f2367SZach Atkins // Apply new Mass Operator 211*e13f2367SZach Atkins CeedOperatorApply(op_mass, u, v, CEED_REQUEST_IMMEDIATE); 212*e13f2367SZach Atkins 213*e13f2367SZach Atkins // Check output 214*e13f2367SZach Atkins { 215*e13f2367SZach Atkins const CeedScalar *v_array; 216*e13f2367SZach Atkins CeedScalar area = 0.0; 217*e13f2367SZach Atkins 218*e13f2367SZach Atkins CeedVectorGetArrayRead(v, CEED_MEM_HOST, &v_array); 219*e13f2367SZach Atkins for (CeedInt i = 0; i < num_nodes; i++) area += v_array[i]; 220*e13f2367SZach Atkins CeedVectorRestoreArrayRead(v, &v_array); 221*e13f2367SZach Atkins if (fabs(area - 1.0 * num_elem) > CEED_EPSILON * 5e3) printf("Error: Linearized operator computed area = %f != 1.0\n", area); 222*e13f2367SZach Atkins } 223*e13f2367SZach Atkins 224*e13f2367SZach Atkins // Cleanup 225*e13f2367SZach Atkins CeedVectorDestroy(&qf_assembled); 226*e13f2367SZach Atkins CeedVectorDestroy(&q_data); 227*e13f2367SZach Atkins CeedVectorDestroy(&u); 228*e13f2367SZach Atkins CeedVectorDestroy(&v); 229*e13f2367SZach Atkins CeedVectorDestroy(&x_points); 230*e13f2367SZach Atkins CeedVectorDestroy(&q_data); 231*e13f2367SZach Atkins CeedVectorDestroy(&x_elem); 232*e13f2367SZach Atkins CeedElemRestrictionDestroy(&elem_restriction_q_data); 233*e13f2367SZach Atkins CeedElemRestrictionDestroy(&elem_restriction_x); 234*e13f2367SZach Atkins CeedElemRestrictionDestroy(&elem_restriction_x_points); 235*e13f2367SZach Atkins CeedElemRestrictionDestroy(&elem_restriction_u); 236*e13f2367SZach Atkins CeedElemRestrictionDestroy(&elem_restriction_assembled); 237*e13f2367SZach Atkins CeedBasisDestroy(&basis_x); 238*e13f2367SZach Atkins CeedBasisDestroy(&basis_u); 239*e13f2367SZach Atkins CeedQFunctionDestroy(&qf_setup); 240*e13f2367SZach Atkins CeedQFunctionDestroy(&qf_mass); 241*e13f2367SZach Atkins CeedOperatorDestroy(&op_setup); 242*e13f2367SZach Atkins CeedOperatorDestroy(&op_mass); 243*e13f2367SZach Atkins CeedDestroy(&ceed); 244*e13f2367SZach Atkins return 0; 245*e13f2367SZach Atkins } 246