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 87139613f2SLeila Ghaffari if (phys->has_neumann) { 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 } 208*92ada588SJames Wright 209*92ada588SJames Wright // ----- Get Context Labels for Operator 210*92ada588SJames Wright CeedOperatorContextGetFieldLabel(*op_apply, "solution time", 211*92ada588SJames Wright &phys->solution_time_label); 212*92ada588SJames Wright 213a515125bSLeila Ghaffari PetscFunctionReturn(0); 214a515125bSLeila Ghaffari } 215a515125bSLeila Ghaffari 216a515125bSLeila Ghaffari PetscErrorCode SetupLibceed(Ceed ceed, CeedData ceed_data, DM dm, User user, 217*92ada588SJames Wright AppCtx app_ctx, ProblemData *problem, SimpleBC bc, SetupContext setup_ctx) { 218a515125bSLeila Ghaffari PetscErrorCode ierr; 219a515125bSLeila Ghaffari PetscFunctionBeginUser; 220a515125bSLeila Ghaffari 221a515125bSLeila Ghaffari // ***************************************************************************** 222a515125bSLeila Ghaffari // Set up CEED objects for the interior domain (volume) 223a515125bSLeila Ghaffari // ***************************************************************************** 224a515125bSLeila Ghaffari const PetscInt num_comp_q = 5; 225a515125bSLeila Ghaffari const CeedInt dim = problem->dim, 226a515125bSLeila Ghaffari num_comp_x = problem->dim, 227a515125bSLeila Ghaffari q_data_size_vol = problem->q_data_size_vol, 228a515125bSLeila Ghaffari P = app_ctx->degree + 1, 229a515125bSLeila Ghaffari Q = P + app_ctx->q_extra; 230a515125bSLeila Ghaffari 231a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 232a515125bSLeila Ghaffari // CEED Bases 233a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 234a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp_q, P, Q, CEED_GAUSS, 235a515125bSLeila Ghaffari &ceed_data->basis_q); 236a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp_x, 2, Q, CEED_GAUSS, 237a515125bSLeila Ghaffari &ceed_data->basis_x); 238a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim, num_comp_x, 2, P, 239a515125bSLeila Ghaffari CEED_GAUSS_LOBATTO, &ceed_data->basis_xc); 240a515125bSLeila Ghaffari 241a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 242a515125bSLeila Ghaffari // CEED Restrictions 243a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 244a515125bSLeila Ghaffari // -- Create restriction 2456b1ccf21SJeremy L Thompson ierr = GetRestrictionForDomain(ceed, dm, 0, 0, 0, Q, q_data_size_vol, 2466b1ccf21SJeremy L Thompson &ceed_data->elem_restr_q, &ceed_data->elem_restr_x, 247a515125bSLeila Ghaffari &ceed_data->elem_restr_qd_i); CHKERRQ(ierr); 248a515125bSLeila Ghaffari // -- Create E vectors 249a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &user->q_ceed, NULL); 250a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &user->q_dot_ceed, 251a515125bSLeila Ghaffari NULL); 252a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_q, &user->g_ceed, NULL); 253a515125bSLeila Ghaffari 254a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 255a515125bSLeila Ghaffari // CEED QFunctions 256a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 257a515125bSLeila Ghaffari // -- Create QFunction for quadrature data 258a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->setup_vol, problem->setup_vol_loc, 259a515125bSLeila Ghaffari &ceed_data->qf_setup_vol); 260a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_setup_vol, "dx", num_comp_x*dim, 261a515125bSLeila Ghaffari CEED_EVAL_GRAD); 262a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_setup_vol, "weight", 1, CEED_EVAL_WEIGHT); 2633b1e209bSJeremy L Thompson CeedQFunctionAddOutput(ceed_data->qf_setup_vol, "qdata", q_data_size_vol, 264a515125bSLeila Ghaffari CEED_EVAL_NONE); 265a515125bSLeila Ghaffari 266a515125bSLeila Ghaffari // -- Create QFunction for ICs 267a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->ics, problem->ics_loc, 268a515125bSLeila Ghaffari &ceed_data->qf_ics); 269a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_ics, "x", num_comp_x, CEED_EVAL_INTERP); 270a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_ics, "q0", num_comp_q, CEED_EVAL_NONE); 271a515125bSLeila Ghaffari 272a515125bSLeila Ghaffari // -- Create QFunction for RHS 273a515125bSLeila Ghaffari if (problem->apply_vol_rhs) { 274a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->apply_vol_rhs, 275a515125bSLeila Ghaffari problem->apply_vol_rhs_loc, &ceed_data->qf_rhs_vol); 276a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_rhs_vol, "q", num_comp_q, CEED_EVAL_INTERP); 277a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_rhs_vol, "dq", num_comp_q*dim, 278a515125bSLeila Ghaffari CEED_EVAL_GRAD); 2793b1e209bSJeremy L Thompson CeedQFunctionAddInput(ceed_data->qf_rhs_vol, "qdata", q_data_size_vol, 280a515125bSLeila Ghaffari CEED_EVAL_NONE); 281a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_rhs_vol, "x", num_comp_x, CEED_EVAL_INTERP); 282a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_rhs_vol, "v", num_comp_q, 283a515125bSLeila Ghaffari CEED_EVAL_INTERP); 284a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_rhs_vol, "dv", num_comp_q*dim, 285a515125bSLeila Ghaffari CEED_EVAL_GRAD); 286a515125bSLeila Ghaffari } 287a515125bSLeila Ghaffari 288a515125bSLeila Ghaffari // -- Create QFunction for IFunction 289a515125bSLeila Ghaffari if (problem->apply_vol_ifunction) { 290a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->apply_vol_ifunction, 291a515125bSLeila Ghaffari problem->apply_vol_ifunction_loc, &ceed_data->qf_ifunction_vol); 292a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "q", num_comp_q, 293a515125bSLeila Ghaffari CEED_EVAL_INTERP); 294a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "dq", num_comp_q*dim, 295a515125bSLeila Ghaffari CEED_EVAL_GRAD); 2963b1e209bSJeremy L Thompson CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "q dot", num_comp_q, 297a515125bSLeila Ghaffari CEED_EVAL_INTERP); 2983b1e209bSJeremy L Thompson CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "qdata", q_data_size_vol, 299a515125bSLeila Ghaffari CEED_EVAL_NONE); 300a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_ifunction_vol, "x", num_comp_x, 301a515125bSLeila Ghaffari CEED_EVAL_INTERP); 302a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_ifunction_vol, "v", num_comp_q, 303a515125bSLeila Ghaffari CEED_EVAL_INTERP); 304a515125bSLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_ifunction_vol, "dv", num_comp_q*dim, 305a515125bSLeila Ghaffari CEED_EVAL_GRAD); 306a515125bSLeila Ghaffari } 307a515125bSLeila Ghaffari 308a515125bSLeila Ghaffari // --------------------------------------------------------------------------- 309a515125bSLeila Ghaffari // Element coordinates 310a515125bSLeila Ghaffari // --------------------------------------------------------------------------- 311a515125bSLeila Ghaffari // -- Create CEED vector 312a515125bSLeila Ghaffari CeedElemRestrictionCreateVector(ceed_data->elem_restr_x, &ceed_data->x_coord, 313a515125bSLeila Ghaffari NULL); 314a515125bSLeila Ghaffari 315a515125bSLeila Ghaffari // -- Copy PETSc vector in CEED vector 316a515125bSLeila Ghaffari Vec X_loc; 317a515125bSLeila Ghaffari const PetscScalar *X_loc_array; 318a515125bSLeila Ghaffari ierr = DMGetCoordinatesLocal(dm, &X_loc); CHKERRQ(ierr); 31905a512bdSLeila Ghaffari ierr = VecScale(X_loc, problem->dm_scale); CHKERRQ(ierr); 320a515125bSLeila Ghaffari ierr = VecGetArrayRead(X_loc, &X_loc_array); CHKERRQ(ierr); 321a515125bSLeila Ghaffari CeedVectorSetArray(ceed_data->x_coord, CEED_MEM_HOST, CEED_COPY_VALUES, 322a515125bSLeila Ghaffari (PetscScalar *)X_loc_array); 323a515125bSLeila Ghaffari ierr = VecRestoreArrayRead(X_loc, &X_loc_array); CHKERRQ(ierr); 324a515125bSLeila Ghaffari 325a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 326a515125bSLeila Ghaffari // CEED vectors 327a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 328a515125bSLeila Ghaffari // -- Create CEED vector for geometric data 329a515125bSLeila Ghaffari CeedInt num_qpts_vol; 330a515125bSLeila Ghaffari PetscInt loc_num_elem_vol; 331a515125bSLeila Ghaffari CeedBasisGetNumQuadraturePoints(ceed_data->basis_q, &num_qpts_vol); 332a515125bSLeila Ghaffari CeedElemRestrictionGetNumElements(ceed_data->elem_restr_q, &loc_num_elem_vol); 333a515125bSLeila Ghaffari CeedVectorCreate(ceed, q_data_size_vol*loc_num_elem_vol*num_qpts_vol, 334a515125bSLeila Ghaffari &ceed_data->q_data); 335a515125bSLeila Ghaffari 336a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 337a515125bSLeila Ghaffari // CEED Operators 338a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 339a515125bSLeila Ghaffari // -- Create CEED operator for quadrature data 340a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_setup_vol, NULL, NULL, 341a515125bSLeila Ghaffari &ceed_data->op_setup_vol); 342a515125bSLeila Ghaffari CeedOperatorSetField(ceed_data->op_setup_vol, "dx", ceed_data->elem_restr_x, 343a515125bSLeila Ghaffari ceed_data->basis_x, CEED_VECTOR_ACTIVE); 344a515125bSLeila Ghaffari CeedOperatorSetField(ceed_data->op_setup_vol, "weight", 345139613f2SLeila Ghaffari CEED_ELEMRESTRICTION_NONE, ceed_data->basis_x, CEED_VECTOR_NONE); 3463b1e209bSJeremy L Thompson CeedOperatorSetField(ceed_data->op_setup_vol, "qdata", 347139613f2SLeila Ghaffari ceed_data->elem_restr_qd_i, CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 348a515125bSLeila Ghaffari 349a515125bSLeila Ghaffari // -- Create CEED operator for ICs 350a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_ics, NULL, NULL, &ceed_data->op_ics); 351a515125bSLeila Ghaffari CeedOperatorSetField(ceed_data->op_ics, "x", ceed_data->elem_restr_x, 352a515125bSLeila Ghaffari ceed_data->basis_xc, CEED_VECTOR_ACTIVE); 353a515125bSLeila Ghaffari CeedOperatorSetField(ceed_data->op_ics, "q0", ceed_data->elem_restr_q, 354a515125bSLeila Ghaffari CEED_BASIS_COLLOCATED, CEED_VECTOR_ACTIVE); 355a515125bSLeila Ghaffari 356a515125bSLeila Ghaffari // Create CEED operator for RHS 357a515125bSLeila Ghaffari if (ceed_data->qf_rhs_vol) { 358a515125bSLeila Ghaffari CeedOperator op; 359a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_rhs_vol, NULL, NULL, &op); 360a515125bSLeila Ghaffari CeedOperatorSetField(op, "q", ceed_data->elem_restr_q, ceed_data->basis_q, 361a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 362a515125bSLeila Ghaffari CeedOperatorSetField(op, "dq", ceed_data->elem_restr_q, ceed_data->basis_q, 363a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 3643b1e209bSJeremy L Thompson CeedOperatorSetField(op, "qdata", ceed_data->elem_restr_qd_i, 365139613f2SLeila Ghaffari CEED_BASIS_COLLOCATED, ceed_data->q_data); 366a515125bSLeila Ghaffari CeedOperatorSetField(op, "x", ceed_data->elem_restr_x, ceed_data->basis_x, 367a515125bSLeila Ghaffari ceed_data->x_coord); 368a515125bSLeila Ghaffari CeedOperatorSetField(op, "v", ceed_data->elem_restr_q, ceed_data->basis_q, 369a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 370a515125bSLeila Ghaffari CeedOperatorSetField(op, "dv", ceed_data->elem_restr_q, ceed_data->basis_q, 371a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 372a515125bSLeila Ghaffari user->op_rhs_vol = op; 373a515125bSLeila Ghaffari } 374a515125bSLeila Ghaffari 375a515125bSLeila Ghaffari // -- CEED operator for IFunction 376a515125bSLeila Ghaffari if (ceed_data->qf_ifunction_vol) { 377a515125bSLeila Ghaffari CeedOperator op; 378a515125bSLeila Ghaffari CeedOperatorCreate(ceed, ceed_data->qf_ifunction_vol, NULL, NULL, &op); 379a515125bSLeila Ghaffari CeedOperatorSetField(op, "q", ceed_data->elem_restr_q, ceed_data->basis_q, 380a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 381a515125bSLeila Ghaffari CeedOperatorSetField(op, "dq", ceed_data->elem_restr_q, ceed_data->basis_q, 382a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 3833b1e209bSJeremy L Thompson CeedOperatorSetField(op, "q dot", ceed_data->elem_restr_q, ceed_data->basis_q, 384a515125bSLeila Ghaffari user->q_dot_ceed); 3853b1e209bSJeremy L Thompson CeedOperatorSetField(op, "qdata", ceed_data->elem_restr_qd_i, 386139613f2SLeila Ghaffari CEED_BASIS_COLLOCATED, ceed_data->q_data); 387a515125bSLeila Ghaffari CeedOperatorSetField(op, "x", ceed_data->elem_restr_x, ceed_data->basis_x, 388a515125bSLeila Ghaffari ceed_data->x_coord); 389a515125bSLeila Ghaffari CeedOperatorSetField(op, "v", ceed_data->elem_restr_q, ceed_data->basis_q, 390a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 391a515125bSLeila Ghaffari CeedOperatorSetField(op, "dv", ceed_data->elem_restr_q, ceed_data->basis_q, 392a515125bSLeila Ghaffari CEED_VECTOR_ACTIVE); 393a515125bSLeila Ghaffari user->op_ifunction_vol = op; 394a515125bSLeila Ghaffari } 395a515125bSLeila Ghaffari 396a515125bSLeila Ghaffari // ***************************************************************************** 397a515125bSLeila Ghaffari // Set up CEED objects for the exterior domain (surface) 398a515125bSLeila Ghaffari // ***************************************************************************** 399a515125bSLeila Ghaffari CeedInt height = 1, 400a515125bSLeila Ghaffari dim_sur = dim - height, 401a515125bSLeila Ghaffari P_sur = app_ctx->degree + 1, 402a515125bSLeila Ghaffari Q_sur = P_sur + app_ctx->q_extra; 403a515125bSLeila Ghaffari const CeedInt q_data_size_sur = problem->q_data_size_sur; 404a515125bSLeila Ghaffari 405a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 406a515125bSLeila Ghaffari // CEED Bases 407a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 408a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim_sur, num_comp_q, P_sur, Q_sur, 409a515125bSLeila Ghaffari CEED_GAUSS, &ceed_data->basis_q_sur); 410a515125bSLeila Ghaffari CeedBasisCreateTensorH1Lagrange(ceed, dim_sur, num_comp_x, 2, Q_sur, CEED_GAUSS, 411a515125bSLeila Ghaffari &ceed_data->basis_x_sur); 412a515125bSLeila Ghaffari 413a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 414a515125bSLeila Ghaffari // CEED QFunctions 415a515125bSLeila Ghaffari // ----------------------------------------------------------------------------- 416a515125bSLeila Ghaffari // -- Create QFunction for quadrature data 417a515125bSLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->setup_sur, problem->setup_sur_loc, 418a515125bSLeila Ghaffari &ceed_data->qf_setup_sur); 419a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_setup_sur, "dx", num_comp_x*dim_sur, 420a515125bSLeila Ghaffari CEED_EVAL_GRAD); 421a515125bSLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_setup_sur, "weight", 1, CEED_EVAL_WEIGHT); 4223b1e209bSJeremy L Thompson CeedQFunctionAddOutput(ceed_data->qf_setup_sur, "surface qdata", 423002797a3SLeila Ghaffari q_data_size_sur, CEED_EVAL_NONE); 424a515125bSLeila Ghaffari 425002797a3SLeila Ghaffari // -- Creat QFunction for inflow boundaries 426002797a3SLeila Ghaffari if (problem->apply_inflow) { 427002797a3SLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->apply_inflow, 428002797a3SLeila Ghaffari problem->apply_inflow_loc, &ceed_data->qf_apply_inflow); 429002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_inflow, "q", num_comp_q, 430a515125bSLeila Ghaffari CEED_EVAL_INTERP); 431002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_inflow, "surface qdata", 432002797a3SLeila Ghaffari q_data_size_sur, CEED_EVAL_NONE); 433002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_inflow, "x", num_comp_x, 434a515125bSLeila Ghaffari CEED_EVAL_INTERP); 435002797a3SLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_apply_inflow, "v", num_comp_q, 436002797a3SLeila Ghaffari CEED_EVAL_INTERP); 437002797a3SLeila Ghaffari } 438002797a3SLeila Ghaffari 439002797a3SLeila Ghaffari // -- Creat QFunction for outflow boundaries 440002797a3SLeila Ghaffari if (problem->apply_outflow) { 441002797a3SLeila Ghaffari CeedQFunctionCreateInterior(ceed, 1, problem->apply_outflow, 442002797a3SLeila Ghaffari problem->apply_outflow_loc, &ceed_data->qf_apply_outflow); 443002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_outflow, "q", num_comp_q, 444002797a3SLeila Ghaffari CEED_EVAL_INTERP); 445002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_outflow, "surface qdata", 446002797a3SLeila Ghaffari q_data_size_sur, CEED_EVAL_NONE); 447002797a3SLeila Ghaffari CeedQFunctionAddInput(ceed_data->qf_apply_outflow, "x", num_comp_x, 448002797a3SLeila Ghaffari CEED_EVAL_INTERP); 449002797a3SLeila Ghaffari CeedQFunctionAddOutput(ceed_data->qf_apply_outflow, "v", num_comp_q, 450a515125bSLeila Ghaffari CEED_EVAL_INTERP); 451a515125bSLeila Ghaffari } 452a515125bSLeila Ghaffari 453a515125bSLeila Ghaffari // ***************************************************************************** 454a515125bSLeila Ghaffari // CEED Operator Apply 455a515125bSLeila Ghaffari // ***************************************************************************** 456a515125bSLeila Ghaffari // -- Apply CEED Operator for the geometric data 457a515125bSLeila Ghaffari CeedOperatorApply(ceed_data->op_setup_vol, ceed_data->x_coord, 458a515125bSLeila Ghaffari ceed_data->q_data, CEED_REQUEST_IMMEDIATE); 459a515125bSLeila Ghaffari 460*92ada588SJames Wright // -- Set up context for QFunctions 461*92ada588SJames Wright ierr = problem->setup_ctx(ceed, ceed_data, app_ctx, setup_ctx, user->phys); 462*92ada588SJames Wright CHKERRQ(ierr); 463*92ada588SJames Wright 464a515125bSLeila Ghaffari // -- Create and apply CEED Composite Operator for the entire domain 465a515125bSLeila Ghaffari if (!user->phys->implicit) { // RHS 466a515125bSLeila Ghaffari ierr = CreateOperatorForDomain(ceed, dm, bc, ceed_data, user->phys, 467a515125bSLeila Ghaffari user->op_rhs_vol, height, P_sur, Q_sur, 468a515125bSLeila Ghaffari q_data_size_sur, &user->op_rhs); CHKERRQ(ierr); 469a515125bSLeila Ghaffari } else { // IFunction 470a515125bSLeila Ghaffari ierr = CreateOperatorForDomain(ceed, dm, bc, ceed_data, user->phys, 471a515125bSLeila Ghaffari user->op_ifunction_vol, height, P_sur, Q_sur, 472a515125bSLeila Ghaffari q_data_size_sur, &user->op_ifunction); CHKERRQ(ierr); 473a515125bSLeila Ghaffari } 474a515125bSLeila Ghaffari 475a515125bSLeila Ghaffari PetscFunctionReturn(0); 476a515125bSLeila Ghaffari } 477