Sympy-exact symbolic witness of the Martin-Knauer POC flux-attenuation canonical identities. Setup: F_0, z_0, z, z_1, z_2, b — all positive symbols. Power-law flux profile: F(z) = F_0·(z_0/z)^b (sympy canonical 'F0*(z0/z)**b' — the…
Sympy-exact symbolic witness of the Martin-Knauer POC flux-attenuation canonical identities. Setup: F_0, z_0, z, z_1, z_2, b — all positive symbols. Power-law flux profile: F(z) = F_0·(z_0/z)^b (sympy canonical 'F0*(z0/z)**b' — the…