Isothermal work halving: W(V_f=V_i/2) = n·R·T·log(2)

Sympy-exact witness of the isothermal halving-compression work. Setup: W = −n·R·T·log(V_f/V_i). Identity: at V_f = V_i/2, W = −n·R·T·log(1/2) = n·R·T·log(2) — positive work input, proportional to nRT. Oracle pins: W_sym =…