Public statement.

noncomputable def AVenhance.Ingredients.sMat {β : ℝ} (I : Ingredients β) {Φ : ℕ → ℝ → Homogenization.Vec 2 → ℝ} (hΦ : IsStreamSeq I Φ) (m : ℕ) (κm t : ℝ) (x : Homogenization.Vec 2) : Matrix (Fin 2) (Fin 2) ℝ

𝐬⁺_{m-1} := 𝐊_m ∑_l ξ̂_{m,l}(F_l − I) + ∑_l ξ̂_{m,l}(F_lᵀ − I)(𝐊_m − κ_m I)F_l, with F_l = ∇X_{m-1,l}∘X⁻¹_{m-1,l}: e.sm (3974) corrected by the left Jacobian. 𝐊_m = 𝐊^{κ_m}_m.

Equations

• One or more equations did not get rendered due to their size.