Struct DecIncompressible 

pub struct DecIncompressible<'m, const D: usize, R: CfdScalar> { /* private fields */ }

The DEC-native incompressible Navier–Stokes regime as a FluidTheory.

Wraps the validated DecNsRate together with the projection options the rate’s per-step CG solve needs, so the field-level rate matches the rate(state, ambient) seam. The manifold borrow lives inside the rate (the theory is materialized bound to the manifold at run time), keeping the FluidTheory trait itself 'm-free.

Implementations

impl<'m, const D: usize, R: CfdScalar> DecIncompressible<'m, D, R>

pub fn new(rate: DecNsRate<'m, D, R>, opts: HodgeDecomposeOptions<R>) -> Self

Build the theory from a validated rate and the projection options.

pub fn rate(&self) -> &DecNsRate<'m, D, R>

The underlying DEC rate.

Trait Implementations

impl<'m, const D: usize, R: Debug + CfdScalar> Debug for DecIncompressible<'m, D, R>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'m, const D: usize, R: CfdScalar> FluidTheory<R> for DecIncompressible<'m, D, R>

fn rate( &self, state: &VelocityOneForm<R>, ambient: &Ambient<R>, ) -> Result<VelocityOneForm<R>, PhysicsError>

P(−½[i_u(du♭) − G*_ω u] − ν Δ_dR u♭ + g♭) at the ambient ν, with the skew-symmetrized convective term (see DecNsRate). The ambient is read once per call (between Rk4 steps); with a constant ambient this is bit-identical to the construction-fixed rate.

Only ν is taken from the ambient. g♭ is the body force fixed on the rate kernel at construction; Ambient::set_body_force is not consulted here, so a coupling stage that drives the ambient body force will not change what this rate returns. See Ambient::set_body_force.

type State = VelocityOneForm<R>

The marching state this regime advances. Its algebra bounds are exactly what deep_causality_calculus::Rk4 needs, so any theory drops into the integrator.

type Ambient = Ambient<R>

The ambient this regime reads each step. The incompressible regime uses crate::Ambient; compressible/thermal regimes supply their own type, extending the ambient without changing this trait.