Equations, derivations & Jacobians
Every equation the solver works with, derived from first principles and shown with its exact Jacobian. The derivatives aren't hand-typed — they're computed by the same forward-mode automatic-differentiation engine the solver uses, and every symbolic derivative on these pages is checked against it in our test suite. See the math, not just the answer.
Phase equilibrium
Rachford-Rice flash
The vapor-fraction objective every isothermal two-phase flash solves — one nonlinear equation in the vapor fraction ψ, monotonic so Newton always converges.
Derivation & JacobianBubble-point temperature (Raoult + Antoine)
At the bubble point the vapor mole fractions sum to one; with Raoult's law and Antoine vapor pressures this is one nonlinear equation in temperature.
Derivation & Jacobian