1727da7e7SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors. 2727da7e7SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details. 3a515125bSLeila Ghaffari // 4727da7e7SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause 5a515125bSLeila Ghaffari // 6727da7e7SJeremy L Thompson // This file is part of CEED: http://github.com/ceed 7a515125bSLeila Ghaffari 8a515125bSLeila Ghaffari /// @file 9a515125bSLeila Ghaffari /// Setup libCEED for Navier-Stokes example using PETSc 10a515125bSLeila Ghaffari 11a515125bSLeila Ghaffari #include "../navierstokes.h" 12a515125bSLeila Ghaffari 13a515125bSLeila Ghaffari // Utility function - essential BC dofs are encoded in closure indices as -(i+1). 14a515125bSLeila Ghaffari PetscInt Involute(PetscInt i) { 15a515125bSLeila Ghaffari return i >= 0 ? i : -(i+1); 16a515125bSLeila Ghaffari } 17a515125bSLeila Ghaffari 18a515125bSLeila Ghaffari // Utility function to create local CEED restriction 196b1ccf21SJeremy L Thompson PetscErrorCode CreateRestrictionFromPlex(Ceed ceed, DM dm, CeedInt height, 206b1ccf21SJeremy L Thompson DMLabel domain_label, CeedInt value, CeedElemRestriction *elem_restr) { 216b1ccf21SJeremy L Thompson PetscInt num_elem, elem_size, num_dof, num_comp, *elem_restr_offsets; 22a515125bSLeila Ghaffari PetscErrorCode ierr; 236b1ccf21SJeremy L Thompson 24a515125bSLeila Ghaffari PetscFunctionBeginUser; 256b1ccf21SJeremy L Thompson ierr = DMPlexGetLocalOffsets(dm, domain_label, value, height, 0, &num_elem, 266b1ccf21SJeremy L Thompson &elem_size, &num_comp, &num_dof, &elem_restr_offsets); 276b1ccf21SJeremy L Thompson CHKERRQ(ierr); 28a515125bSLeila Ghaffari 296b1ccf21SJeremy L Thompson CeedElemRestrictionCreate(ceed, num_elem, elem_size, num_comp, 306b1ccf21SJeremy L Thompson 1, num_dof, CEED_MEM_HOST, CEED_COPY_VALUES, 316b1ccf21SJeremy L Thompson elem_restr_offsets, elem_restr); 326b1ccf21SJeremy L Thompson ierr = PetscFree(elem_restr_offsets); CHKERRQ(ierr); 33a515125bSLeila Ghaffari 34a515125bSLeila Ghaffari PetscFunctionReturn(0); 35a515125bSLeila Ghaffari } 36a515125bSLeila Ghaffari 37a515125bSLeila Ghaffari // Utility function to get Ceed Restriction for each domain 38a515125bSLeila Ghaffari PetscErrorCode GetRestrictionForDomain(Ceed ceed, DM dm, CeedInt height, 39a515125bSLeila Ghaffari DMLabel domain_label, PetscInt value, 406b1ccf21SJeremy L Thompson CeedInt Q, CeedInt q_data_size, 41a515125bSLeila Ghaffari CeedElemRestriction *elem_restr_q, 42a515125bSLeila Ghaffari CeedElemRestriction *elem_restr_x, 43a515125bSLeila Ghaffari CeedElemRestriction *elem_restr_qd_i) { 44a515125bSLeila Ghaffari DM dm_coord; 45a515125bSLeila Ghaffari CeedInt dim, loc_num_elem; 46a515125bSLeila Ghaffari CeedInt Q_dim; 47a515125bSLeila Ghaffari PetscErrorCode ierr; 48a515125bSLeila Ghaffari PetscFunctionBeginUser; 49a515125bSLeila Ghaffari 50a515125bSLeila Ghaffari ierr = DMGetDimension(dm, &dim); CHKERRQ(ierr); 51a515125bSLeila Ghaffari dim -= height; 52a515125bSLeila Ghaffari Q_dim = CeedIntPow(Q, dim); 53a515125bSLeila Ghaffari ierr = DMGetCoordinateDM(dm, &dm_coord); CHKERRQ(ierr); 54a515125bSLeila Ghaffari ierr = DMPlexSetClosurePermutationTensor(dm_coord, PETSC_DETERMINE, NULL); 55a515125bSLeila Ghaffari CHKERRQ(ierr); 566b1ccf21SJeremy L Thompson ierr = CreateRestrictionFromPlex(ceed, dm, height, domain_label, value, 576b1ccf21SJeremy L Thompson elem_restr_q); 586b1ccf21SJeremy L Thompson CHKERRQ(ierr); 596b1ccf21SJeremy L Thompson ierr = CreateRestrictionFromPlex(ceed, dm_coord, height, domain_label, value, 606b1ccf21SJeremy L Thompson elem_restr_x); 616b1ccf21SJeremy L Thompson CHKERRQ(ierr); 62a515125bSLeila Ghaffari CeedElemRestrictionGetNumElements(*elem_restr_q, &loc_num_elem); 63a515125bSLeila Ghaffari CeedElemRestrictionCreateStrided(ceed, loc_num_elem, Q_dim, 64a515125bSLeila Ghaffari q_data_size, q_data_size*loc_num_elem*Q_dim, 65a515125bSLeila Ghaffari CEED_STRIDES_BACKEND, elem_restr_qd_i); 66a515125bSLeila Ghaffari PetscFunctionReturn(0); 67a515125bSLeila Ghaffari } 68a515125bSLeila Ghaffari 69a515125bSLeila Ghaffari // Utility function to create CEED Composite Operator for the entire domain 70a515125bSLeila Ghaffari PetscErrorCode CreateOperatorForDomain(Ceed ceed, DM dm, SimpleBC bc, 71a515125bSLeila Ghaffari CeedData ceed_data, Physics phys, 72a515125bSLeila Ghaffari CeedOperator op_apply_vol, CeedInt height, 73a515125bSLeila Ghaffari CeedInt P_sur, CeedInt Q_sur, CeedInt q_data_size_sur, 74a515125bSLeila Ghaffari CeedOperator *op_apply) { 75002797a3SLeila Ghaffari //CeedInt dim; 76a515125bSLeila Ghaffari DMLabel domain_label; 77a515125bSLeila Ghaffari PetscErrorCode ierr; 78a515125bSLeila Ghaffari PetscFunctionBeginUser; 79a515125bSLeila Ghaffari 80a515125bSLeila Ghaffari // Create Composite Operaters 81a515125bSLeila Ghaffari CeedCompositeOperatorCreate(ceed, op_apply); 82a515125bSLeila Ghaffari 83a515125bSLeila Ghaffari // --Apply Sub-Operator for the volume 84a515125bSLeila Ghaffari CeedCompositeOperatorAddSub(*op_apply, op_apply_vol); 85a515125bSLeila Ghaffari 86a515125bSLeila Ghaffari // -- Create Sub-Operator for in/outflow BCs 87*bb8a0c61SJames Wright if (phys->has_neumann || 1) { 88a515125bSLeila Ghaffari // --- Setup 89a515125bSLeila Ghaffari ierr = DMGetLabel(dm, "Face Sets", &domain_label); CHKERRQ(ierr); 90002797a3SLeila Ghaffari //ierr = DMGetDimension(dm, &dim); CHKERRQ(ierr); 91a515125bSLeila Ghaffari 92a515125bSLeila Ghaffari // --- Get number of quadrature points for the boundaries 93a515125bSLeila Ghaffari CeedInt num_qpts_sur; 94a515125bSLeila Ghaffari CeedBasisGetNumQuadraturePoints(ceed_data->basis_q_sur, &num_qpts_sur); 95a515125bSLeila Ghaffari 96002797a3SLeila Ghaffari // --- Create Sub-Operator for inflow boundaries 97002797a3SLeila Ghaffari for (CeedInt i=0; i < bc->num_inflow; i++) { 98a515125bSLeila Ghaffari CeedVector q_data_sur; 99002797a3SLeila Ghaffari CeedOperator op_setup_sur, op_apply_inflow; 100002797a3SLeila Ghaffari CeedElemRestriction elem_restr_x_sur, elem_restr_q_sur, elem_restr_qd_i_sur; 101a515125bSLeila Ghaffari 102a515125bSLeila Ghaffari // ---- CEED Restriction 103002797a3SLeila Ghaffari ierr = GetRestrictionForDomain(ceed, dm, height, domain_label, bc->inflows[i], 104002797a3SLeila Ghaffari Q_sur, q_data_size_sur, &elem_restr_q_sur, &elem_restr_x_sur, 105002797a3SLeila Ghaffari &elem_restr_qd_i_sur); 106a515125bSLeila Ghaffari CHKERRQ(ierr); 107a515125bSLeila Ghaffari 108a515125bSLeila Ghaffari // ---- CEED Vector 109a515125bSLeila Ghaffari PetscInt loc_num_elem_sur; 110a515125bSLeila Ghaffari CeedElemRestrictionGetNumElements(elem_restr_q_sur, &loc_num_elem_sur); 111a515125bSLeila Ghaffari CeedVectorCreate(ceed, q_data_size_sur*loc_num_elem_sur*num_qpts_sur, 112a515125bSLeila Ghaffari &q_data_sur); 113a515125bSLeila Ghaffari 114a515125bSLeila Ghaffari // ---- CEED Operator 115a515125bSLeila Ghaffari // ----- CEED Operator for Setup (geometric factors) 116a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_setup_sur, NULL, NULL, &op_setup_sur); 117a515125bSLeila Ghaffari CeedOperatorSetField(op_setup_sur, "dx", elem_restr_x_sur, 118139613f2SLeila Ghaffari ceed_data->basis_x_sur, CEED_VECTOR_ACTIVE); 119a515125bSLeila Ghaffari CeedOperatorSetField(op_setup_sur, "weight", CEED_ELEMRESTRICTION_NONE, 120a515125bSLeila Ghaffari ceed_data->basis_x_sur, CEED_VECTOR_NONE); 1213b1e209bSJeremy L Thompson CeedOperatorSetField(op_setup_sur, "surface qdata", elem_restr_qd_i_sur, 122a515125bSLeila Ghaffari CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 123a515125bSLeila Ghaffari 124a515125bSLeila Ghaffari // ----- CEED Operator for Physics 125002797a3SLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_apply_inflow, NULL, NULL, 126002797a3SLeila Ghaffari &op_apply_inflow); 127002797a3SLeila Ghaffari CeedOperatorSetField(op_apply_inflow, "q", elem_restr_q_sur, 128a515125bSLeila Ghaffari ceed_data->basis_q_sur, CEED_VECTOR_ACTIVE); 129002797a3SLeila Ghaffari CeedOperatorSetField(op_apply_inflow, "surface qdata", elem_restr_qd_i_sur, 130a515125bSLeila Ghaffari CEED_BASIS_COLLOCATED, q_data_sur); 131002797a3SLeila Ghaffari CeedOperatorSetField(op_apply_inflow, "x", elem_restr_x_sur, 132a515125bSLeila Ghaffari ceed_data->basis_x_sur, ceed_data->x_coord); 133002797a3SLeila Ghaffari CeedOperatorSetField(op_apply_inflow, "v", elem_restr_q_sur, 134a515125bSLeila Ghaffari ceed_data->basis_q_sur, CEED_VECTOR_ACTIVE); 135a515125bSLeila Ghaffari 136a515125bSLeila Ghaffari // ----- Apply CEED operator for Setup 137a515125bSLeila Ghaffari CeedOperatorApply(op_setup_sur, ceed_data->x_coord, q_data_sur, 138a515125bSLeila Ghaffari CEED_REQUEST_IMMEDIATE); 139a515125bSLeila Ghaffari 140002797a3SLeila Ghaffari // ----- Apply Sub-Operator for Physics 141002797a3SLeila Ghaffari CeedCompositeOperatorAddSub(*op_apply, op_apply_inflow); 142a515125bSLeila Ghaffari 143a515125bSLeila Ghaffari // ----- Cleanup 144a515125bSLeila Ghaffari CeedVectorDestroy(&q_data_sur); 145a515125bSLeila Ghaffari CeedElemRestrictionDestroy(&elem_restr_q_sur); 146a515125bSLeila Ghaffari CeedElemRestrictionDestroy(&elem_restr_x_sur); 147a515125bSLeila Ghaffari CeedElemRestrictionDestroy(&elem_restr_qd_i_sur); 148a515125bSLeila Ghaffari CeedOperatorDestroy(&op_setup_sur); 149002797a3SLeila Ghaffari CeedOperatorDestroy(&op_apply_inflow); 150a515125bSLeila Ghaffari } 151a515125bSLeila Ghaffari 152002797a3SLeila Ghaffari // --- Create Sub-Operator for outflow boundaries 153002797a3SLeila Ghaffari for (CeedInt i=0; i < bc->num_outflow; i++) { 154002797a3SLeila Ghaffari CeedVector q_data_sur; 155002797a3SLeila Ghaffari CeedOperator op_setup_sur, op_apply_outflow; 156002797a3SLeila Ghaffari CeedElemRestriction elem_restr_x_sur, elem_restr_q_sur, elem_restr_qd_i_sur; 157002797a3SLeila Ghaffari 158002797a3SLeila Ghaffari // ---- CEED Restriction 159002797a3SLeila Ghaffari ierr = GetRestrictionForDomain(ceed, dm, height, domain_label, bc->outflows[i], 160002797a3SLeila Ghaffari Q_sur, q_data_size_sur, &elem_restr_q_sur, &elem_restr_x_sur, 161002797a3SLeila Ghaffari &elem_restr_qd_i_sur); 162002797a3SLeila Ghaffari CHKERRQ(ierr); 163002797a3SLeila Ghaffari 164002797a3SLeila Ghaffari // ---- CEED Vector 165002797a3SLeila Ghaffari PetscInt loc_num_elem_sur; 166002797a3SLeila Ghaffari CeedElemRestrictionGetNumElements(elem_restr_q_sur, &loc_num_elem_sur); 167002797a3SLeila Ghaffari CeedVectorCreate(ceed, q_data_size_sur*loc_num_elem_sur*num_qpts_sur, 168002797a3SLeila Ghaffari &q_data_sur); 169002797a3SLeila Ghaffari 170002797a3SLeila Ghaffari // ---- CEED Operator 171002797a3SLeila Ghaffari // ----- CEED Operator for Setup (geometric factors) 172002797a3SLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_setup_sur, NULL, NULL, &op_setup_sur); 173002797a3SLeila Ghaffari CeedOperatorSetField(op_setup_sur, "dx", elem_restr_x_sur, 174002797a3SLeila Ghaffari ceed_data->basis_x_sur, CEED_VECTOR_ACTIVE); 175002797a3SLeila Ghaffari CeedOperatorSetField(op_setup_sur, "weight", CEED_ELEMRESTRICTION_NONE, 176002797a3SLeila Ghaffari ceed_data->basis_x_sur, CEED_VECTOR_NONE); 177002797a3SLeila Ghaffari CeedOperatorSetField(op_setup_sur, "surface qdata", elem_restr_qd_i_sur, 178002797a3SLeila Ghaffari CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 179002797a3SLeila Ghaffari 180002797a3SLeila Ghaffari // ----- CEED Operator for Physics 181002797a3SLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_apply_outflow, NULL, NULL, 182002797a3SLeila Ghaffari &op_apply_outflow); 183002797a3SLeila Ghaffari CeedOperatorSetField(op_apply_outflow, "q", elem_restr_q_sur, 184002797a3SLeila Ghaffari ceed_data->basis_q_sur, CEED_VECTOR_ACTIVE); 185002797a3SLeila Ghaffari CeedOperatorSetField(op_apply_outflow, "surface qdata", elem_restr_qd_i_sur, 186002797a3SLeila Ghaffari CEED_BASIS_COLLOCATED, q_data_sur); 187002797a3SLeila Ghaffari CeedOperatorSetField(op_apply_outflow, "x", elem_restr_x_sur, 188002797a3SLeila Ghaffari ceed_data->basis_x_sur, ceed_data->x_coord); 189002797a3SLeila Ghaffari CeedOperatorSetField(op_apply_outflow, "v", elem_restr_q_sur, 190002797a3SLeila Ghaffari ceed_data->basis_q_sur, CEED_VECTOR_ACTIVE); 191002797a3SLeila Ghaffari 192002797a3SLeila Ghaffari // ----- Apply CEED operator for Setup 193002797a3SLeila Ghaffari CeedOperatorApply(op_setup_sur, ceed_data->x_coord, q_data_sur, 194002797a3SLeila Ghaffari CEED_REQUEST_IMMEDIATE); 195002797a3SLeila Ghaffari 196002797a3SLeila Ghaffari // ----- Apply Sub-Operator for Physics 197002797a3SLeila Ghaffari CeedCompositeOperatorAddSub(*op_apply, op_apply_outflow); 198002797a3SLeila Ghaffari 199002797a3SLeila Ghaffari // ----- Cleanup 200002797a3SLeila Ghaffari CeedVectorDestroy(&q_data_sur); 201002797a3SLeila Ghaffari CeedElemRestrictionDestroy(&elem_restr_q_sur); 202002797a3SLeila Ghaffari CeedElemRestrictionDestroy(&elem_restr_x_sur); 203002797a3SLeila Ghaffari CeedElemRestrictionDestroy(&elem_restr_qd_i_sur); 204002797a3SLeila Ghaffari CeedOperatorDestroy(&op_setup_sur); 205002797a3SLeila Ghaffari CeedOperatorDestroy(&op_apply_outflow); 206002797a3SLeila Ghaffari } 207002797a3SLeila Ghaffari } 20892ada588SJames Wright 20992ada588SJames Wright // ----- Get Context Labels for Operator 21092ada588SJames Wright CeedOperatorContextGetFieldLabel(*op_apply, "solution time", 21192ada588SJames Wright &phys->solution_time_label); 212*bb8a0c61SJames Wright CeedOperatorContextGetFieldLabel(*op_apply, "timestep size", 213*bb8a0c61SJames Wright &phys->timestep_size_label); 21492ada588SJames Wright 215a515125bSLeila Ghaffari PetscFunctionReturn(0); 216a515125bSLeila Ghaffari } 217a515125bSLeila Ghaffari 218a515125bSLeila Ghaffari PetscErrorCode SetupLibceed(Ceed ceed, CeedData ceed_data, DM dm, User user, 21992ada588SJames Wright AppCtx app_ctx, ProblemData *problem, SimpleBC bc, SetupContext setup_ctx) { 220a515125bSLeila Ghaffari PetscErrorCode ierr; 221a515125bSLeila Ghaffari PetscFunctionBeginUser; 222a515125bSLeila Ghaffari 223a515125bSLeila Ghaffari // ***************************************************************************** 224a515125bSLeila Ghaffari // Set up CEED objects for the interior domain (volume) 225a515125bSLeila Ghaffari // ***************************************************************************** 226a515125bSLeila Ghaffari const PetscInt num_comp_q = 5; 227a515125bSLeila Ghaffari const CeedInt dim = problem->dim, 228a515125bSLeila Ghaffari num_comp_x = problem->dim, 229a515125bSLeila Ghaffari q_data_size_vol = problem->q_data_size_vol, 230a515125bSLeila Ghaffari P = app_ctx->degree + 1, 231a515125bSLeila Ghaffari Q = P + app_ctx->q_extra; 232a515125bSLeila Ghaffari 233a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 234a515125bSLeila Ghaffari // CEED Bases 235a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 236a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp_q, P, Q, CEED_GAUSS, 237a515125bSLeila Ghaffari &ceed_data->basis_q); 238a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp_x, 2, Q, CEED_GAUSS, 239a515125bSLeila Ghaffari &ceed_data->basis_x); 240a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp_x, 2, P, 241a515125bSLeila Ghaffari CEED_GAUSS_LOBATTO, &ceed_data->basis_xc); 242a515125bSLeila Ghaffari 243a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 244a515125bSLeila Ghaffari // CEED Restrictions 245a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 246a515125bSLeila Ghaffari // -- Create restriction 2476b1ccf21SJeremy L Thompson ierr = GetRestrictionForDomain(ceed, dm, 0, 0, 0, Q, q_data_size_vol, 2486b1ccf21SJeremy L Thompson &ceed_data->elem_restr_q, &ceed_data->elem_restr_x, 249a515125bSLeila Ghaffari &ceed_data->elem_restr_qd_i); CHKERRQ(ierr); 250a515125bSLeila Ghaffari // -- Create E vectors 251a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &user->q_ceed, NULL); 252a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &user->q_dot_ceed, 253a515125bSLeila Ghaffari NULL); 254a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &user->g_ceed, NULL); 255a515125bSLeila Ghaffari 256a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 257a515125bSLeila Ghaffari // CEED QFunctions 258a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 259a515125bSLeila Ghaffari // -- Create QFunction for quadrature data 260a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->setup_vol, problem->setup_vol_loc, 261a515125bSLeila Ghaffari &ceed_data->qf_setup_vol); 262a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_setup_vol, "dx", num_comp_x*dim, 263a515125bSLeila Ghaffari CEED_EVAL_GRAD); 264a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_setup_vol, "weight", 1, CEED_EVAL_WEIGHT); 2653b1e209bSJeremy L Thompson CeedQFunctionAddOutput(ceed_data->qf_setup_vol, "qdata", q_data_size_vol, 266a515125bSLeila Ghaffari CEED_EVAL_NONE); 267a515125bSLeila Ghaffari 268a515125bSLeila Ghaffari // -- Create QFunction for ICs 269a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->ics, problem->ics_loc, 270a515125bSLeila Ghaffari &ceed_data->qf_ics); 271a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_ics, "x", num_comp_x, CEED_EVAL_INTERP); 272a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_ics, "q0", num_comp_q, CEED_EVAL_NONE); 273a515125bSLeila Ghaffari 274a515125bSLeila Ghaffari // -- Create QFunction for RHS 275a515125bSLeila Ghaffari if (problem->apply_vol_rhs) { 276a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->apply_vol_rhs, 277a515125bSLeila Ghaffari problem->apply_vol_rhs_loc, &ceed_data->qf_rhs_vol); 278a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_rhs_vol, "q", num_comp_q, CEED_EVAL_INTERP); 279a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_rhs_vol, "dq", num_comp_q*dim, 280a515125bSLeila Ghaffari CEED_EVAL_GRAD); 2813b1e209bSJeremy L Thompson CeedQFunctionAddInput(ceed_data->qf_rhs_vol, "qdata", q_data_size_vol, 282a515125bSLeila Ghaffari CEED_EVAL_NONE); 283a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_rhs_vol, "x", num_comp_x, CEED_EVAL_INTERP); 284a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_rhs_vol, "v", num_comp_q, 285a515125bSLeila Ghaffari CEED_EVAL_INTERP); 286a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_rhs_vol, "dv", num_comp_q*dim, 287a515125bSLeila Ghaffari CEED_EVAL_GRAD); 288a515125bSLeila Ghaffari } 289a515125bSLeila Ghaffari 290a515125bSLeila Ghaffari // -- Create QFunction for IFunction 291a515125bSLeila Ghaffari if (problem->apply_vol_ifunction) { 292a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->apply_vol_ifunction, 293a515125bSLeila Ghaffari problem->apply_vol_ifunction_loc, &ceed_data->qf_ifunction_vol); 294a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "q", num_comp_q, 295a515125bSLeila Ghaffari CEED_EVAL_INTERP); 296a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "dq", num_comp_q*dim, 297a515125bSLeila Ghaffari CEED_EVAL_GRAD); 2983b1e209bSJeremy L Thompson CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "q dot", num_comp_q, 299a515125bSLeila Ghaffari CEED_EVAL_INTERP); 3003b1e209bSJeremy L Thompson CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "qdata", q_data_size_vol, 301a515125bSLeila Ghaffari CEED_EVAL_NONE); 302a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "x", num_comp_x, 303a515125bSLeila Ghaffari CEED_EVAL_INTERP); 304a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_ifunction_vol, "v", num_comp_q, 305a515125bSLeila Ghaffari CEED_EVAL_INTERP); 306a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_ifunction_vol, "dv", num_comp_q*dim, 307a515125bSLeila Ghaffari CEED_EVAL_GRAD); 308a515125bSLeila Ghaffari } 309a515125bSLeila Ghaffari 310a515125bSLeila Ghaffari // --------------------------------------------------------------------------- 311a515125bSLeila Ghaffari // Element coordinates 312a515125bSLeila Ghaffari // --------------------------------------------------------------------------- 313a515125bSLeila Ghaffari // -- Create CEED vector 314a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_x, &ceed_data->x_coord, 315a515125bSLeila Ghaffari NULL); 316a515125bSLeila Ghaffari 317a515125bSLeila Ghaffari // -- Copy PETSc vector in CEED vector 318a515125bSLeila Ghaffari Vec X_loc; 319a515125bSLeila Ghaffari const PetscScalar *X_loc_array; 320a515125bSLeila Ghaffari ierr = DMGetCoordinatesLocal(dm, &X_loc); CHKERRQ(ierr); 32105a512bdSLeila Ghaffari ierr = VecScale(X_loc, problem->dm_scale); CHKERRQ(ierr); 322a515125bSLeila Ghaffari ierr = VecGetArrayRead(X_loc, &X_loc_array); CHKERRQ(ierr); 323a515125bSLeila Ghaffari CeedVectorSetArray(ceed_data->x_coord, CEED_MEM_HOST, CEED_COPY_VALUES, 324a515125bSLeila Ghaffari (PetscScalar *)X_loc_array); 325a515125bSLeila Ghaffari ierr = VecRestoreArrayRead(X_loc, &X_loc_array); CHKERRQ(ierr); 326a515125bSLeila Ghaffari 327a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 328a515125bSLeila Ghaffari // CEED vectors 329a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 330a515125bSLeila Ghaffari // -- Create CEED vector for geometric data 331a515125bSLeila Ghaffari CeedInt num_qpts_vol; 332a515125bSLeila Ghaffari PetscInt loc_num_elem_vol; 333a515125bSLeila Ghaffari CeedBasisGetNumQuadraturePoints(ceed_data->basis_q, &num_qpts_vol); 334a515125bSLeila Ghaffari CeedElemRestrictionGetNumElements(ceed_data->elem_restr_q, &loc_num_elem_vol); 335a515125bSLeila Ghaffari CeedVectorCreate(ceed, q_data_size_vol*loc_num_elem_vol*num_qpts_vol, 336a515125bSLeila Ghaffari &ceed_data->q_data); 337a515125bSLeila Ghaffari 338a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 339a515125bSLeila Ghaffari // CEED Operators 340a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 341a515125bSLeila Ghaffari // -- Create CEED operator for quadrature data 342a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_setup_vol, NULL, NULL, 343a515125bSLeila Ghaffari &ceed_data->op_setup_vol); 344a515125bSLeila Ghaffari CeedOperatorSetField(ceed_data->op_setup_vol, "dx", ceed_data->elem_restr_x, 345a515125bSLeila Ghaffari ceed_data->basis_x, CEED_VECTOR_ACTIVE); 346a515125bSLeila Ghaffari CeedOperatorSetField(ceed_data->op_setup_vol, "weight", 347139613f2SLeila Ghaffari CEED_ELEMRESTRICTION_NONE, ceed_data->basis_x, CEED_VECTOR_NONE); 3483b1e209bSJeremy L Thompson CeedOperatorSetField(ceed_data->op_setup_vol, "qdata", 349139613f2SLeila Ghaffari ceed_data->elem_restr_qd_i, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 350a515125bSLeila Ghaffari 351a515125bSLeila Ghaffari // -- Create CEED operator for ICs 352a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_ics, NULL, NULL, &ceed_data->op_ics); 353a515125bSLeila Ghaffari CeedOperatorSetField(ceed_data->op_ics, "x", ceed_data->elem_restr_x, 354a515125bSLeila Ghaffari ceed_data->basis_xc, CEED_VECTOR_ACTIVE); 355a515125bSLeila Ghaffari CeedOperatorSetField(ceed_data->op_ics, "q0", ceed_data->elem_restr_q, 356a515125bSLeila Ghaffari CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 357a515125bSLeila Ghaffari 358a515125bSLeila Ghaffari // Create CEED operator for RHS 359a515125bSLeila Ghaffari if (ceed_data->qf_rhs_vol) { 360a515125bSLeila Ghaffari CeedOperator op; 361a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_rhs_vol, NULL, NULL, &op); 362a515125bSLeila Ghaffari CeedOperatorSetField(op, "q", ceed_data->elem_restr_q, ceed_data->basis_q, 363a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 364a515125bSLeila Ghaffari CeedOperatorSetField(op, "dq", ceed_data->elem_restr_q, ceed_data->basis_q, 365a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 3663b1e209bSJeremy L Thompson CeedOperatorSetField(op, "qdata", ceed_data->elem_restr_qd_i, 367139613f2SLeila Ghaffari CEED_BASIS_COLLOCATED, ceed_data->q_data); 368a515125bSLeila Ghaffari CeedOperatorSetField(op, "x", ceed_data->elem_restr_x, ceed_data->basis_x, 369a515125bSLeila Ghaffari ceed_data->x_coord); 370a515125bSLeila Ghaffari CeedOperatorSetField(op, "v", ceed_data->elem_restr_q, ceed_data->basis_q, 371a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 372a515125bSLeila Ghaffari CeedOperatorSetField(op, "dv", ceed_data->elem_restr_q, ceed_data->basis_q, 373a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 374a515125bSLeila Ghaffari user->op_rhs_vol = op; 375a515125bSLeila Ghaffari } 376a515125bSLeila Ghaffari 377a515125bSLeila Ghaffari // -- CEED operator for IFunction 378a515125bSLeila Ghaffari if (ceed_data->qf_ifunction_vol) { 379a515125bSLeila Ghaffari CeedOperator op; 380a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_ifunction_vol, NULL, NULL, &op); 381a515125bSLeila Ghaffari CeedOperatorSetField(op, "q", ceed_data->elem_restr_q, ceed_data->basis_q, 382a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 383a515125bSLeila Ghaffari CeedOperatorSetField(op, "dq", ceed_data->elem_restr_q, ceed_data->basis_q, 384a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 3853b1e209bSJeremy L Thompson CeedOperatorSetField(op, "q dot", ceed_data->elem_restr_q, ceed_data->basis_q, 386a515125bSLeila Ghaffari user->q_dot_ceed); 3873b1e209bSJeremy L Thompson CeedOperatorSetField(op, "qdata", ceed_data->elem_restr_qd_i, 388139613f2SLeila Ghaffari CEED_BASIS_COLLOCATED, ceed_data->q_data); 389a515125bSLeila Ghaffari CeedOperatorSetField(op, "x", ceed_data->elem_restr_x, ceed_data->basis_x, 390a515125bSLeila Ghaffari ceed_data->x_coord); 391a515125bSLeila Ghaffari CeedOperatorSetField(op, "v", ceed_data->elem_restr_q, ceed_data->basis_q, 392a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 393a515125bSLeila Ghaffari CeedOperatorSetField(op, "dv", ceed_data->elem_restr_q, ceed_data->basis_q, 394a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 395a515125bSLeila Ghaffari user->op_ifunction_vol = op; 396a515125bSLeila Ghaffari } 397a515125bSLeila Ghaffari 398a515125bSLeila Ghaffari // ***************************************************************************** 399a515125bSLeila Ghaffari // Set up CEED objects for the exterior domain (surface) 400a515125bSLeila Ghaffari // ***************************************************************************** 401a515125bSLeila Ghaffari CeedInt height = 1, 402a515125bSLeila Ghaffari dim_sur = dim - height, 403a515125bSLeila Ghaffari P_sur = app_ctx->degree + 1, 404a515125bSLeila Ghaffari Q_sur = P_sur + app_ctx->q_extra; 405a515125bSLeila Ghaffari const CeedInt q_data_size_sur = problem->q_data_size_sur; 406a515125bSLeila Ghaffari 407a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 408a515125bSLeila Ghaffari // CEED Bases 409a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 410a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim_sur, num_comp_q, P_sur, Q_sur, 411a515125bSLeila Ghaffari CEED_GAUSS, &ceed_data->basis_q_sur); 412a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim_sur, num_comp_x, 2, Q_sur, CEED_GAUSS, 413a515125bSLeila Ghaffari &ceed_data->basis_x_sur); 414a515125bSLeila Ghaffari 415a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 416a515125bSLeila Ghaffari // CEED QFunctions 417a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 418a515125bSLeila Ghaffari // -- Create QFunction for quadrature data 419a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->setup_sur, problem->setup_sur_loc, 420a515125bSLeila Ghaffari &ceed_data->qf_setup_sur); 421a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_setup_sur, "dx", num_comp_x*dim_sur, 422a515125bSLeila Ghaffari CEED_EVAL_GRAD); 423a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_setup_sur, "weight", 1, CEED_EVAL_WEIGHT); 4243b1e209bSJeremy L Thompson CeedQFunctionAddOutput(ceed_data->qf_setup_sur, "surface qdata", 425002797a3SLeila Ghaffari q_data_size_sur, CEED_EVAL_NONE); 426a515125bSLeila Ghaffari 427002797a3SLeila Ghaffari // -- Creat QFunction for inflow boundaries 428002797a3SLeila Ghaffari if (problem->apply_inflow) { 429002797a3SLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->apply_inflow, 430002797a3SLeila Ghaffari problem->apply_inflow_loc, &ceed_data->qf_apply_inflow); 431002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_inflow, "q", num_comp_q, 432a515125bSLeila Ghaffari CEED_EVAL_INTERP); 433002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_inflow, "surface qdata", 434002797a3SLeila Ghaffari q_data_size_sur, CEED_EVAL_NONE); 435002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_inflow, "x", num_comp_x, 436a515125bSLeila Ghaffari CEED_EVAL_INTERP); 437002797a3SLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_apply_inflow, "v", num_comp_q, 438002797a3SLeila Ghaffari CEED_EVAL_INTERP); 439002797a3SLeila Ghaffari } 440002797a3SLeila Ghaffari 441002797a3SLeila Ghaffari // -- Creat QFunction for outflow boundaries 442002797a3SLeila Ghaffari if (problem->apply_outflow) { 443002797a3SLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->apply_outflow, 444002797a3SLeila Ghaffari problem->apply_outflow_loc, &ceed_data->qf_apply_outflow); 445002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_outflow, "q", num_comp_q, 446002797a3SLeila Ghaffari CEED_EVAL_INTERP); 447002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_outflow, "surface qdata", 448002797a3SLeila Ghaffari q_data_size_sur, CEED_EVAL_NONE); 449002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_outflow, "x", num_comp_x, 450002797a3SLeila Ghaffari CEED_EVAL_INTERP); 451002797a3SLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_apply_outflow, "v", num_comp_q, 452a515125bSLeila Ghaffari CEED_EVAL_INTERP); 453a515125bSLeila Ghaffari } 454a515125bSLeila Ghaffari 455a515125bSLeila Ghaffari // ***************************************************************************** 456a515125bSLeila Ghaffari // CEED Operator Apply 457a515125bSLeila Ghaffari // ***************************************************************************** 458a515125bSLeila Ghaffari // -- Apply CEED Operator for the geometric data 459a515125bSLeila Ghaffari CeedOperatorApply(ceed_data->op_setup_vol, ceed_data->x_coord, 460a515125bSLeila Ghaffari ceed_data->q_data, CEED_REQUEST_IMMEDIATE); 461a515125bSLeila Ghaffari 46292ada588SJames Wright // -- Set up context for QFunctions 46392ada588SJames Wright ierr = problem->setup_ctx(ceed, ceed_data, app_ctx, setup_ctx, user->phys); 46492ada588SJames Wright CHKERRQ(ierr); 46592ada588SJames Wright 466a515125bSLeila Ghaffari // -- Create and apply CEED Composite Operator for the entire domain 467a515125bSLeila Ghaffari if (!user->phys->implicit) { // RHS 468a515125bSLeila Ghaffari ierr = CreateOperatorForDomain(ceed, dm, bc, ceed_data, user->phys, 469a515125bSLeila Ghaffari user->op_rhs_vol, height, P_sur, Q_sur, 470a515125bSLeila Ghaffari q_data_size_sur, &user->op_rhs); CHKERRQ(ierr); 471a515125bSLeila Ghaffari } else { // IFunction 472a515125bSLeila Ghaffari ierr = CreateOperatorForDomain(ceed, dm, bc, ceed_data, user->phys, 473a515125bSLeila Ghaffari user->op_ifunction_vol, height, P_sur, Q_sur, 474a515125bSLeila Ghaffari q_data_size_sur, &user->op_ifunction); CHKERRQ(ierr); 475a515125bSLeila Ghaffari } 476a515125bSLeila Ghaffari 477a515125bSLeila Ghaffari PetscFunctionReturn(0); 478a515125bSLeila Ghaffari } 479