Public statement.
def
AVenhance.Ingredients.IsTIterates
{β : ℝ}
(I : Ingredients β)
{Φ : ℕ → ℝ → Homogenization.Vec 2 → ℝ}
(hΦ : IsStreamSeq I Φ)
(m : ℕ)
(κm κprev : ℝ)
(θ₀ : Homogenization.Vec 2 → ℝ)
(θprev : ℝ → Homogenization.Vec 2 → ℝ)
(T : ℕ → ℝ → Homogenization.Vec 2 → ℝ)
:
The iteration T^{(0)} = θ_{m-1}, T^{(i)} the (classical) solution of e.Tm-1.i for
1 ≤ i ≤ N_* (e.T.m-1.0, e.Tm-1.i, 4031-4054). T_{m-1} = T^{(N_*)} = T (Nstar β)
(e.T.m-1.Nstar); κm = κ_m, κprev = κ_{m-1}, θprev = θ_{m-1}.
Equations
- One or more equations did not get rendered due to their size.