Public statement.
noncomputable def
AVenhance.streamVel
(φ : ℝ → Homogenization.Vec 2 → ℝ)
(t : ℝ)
(x : Homogenization.Vec 2)
:
e.phim.bm (1405-1407) with e.sigma (919): ∇^⊥ φ (t,x) = σ ∇_x φ (t,x).
Equations
- AVenhance.streamVel φ t x = AVenhance.sigmaMat.mulVec (AVenhance.spaceGrad (φ t) x)