Imports
/-
Copyright (c) 2026 Florian Wiesner. All rights reserved.
Released under Apache 2.0 license as described in the file LICENSE.
Authors: Florian Wiesner
-/
module
public import Physlib.FluidDynamics.FluidFlow.Basic
public import Physlib.SpaceAndTime.Space.Derivatives.Grad
public import Physlib.SpaceAndTime.Time.DerivativesKinematic quantities for fluid flows
i. Overview
This module defines basic kinematic scalar quantities associated to FluidFlow.
ii. Key results
FluidFlow.materialDerivative : The material derivative along a fluid velocity field.
FluidFlow.specificKineticEnergy : The specific kinetic energy |u|^2 / 2.
iii. Table of contents
A. Flow-derived scalar quantities
iv. References
@[expose] public section