Jacobian_conjecture loading ...