wrong result: `nonlinsolve([(x**2 - 1)/(x - 1) - x - 1, y - 1], [x, y])`
Author: 11350613Created Sep 16, 2026Updated Sep 16, 2026
sympy commit hash: 117eaf45237de39c9d4518a3b7c715f0484ccea9 (current master) python version: 3.12.3 OS: Ubuntu 24.04.4 LTS
In [1]: x, y = symbols('x y', real=True)
In [2]: nonlinsolve([(x**2 - 1)/(x - 1) - x - 1, y - 1], [x, y])
Out[2]: {(x, 1)}expected result:
\{(x, y)\in\mathbb R^2\mid x\ne 1,\ y=1\}Source: sympy/sympy