The divergence form of the per-index A/q transport step.

def AVenhance.Infra.Section5.AmnrPairDivergenceStep.amnrPairFlux (A : ST → Fin 2 → Fin 2 → Fin 2 → ℝ) (q : ℝ → Fin 2 → Fin 2 → ℝ) (j k : Fin 2) : ST → Homogenization.Vec 2

Vector flux for one tensor-index pair in the divergence recurrence.

Equations

• AVenhance.Infra.Section5.AmnrPairDivergenceStep.amnrPairFlux A q j k z i = A z i j k * q z.1 j k