xref: /honee/include/navierstokes.h (revision be29160d214582e8ad4e19f8d3d7b84b0b91fb22)
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