Sympy-exact witness of the Ekman-depth Coriolis-scaling identity. Setup: D_E = √(2·ν/f) as a two-symbol function of ν and f. Identity: ratio at doubled f — D_E(2f)/D_E(f) = √(2ν/(2f))/√(2ν/f) = √(1/2) = 1/√2, which sympy canonicalises to…
Sympy-exact witness of the Ekman-depth Coriolis-scaling identity. Setup: D_E = √(2·ν/f) as a two-symbol function of ν and f. Identity: ratio at doubled f — D_E(2f)/D_E(f) = √(2ν/(2f))/√(2ν/f) = √(1/2) = 1/√2, which sympy canonicalises to…