Sympy-exact witness of the Langmuir hyperbolic occupancy law applied to activity-based probe binding. Setup: θ(L) = L/(K_d + L) on positive symbols L, K_d. sympy simplifies θ(L=K_d) = K_d/(K_d + K_d) = K_d/(2·K_d) = 1/2 exact…
Sympy-exact witness of the Langmuir hyperbolic occupancy law applied to activity-based probe binding. Setup: θ(L) = L/(K_d + L) on positive symbols L, K_d. sympy simplifies θ(L=K_d) = K_d/(K_d + K_d) = K_d/(2·K_d) = 1/2 exact…