1ae2b091fSJames Wright // SPDX-FileCopyrightText: Copyright (c) 2017-2024, HONEE contributors. 2ae2b091fSJames Wright // SPDX-License-Identifier: Apache-2.0 OR BSD-2-Clause 3149fb536SJames Wright #pragma once 4149fb536SJames Wright 5149fb536SJames Wright #include <ceed.h> 6149fb536SJames Wright #include <bc_definition.h> 793ca29b6SJames Wright #include <honee-file.h> 8149fb536SJames Wright #include <log_events.h> 9149fb536SJames Wright #include <mat-ceed.h> 10149fb536SJames Wright #include <petsc-ceed-utils.h> 11149fb536SJames Wright #include <petscts.h> 12149fb536SJames Wright #include <stdbool.h> 13149fb536SJames Wright 14149fb536SJames Wright #include <petsc_ops.h> 15149fb536SJames Wright #include "../qfunctions/newtonian_types.h" 16149fb536SJames Wright 17149fb536SJames Wright #if PETSC_VERSION_LT(3, 21, 0) 18149fb536SJames Wright #error "PETSc v3.21 or later is required" 19149fb536SJames Wright #endif 20149fb536SJames Wright 21149fb536SJames Wright // ----------------------------------------------------------------------------- 22149fb536SJames Wright // Enums 23149fb536SJames Wright // ----------------------------------------------------------------------------- 24149fb536SJames Wright 25149fb536SJames Wright // Euler - test cases 26149fb536SJames Wright typedef enum { 27149fb536SJames Wright EULER_TEST_ISENTROPIC_VORTEX = 0, 28149fb536SJames Wright EULER_TEST_1 = 1, 29149fb536SJames Wright EULER_TEST_2 = 2, 30149fb536SJames Wright EULER_TEST_3 = 3, 31149fb536SJames Wright EULER_TEST_4 = 4, 32149fb536SJames Wright EULER_TEST_5 = 5, 33149fb536SJames Wright } EulerTestType; 34149fb536SJames Wright static const char *const EulerTestTypes[] = {"ISENTROPIC_VORTEX", "1", "2", "3", "4", "5", "EulerTestType", "EULER_TEST_", NULL}; 35149fb536SJames Wright 36149fb536SJames Wright // Advection - Wind types 37149fb536SJames Wright static const char *const WindTypes[] = {"ROTATION", "TRANSLATION", "WindType", "WIND_", NULL}; 38149fb536SJames Wright 39149fb536SJames Wright // Advection - Initial Condition Types 40149fb536SJames Wright static const char *const AdvectionICTypes[] = {"SPHERE", "CYLINDER", "COSINE_HILL", "SKEW", "AdvectionICType", "ADVECTIONIC_", NULL}; 41149fb536SJames Wright 42149fb536SJames Wright // Advection - Bubble Continuity Types 43149fb536SJames Wright static const char *const BubbleContinuityTypes[] = {"SMOOTH", "BACK_SHARP", "THICK", "COSINE", "BubbleContinuityType", "BUBBLE_CONTINUITY_", NULL}; 44149fb536SJames Wright 45149fb536SJames Wright // Stabilization methods 46149fb536SJames Wright static const char *const StabilizationTypes[] = {"NONE", "SU", "SUPG", "StabilizationType", "STAB_", NULL}; 47149fb536SJames Wright 48149fb536SJames Wright // Stabilization tau constants 49149fb536SJames Wright static const char *const StabilizationTauTypes[] = {"CTAU", "ADVDIFF_SHAKIB", "ADVDIFF_SHAKIB_P", "StabilizationTauType", "STAB_TAU_", NULL}; 50149fb536SJames Wright 51149fb536SJames Wright // Test mode type 52149fb536SJames Wright typedef enum { 53149fb536SJames Wright TESTTYPE_NONE = 0, 54149fb536SJames Wright TESTTYPE_SOLVER = 1, 55149fb536SJames Wright TESTTYPE_TURB_SPANSTATS = 2, 56149fb536SJames Wright TESTTYPE_DIFF_FILTER = 3, 57149fb536SJames Wright } TestType; 58149fb536SJames Wright static const char *const TestTypes[] = {"NONE", "SOLVER", "TURB_SPANSTATS", "DIFF_FILTER", "TestType", "TESTTYPE_", NULL}; 59149fb536SJames Wright 60149fb536SJames Wright // Subgrid-Stress mode type 61149fb536SJames Wright typedef enum { 62149fb536SJames Wright SGS_MODEL_NONE = 0, 63149fb536SJames Wright SGS_MODEL_DATA_DRIVEN = 1, 64149fb536SJames Wright } SGSModelType; 65149fb536SJames Wright static const char *const SGSModelTypes[] = {"NONE", "DATA_DRIVEN", "SGSModelType", "SGS_MODEL_", NULL}; 66149fb536SJames Wright 67149fb536SJames Wright // Subgrid-Stress mode type 68149fb536SJames Wright typedef enum { 69149fb536SJames Wright SGS_MODEL_DD_FUSED = 0, 70149fb536SJames Wright SGS_MODEL_DD_SEQENTIAL_CEED = 1, 71149fb536SJames Wright SGS_MODEL_DD_SEQENTIAL_TORCH = 2, 72149fb536SJames Wright } SGSModelDDImplementation; 73149fb536SJames Wright static const char *const SGSModelDDImplementations[] = {"FUSED", "SEQUENTIAL_CEED", "SEQUENTIAL_TORCH", "SGSModelDDImplementation", "SGS_MODEL_DD_", 74149fb536SJames Wright NULL}; 75149fb536SJames Wright 76149fb536SJames Wright // Mesh transformation type 77149fb536SJames Wright typedef enum { 78149fb536SJames Wright MESH_TRANSFORM_NONE = 0, 79149fb536SJames Wright MESH_TRANSFORM_PLATEMESH = 1, 80149fb536SJames Wright } MeshTransformType; 81149fb536SJames Wright static const char *const MeshTransformTypes[] = {"NONE", "PLATEMESH", "MeshTransformType", "MESH_TRANSFORM_", NULL}; 82149fb536SJames Wright 83149fb536SJames Wright static const char *const DifferentialFilterDampingFunctions[] = { 84149fb536SJames Wright "NONE", "VAN_DRIEST", "MMS", "DifferentialFilterDampingFunction", "DIFF_FILTER_DAMP_", NULL}; 85149fb536SJames Wright 86149fb536SJames Wright // ----------------------------------------------------------------------------- 87149fb536SJames Wright // Structs 88149fb536SJames Wright // ----------------------------------------------------------------------------- 89149fb536SJames Wright // Structs declarations 90149fb536SJames Wright typedef struct AppCtx_private *AppCtx; 91149fb536SJames Wright typedef struct CeedData_private *CeedData; 92149fb536SJames Wright typedef struct User_private *User; 93149fb536SJames Wright typedef struct Units_private *Units; 94149fb536SJames Wright typedef struct SimpleBC_private *SimpleBC; 95149fb536SJames Wright typedef struct Physics_private *Physics; 96149fb536SJames Wright typedef struct ProblemData_private *ProblemData; 97149fb536SJames Wright 98149fb536SJames Wright // Application context from user command line options 99149fb536SJames Wright struct AppCtx_private { 100149fb536SJames Wright // libCEED arguments 101149fb536SJames Wright char ceed_resource[PETSC_MAX_PATH_LEN]; // libCEED backend 102149fb536SJames Wright PetscInt degree; 103149fb536SJames Wright PetscInt q_extra; 104149fb536SJames Wright // Solver arguments 105149fb536SJames Wright MatType amat_type; 106149fb536SJames Wright // Post-processing arguments 107149fb536SJames Wright PetscInt checkpoint_interval; 108149fb536SJames Wright PetscInt viz_refine; 109149fb536SJames Wright PetscInt cont_steps; 110149fb536SJames Wright PetscReal cont_time; 111149fb536SJames Wright char cont_file[PETSC_MAX_PATH_LEN]; 112149fb536SJames Wright char cont_time_file[PETSC_MAX_PATH_LEN]; 113149fb536SJames Wright char output_dir[PETSC_MAX_PATH_LEN]; 114149fb536SJames Wright PetscBool add_stepnum2bin; 115149fb536SJames Wright PetscBool checkpoint_vtk; 116149fb536SJames Wright // Problem type arguments 117149fb536SJames Wright PetscFunctionList problems; 118149fb536SJames Wright char problem_name[PETSC_MAX_PATH_LEN]; 119149fb536SJames Wright // Test mode arguments 120149fb536SJames Wright TestType test_type; 121149fb536SJames Wright PetscScalar test_tol; 122149fb536SJames Wright char test_file_path[PETSC_MAX_PATH_LEN]; 123149fb536SJames Wright // Turbulent spanwise statistics 124149fb536SJames Wright PetscBool turb_spanstats_enable; 125149fb536SJames Wright PetscInt turb_spanstats_collect_interval; 126149fb536SJames Wright PetscInt turb_spanstats_viewer_interval; 127149fb536SJames Wright PetscViewer turb_spanstats_viewer; 128149fb536SJames Wright PetscViewerFormat turb_spanstats_viewer_format; 129149fb536SJames Wright // Wall forces 130149fb536SJames Wright struct { 131149fb536SJames Wright PetscInt num_wall; 132149fb536SJames Wright PetscInt *walls; 133149fb536SJames Wright PetscViewer viewer; 134149fb536SJames Wright PetscViewerFormat viewer_format; 135149fb536SJames Wright PetscBool header_written; 136149fb536SJames Wright } wall_forces; 137149fb536SJames Wright // Subgrid Stress Model 138149fb536SJames Wright SGSModelType sgs_model_type; 139149fb536SJames Wright PetscBool sgs_train_enable; 140149fb536SJames Wright // Differential Filtering 141149fb536SJames Wright PetscBool diff_filter_monitor; 142149fb536SJames Wright MeshTransformType mesh_transform_type; 143149fb536SJames Wright }; 144149fb536SJames Wright 145149fb536SJames Wright // libCEED data struct 146149fb536SJames Wright struct CeedData_private { 147*be29160dSJames Wright CeedVector x_coord; 148149fb536SJames Wright CeedBasis basis_x, basis_q; 149*be29160dSJames Wright CeedElemRestriction elem_restr_x, elem_restr_q; 150149fb536SJames Wright OperatorApplyContext op_ics_ctx; 151149fb536SJames Wright }; 152149fb536SJames Wright 153149fb536SJames Wright typedef struct { 154149fb536SJames Wright DM dm; 155149fb536SJames Wright PetscSF sf; // For communicating child data to parents 156149fb536SJames Wright OperatorApplyContext op_stats_collect_ctx, op_proj_rhs_ctx; 157149fb536SJames Wright PetscInt num_comp_stats; 158149fb536SJames Wright Vec Child_Stats_loc, Parent_Stats_loc; 159149fb536SJames Wright KSP ksp; // For the L^2 projection solve 160149fb536SJames Wright CeedScalar span_width; // spanwise width of the child domain 161149fb536SJames Wright PetscBool do_mms_test; 162149fb536SJames Wright OperatorApplyContext mms_error_ctx; 163149fb536SJames Wright CeedContextFieldLabel solution_time_label, previous_time_label; 164149fb536SJames Wright } SpanStatsData; 165149fb536SJames Wright 166149fb536SJames Wright typedef struct { 167149fb536SJames Wright DM dm; 168149fb536SJames Wright PetscInt num_comp; 169149fb536SJames Wright OperatorApplyContext l2_rhs_ctx; 170149fb536SJames Wright KSP ksp; 171149fb536SJames Wright } *NodalProjectionData; 172149fb536SJames Wright 173149fb536SJames Wright typedef PetscErrorCode (*SgsDDNodalStressEval)(User user, Vec Q_loc, Vec VelocityGradient, Vec SGSNodal_loc); 174149fb536SJames Wright typedef PetscErrorCode (*SgsDDNodalStressInference)(Vec DD_Inputs_loc, Vec DD_Outputs_loc, void *ctx); 175149fb536SJames Wright typedef struct { 176149fb536SJames Wright DM dm_sgs, dm_dd_inputs, dm_dd_outputs; 177149fb536SJames Wright PetscInt num_comp_sgs, num_comp_inputs, num_comp_outputs; 178149fb536SJames Wright OperatorApplyContext op_nodal_evaluation_ctx, op_nodal_dd_inputs_ctx, op_nodal_dd_outputs_ctx, op_sgs_apply_ctx; 179149fb536SJames Wright CeedVector sgs_nodal_ceed, grad_velo_ceed; 180149fb536SJames Wright SgsDDNodalStressEval sgs_nodal_eval; 181149fb536SJames Wright SgsDDNodalStressInference sgs_nodal_inference; 182149fb536SJames Wright void *sgs_nodal_inference_ctx; 183149fb536SJames Wright PetscErrorCode (*sgs_nodal_inference_ctx_destroy)(void *ctx); 184149fb536SJames Wright } *SgsDDData; 185149fb536SJames Wright 186149fb536SJames Wright typedef struct { 187149fb536SJames Wright DM dm_dd_training; 188149fb536SJames Wright PetscInt num_comp_dd_inputs, write_data_interval, num_filter_widths; 189149fb536SJames Wright PetscScalar filter_widths[16]; 190149fb536SJames Wright OperatorApplyContext op_training_data_calc_ctx; 191149fb536SJames Wright NodalProjectionData filtered_grad_velo_proj; 192149fb536SJames Wright size_t training_data_array_dims[2]; 193149fb536SJames Wright PetscBool overwrite_training_data; 194149fb536SJames Wright } *SGS_DD_TrainingData; 195149fb536SJames Wright 196149fb536SJames Wright typedef struct { 197149fb536SJames Wright DM dm_filter; 198149fb536SJames Wright PetscInt num_filtered_fields; 199149fb536SJames Wright CeedInt *num_field_components; 200149fb536SJames Wright PetscInt field_prim_state, field_velo_prod; 201149fb536SJames Wright OperatorApplyContext op_rhs_ctx; 202149fb536SJames Wright KSP ksp; 203149fb536SJames Wright PetscObjectState X_loc_state; 204149fb536SJames Wright PetscBool do_mms_test; 205149fb536SJames Wright CeedContextFieldLabel filter_width_scaling_label; 206149fb536SJames Wright } *DiffFilterData; 207149fb536SJames Wright 208149fb536SJames Wright typedef struct { 209149fb536SJames Wright void *client; 210149fb536SJames Wright char rank_id_name[16]; 211149fb536SJames Wright PetscInt collocated_database_num_ranks; 212149fb536SJames Wright } *SmartSimData; 213149fb536SJames Wright 214149fb536SJames Wright // PETSc user data 215149fb536SJames Wright struct User_private { 216149fb536SJames Wright MPI_Comm comm; 217149fb536SJames Wright DM dm; 218149fb536SJames Wright DM dm_viz; 219149fb536SJames Wright Mat interp_viz; 220149fb536SJames Wright Ceed ceed; 221149fb536SJames Wright Units units; 222149fb536SJames Wright Vec Q_loc, Q_dot_loc; 223149fb536SJames Wright Physics phys; 224149fb536SJames Wright AppCtx app_ctx; 225149fb536SJames Wright CeedVector q_ceed, q_dot_ceed, g_ceed, x_ceed; 226149fb536SJames Wright CeedOperator op_ifunction; 227149fb536SJames Wright Mat mat_ijacobian; 228149fb536SJames Wright KSP mass_ksp; 229149fb536SJames Wright OperatorApplyContext op_rhs_ctx, op_strong_bc_ctx; 230149fb536SJames Wright CeedScalar time_bc_set; 231149fb536SJames Wright SpanStatsData spanstats; 232149fb536SJames Wright NodalProjectionData grad_velo_proj; 233149fb536SJames Wright SgsDDData sgs_dd_data; 234149fb536SJames Wright DiffFilterData diff_filter; 235149fb536SJames Wright SmartSimData smartsim; 236149fb536SJames Wright SGS_DD_TrainingData sgs_dd_train; 237149fb536SJames Wright }; 238149fb536SJames Wright 239149fb536SJames Wright // Units 240149fb536SJames Wright struct Units_private { 241149fb536SJames Wright // fundamental units 242149fb536SJames Wright PetscScalar meter; 243149fb536SJames Wright PetscScalar kilogram; 244149fb536SJames Wright PetscScalar second; 245149fb536SJames Wright PetscScalar Kelvin; 246149fb536SJames Wright // derived units 247149fb536SJames Wright PetscScalar Pascal; 248149fb536SJames Wright PetscScalar J_per_kg_K; 249149fb536SJames Wright PetscScalar m_per_squared_s; 250149fb536SJames Wright PetscScalar W_per_m_K; 251149fb536SJames Wright PetscScalar Joule; 252149fb536SJames Wright }; 253149fb536SJames Wright 254149fb536SJames Wright // Boundary conditions 255149fb536SJames Wright struct SimpleBC_private { 256149fb536SJames Wright PetscInt num_inflow, num_outflow, num_freestream, num_slip; 257149fb536SJames Wright PetscInt inflows[16], outflows[16], freestreams[16], slips[16]; 258149fb536SJames Wright }; 259149fb536SJames Wright 260149fb536SJames Wright // Struct that contains all enums and structs used for the physics of all problems 261149fb536SJames Wright struct Physics_private { 262149fb536SJames Wright PetscBool implicit; 263149fb536SJames Wright StateVariable state_var; 264149fb536SJames Wright CeedContextFieldLabel solution_time_label; 265149fb536SJames Wright CeedContextFieldLabel stg_solution_time_label; 266149fb536SJames Wright CeedContextFieldLabel timestep_size_label; 267149fb536SJames Wright CeedContextFieldLabel ics_time_label; 268149fb536SJames Wright }; 269149fb536SJames Wright 270149fb536SJames Wright PetscErrorCode BoundaryConditionSetUp(User user, ProblemData problem, AppCtx app_ctx, SimpleBC bc); 271149fb536SJames Wright 272149fb536SJames Wright typedef struct { 273e07531f7SJames Wright CeedQFunctionUser qf_func_ptr; // !< QFunction function pointer 274e07531f7SJames Wright const char *qf_loc; // !< Absolute path to QFunction source file 275e07531f7SJames Wright CeedQFunctionContext qfctx; // !< QFunctionContext to attach to QFunction 276149fb536SJames Wright } ProblemQFunctionSpec; 277149fb536SJames Wright 278149fb536SJames Wright // Problem specific data 279149fb536SJames Wright struct ProblemData_private { 28028160fc2SJames Wright CeedInt jac_data_size_vol, jac_data_size_sur; 281149fb536SJames Wright ProblemQFunctionSpec ics, apply_vol_rhs, apply_vol_ifunction, apply_vol_ijacobian, apply_inflow, apply_outflow, apply_freestream, apply_slip, 282149fb536SJames Wright apply_inflow_jacobian, apply_outflow_jacobian, apply_freestream_jacobian, apply_slip_jacobian; 283149fb536SJames Wright bool compute_exact_solution_error; 28428160fc2SJames Wright PetscBool set_bc_from_ics, use_strong_bc_ceed; 285149fb536SJames Wright size_t num_bc_defs; 286149fb536SJames Wright BCDefinition *bc_defs; 287149fb536SJames Wright PetscErrorCode (*print_info)(User, ProblemData, AppCtx); 288149fb536SJames Wright PetscErrorCode (*create_mass_operator)(User, CeedOperator *); 289149fb536SJames Wright }; 290149fb536SJames Wright 291149fb536SJames Wright extern int FreeContextPetsc(void *); 292149fb536SJames Wright 293149fb536SJames Wright // ----------------------------------------------------------------------------- 294149fb536SJames Wright // Set up problems 295149fb536SJames Wright // ----------------------------------------------------------------------------- 296149fb536SJames Wright // Set up function for each problem 297149fb536SJames Wright extern PetscErrorCode NS_TAYLOR_GREEN(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 298149fb536SJames Wright extern PetscErrorCode NS_GAUSSIAN_WAVE(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 299149fb536SJames Wright extern PetscErrorCode NS_CHANNEL(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 300149fb536SJames Wright extern PetscErrorCode NS_BLASIUS(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 301149fb536SJames Wright extern PetscErrorCode NS_NEWTONIAN_IG(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 302149fb536SJames Wright extern PetscErrorCode NS_DENSITY_CURRENT(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 303149fb536SJames Wright extern PetscErrorCode NS_EULER_VORTEX(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 304149fb536SJames Wright extern PetscErrorCode NS_SHOCKTUBE(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 305149fb536SJames Wright extern PetscErrorCode NS_ADVECTION(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 306149fb536SJames Wright extern PetscErrorCode NS_ADVECTION2D(ProblemData problem, DM dm, void *ctx, SimpleBC bc); 307149fb536SJames Wright 308149fb536SJames Wright // Print function for each problem 309149fb536SJames Wright extern PetscErrorCode PRINT_NEWTONIAN(User user, ProblemData problem, AppCtx app_ctx); 310149fb536SJames Wright extern PetscErrorCode PRINT_EULER_VORTEX(User user, ProblemData problem, AppCtx app_ctx); 311149fb536SJames Wright extern PetscErrorCode PRINT_SHOCKTUBE(User user, ProblemData problem, AppCtx app_ctx); 312149fb536SJames Wright extern PetscErrorCode PRINT_ADVECTION(User user, ProblemData problem, AppCtx app_ctx); 313149fb536SJames Wright extern PetscErrorCode PRINT_ADVECTION2D(User user, ProblemData problem, AppCtx app_ctx); 314149fb536SJames Wright 315149fb536SJames Wright PetscErrorCode PrintRunInfo(User user, Physics phys_ctx, ProblemData problem, TS ts); 316149fb536SJames Wright 317149fb536SJames Wright // ----------------------------------------------------------------------------- 318149fb536SJames Wright // libCEED functions 319149fb536SJames Wright // ----------------------------------------------------------------------------- 320149fb536SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, PetscInt dm_field, 321149fb536SJames Wright CeedElemRestriction *restriction); 322149fb536SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCoordinateCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, 323149fb536SJames Wright CeedElemRestriction *restriction); 324149fb536SJames Wright PetscErrorCode DMPlexCeedElemRestrictionQDataCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, 325149fb536SJames Wright PetscInt q_data_size, CeedElemRestriction *restriction); 326149fb536SJames Wright PetscErrorCode DMPlexCeedElemRestrictionCollocatedCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, 327149fb536SJames Wright PetscInt q_data_size, CeedElemRestriction *restriction); 328149fb536SJames Wright 329149fb536SJames Wright PetscErrorCode CreateBasisFromPlex(Ceed ceed, DM dm, DMLabel domain_label, CeedInt label_value, CeedInt height, CeedInt dm_field, CeedBasis *basis); 33021ba7ba4SJames Wright PetscErrorCode DMPlexCeedBasisCellToFaceCoordinateCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt face, 33121ba7ba4SJames Wright CeedBasis *basis); 33221ba7ba4SJames Wright PetscErrorCode DMPlexCeedBasisCellToFaceCreate(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt face, PetscInt dm_field, 33321ba7ba4SJames Wright CeedBasis *basis); 3345f65e1a7SJames Wright PetscErrorCode DMPlexCreateFaceLabel(DM dm, PetscInt dm_face, char **face_label_name); 3355f65e1a7SJames Wright PetscErrorCode DMLabelCreateGlobalValueArray(DM dm, DMLabel label, PetscInt *num_values, PetscInt **value_array); 336149fb536SJames Wright 337149fb536SJames Wright PetscErrorCode SetupLibceed(Ceed ceed, CeedData ceed_data, DM dm, User user, AppCtx app_ctx, ProblemData problem, SimpleBC bc); 338149fb536SJames Wright 339149fb536SJames Wright PetscErrorCode QDataGet(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, CeedElemRestriction elem_restr_x, CeedBasis basis_x, 340149fb536SJames Wright CeedVector x_coord, CeedElemRestriction *elem_restr_qd, CeedVector *q_data, CeedInt *q_data_size); 341149fb536SJames Wright PetscErrorCode QDataGetNumComponents(DM dm, CeedInt *q_data_size); 342149fb536SJames Wright PetscErrorCode QDataBoundaryGet(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, CeedElemRestriction elem_restr_x, CeedBasis basis_x, 343149fb536SJames Wright CeedVector x_coord, CeedElemRestriction *elem_restr_qd, CeedVector *q_data, CeedInt *q_data_size); 344149fb536SJames Wright PetscErrorCode QDataBoundaryGetNumComponents(DM dm, CeedInt *q_data_size); 345e816a7e4SJames Wright PetscErrorCode QDataClearStoredData(); 3464cb09fddSJames Wright 347149fb536SJames Wright // ----------------------------------------------------------------------------- 348149fb536SJames Wright // Time-stepping functions 349149fb536SJames Wright // ----------------------------------------------------------------------------- 350149fb536SJames Wright PetscErrorCode RHS_NS(TS ts, PetscReal t, Vec Q, Vec G, void *user_data); 351149fb536SJames Wright PetscErrorCode IFunction_NS(TS ts, PetscReal t, Vec Q, Vec Q_dot, Vec G, void *user_data); 352149fb536SJames Wright PetscErrorCode TSMonitor_NS(TS ts, PetscInt step_no, PetscReal time, Vec Q, void *ctx); 353149fb536SJames Wright PetscErrorCode TSSolve_NS(DM dm, User user, AppCtx app_ctx, Physics phys, ProblemData problem, Vec *Q, PetscScalar *f_time, TS *ts); 354149fb536SJames Wright PetscErrorCode UpdateBoundaryValues(User user, Vec Q_loc, PetscReal t); 355149fb536SJames Wright 356149fb536SJames Wright // ----------------------------------------------------------------------------- 357149fb536SJames Wright // Setup DM 358149fb536SJames Wright // ----------------------------------------------------------------------------- 359149fb536SJames Wright PetscErrorCode CreateDM(MPI_Comm comm, ProblemData problem, MatType, VecType, DM *dm); 360149fb536SJames Wright PetscErrorCode SetUpDM(DM dm, ProblemData problem, PetscInt degree, PetscInt q_extra, SimpleBC bc, Physics phys); 3614cb09fddSJames Wright PetscErrorCode VizRefineDM(DM dm, User user, ProblemData problem, SimpleBC bc, Physics phys); 3624cb09fddSJames Wright 363149fb536SJames Wright PetscErrorCode DMSetupByOrderBegin_FEM(PetscBool setup_faces, PetscBool setup_coords, PetscInt degree, PetscInt coord_order, PetscInt q_extra, 364149fb536SJames Wright PetscInt num_fields, const PetscInt *field_sizes, DM dm); 365149fb536SJames Wright PetscErrorCode DMSetupByOrderEnd_FEM(PetscBool setup_coords, DM dm); 366149fb536SJames Wright PetscErrorCode DMSetupByOrder_FEM(PetscBool setup_faces, PetscBool setup_coords, PetscInt degree, PetscInt coord_order, PetscInt q_extra, 367149fb536SJames Wright PetscInt num_fields, const PetscInt *field_sizes, DM dm); 368149fb536SJames Wright 369149fb536SJames Wright // ----------------------------------------------------------------------------- 370149fb536SJames Wright // Process command line options 371149fb536SJames Wright // ----------------------------------------------------------------------------- 372149fb536SJames Wright PetscErrorCode RegisterProblems_NS(AppCtx app_ctx); 373149fb536SJames Wright PetscErrorCode ProcessCommandLineOptions(MPI_Comm comm, AppCtx app_ctx, SimpleBC bc); 37459572072SJames Wright PetscErrorCode HoneeOptionsSetValueDefault(PetscOptions options, const char name[], const char value[]); 375149fb536SJames Wright 376149fb536SJames Wright // ----------------------------------------------------------------------------- 377149fb536SJames Wright // Miscellaneous utility functions 378149fb536SJames Wright // ----------------------------------------------------------------------------- 379149fb536SJames Wright PetscErrorCode GetInverseMultiplicity(Ceed ceed, DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, PetscInt dm_field, 380149fb536SJames Wright PetscBool get_global_multiplicity, CeedElemRestriction *elem_restr_inv_multiplicity, 381149fb536SJames Wright CeedVector *inv_multiplicity); 382149fb536SJames Wright PetscErrorCode ICs_FixMultiplicity(DM dm, CeedData ceed_data, User user, Vec Q_loc, Vec Q, CeedScalar time); 383149fb536SJames Wright 384149fb536SJames Wright PetscErrorCode DMPlexInsertBoundaryValues_FromICs(DM dm, PetscBool insert_essential, Vec Q_loc, PetscReal time, Vec face_geom_FVM, Vec cell_geom_FVM, 385149fb536SJames Wright Vec grad_FVM); 386149fb536SJames Wright 387149fb536SJames Wright PetscErrorCode RegressionTest(AppCtx app_ctx, Vec Q); 388149fb536SJames Wright PetscErrorCode PrintError(CeedData ceed_data, DM dm, User user, Vec Q, PetscScalar final_time); 389149fb536SJames Wright PetscErrorCode PostProcess(TS ts, CeedData ceed_data, DM dm, ProblemData problem, User user, Vec Q, PetscScalar final_time); 390149fb536SJames Wright PetscErrorCode SetBCsFromICs(DM dm, Vec Q, Vec Q_loc); 391149fb536SJames Wright PetscErrorCode CreateMassQFunction(Ceed ceed, CeedInt N, CeedInt q_data_size, CeedQFunction *qf); 392149fb536SJames Wright PetscErrorCode NodalProjectionDataDestroy(NodalProjectionData context); 393149fb536SJames Wright 394149fb536SJames Wright // ----------------------------------------------------------------------------- 395149fb536SJames Wright // Turbulence Statistics Collection Functions 396149fb536SJames Wright // ----------------------------------------------------------------------------- 397149fb536SJames Wright PetscErrorCode TurbulenceStatisticsSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData problem); 398149fb536SJames Wright PetscErrorCode TSMonitor_TurbulenceStatistics(TS ts, PetscInt steps, PetscReal solution_time, Vec Q, void *ctx); 399149fb536SJames Wright PetscErrorCode TurbulenceStatisticsDestroy(User user, CeedData ceed_data); 400149fb536SJames Wright 401149fb536SJames Wright // ----------------------------------------------------------------------------- 402149fb536SJames Wright // Data-Driven Subgrid Stress (DD-SGS) Modeling Functions 403149fb536SJames Wright // ----------------------------------------------------------------------------- 404149fb536SJames Wright PetscErrorCode SgsDDSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData problem); 405149fb536SJames Wright PetscErrorCode SgsDDDataDestroy(SgsDDData sgs_dd_data); 406149fb536SJames Wright PetscErrorCode SgsDDApplyIFunction(User user, const Vec Q_loc, Vec G_loc); 407149fb536SJames Wright PetscErrorCode VelocityGradientProjectionSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData problem, StateVariable state_var_input, 408149fb536SJames Wright CeedElemRestriction elem_restr_input, CeedBasis basis_input, NodalProjectionData *pgrad_velo_proj); 409149fb536SJames Wright PetscErrorCode VelocityGradientProjectionApply(NodalProjectionData grad_velo_proj, Vec Q_loc, Vec VelocityGradient); 410149fb536SJames Wright PetscErrorCode GridAnisotropyTensorProjectionSetupApply(Ceed ceed, User user, CeedData ceed_data, CeedElemRestriction *elem_restr_grid_aniso, 411149fb536SJames Wright CeedVector *grid_aniso_vector); 412149fb536SJames Wright PetscErrorCode GridAnisotropyTensorCalculateCollocatedVector(Ceed ceed, User user, CeedData ceed_data, CeedElemRestriction *elem_restr_grid_aniso, 413149fb536SJames Wright CeedVector *aniso_colloc_ceed, PetscInt *num_comp_aniso); 414149fb536SJames Wright 415149fb536SJames Wright // ----------------------------------------------------------------------------- 416149fb536SJames Wright // Boundary Condition Related Functions 417149fb536SJames Wright // ----------------------------------------------------------------------------- 418149fb536SJames Wright PetscErrorCode SetupStrongBC_Ceed(Ceed ceed, CeedData ceed_data, DM dm, User user, ProblemData problem, SimpleBC bc); 419149fb536SJames Wright PetscErrorCode FreestreamBCSetup(ProblemData problem, DM dm, void *ctx, NewtonianIdealGasContext newtonian_ig_ctx, const StatePrimitive *reference); 420149fb536SJames Wright PetscErrorCode OutflowBCSetup(ProblemData problem, DM dm, void *ctx, NewtonianIdealGasContext newtonian_ig_ctx, const StatePrimitive *reference); 421149fb536SJames Wright PetscErrorCode SlipBCSetup(ProblemData problem, DM dm, void *ctx, CeedQFunctionContext newtonian_ig_qfctx); 422149fb536SJames Wright 423149fb536SJames Wright // ----------------------------------------------------------------------------- 424149fb536SJames Wright // Differential Filtering Functions 425149fb536SJames Wright // ----------------------------------------------------------------------------- 426149fb536SJames Wright PetscErrorCode DifferentialFilterSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData problem); 427149fb536SJames Wright PetscErrorCode DifferentialFilterDataDestroy(DiffFilterData diff_filter); 428149fb536SJames Wright PetscErrorCode TSMonitor_DifferentialFilter(TS ts, PetscInt steps, PetscReal solution_time, Vec Q, void *ctx); 429149fb536SJames Wright PetscErrorCode DifferentialFilterApply(User user, const PetscReal solution_time, const Vec Q, Vec Filtered_Solution); 430149fb536SJames Wright PetscErrorCode DifferentialFilterMmsICSetup(ProblemData problem); 431149fb536SJames Wright 432149fb536SJames Wright // ----------------------------------------------------------------------------- 433149fb536SJames Wright // SGS Data-Driven Training via SmartSim 434149fb536SJames Wright // ----------------------------------------------------------------------------- 435149fb536SJames Wright PetscErrorCode SmartSimSetup(User user); 436149fb536SJames Wright PetscErrorCode SmartSimDataDestroy(SmartSimData smartsim); 437149fb536SJames Wright PetscErrorCode SGS_DD_TrainingSetup(Ceed ceed, User user, CeedData ceed_data, ProblemData problem); 438149fb536SJames Wright PetscErrorCode TSMonitor_SGS_DD_Training(TS ts, PetscInt step_num, PetscReal solution_time, Vec Q, void *ctx); 439149fb536SJames Wright PetscErrorCode TSPostStep_SGS_DD_Training(TS ts); 440149fb536SJames Wright PetscErrorCode SGS_DD_TrainingDataDestroy(SGS_DD_TrainingData sgs_dd_train); 441