Anderson-May theorem: H*=d/α; P*=r/β; Tr(J*)=0; det(J*)=rd; eigs=±i√(rd)

Sympy-exact symbolic witness of the Anderson-May host-parasite interior-equilibrium canonical identities. Setup: r, β, α, d — all positive symbols (equation parameters); H, P_par — state variables. Interior equilibrium host density: H* =…