sympy · Issues· 6013 open

wrong result: `nonlinsolve([(x*y - x)/(x - 1) - y], [x, y])`

`LRASolver` is not modular enough

Adding more type annotations to the codebase

Performance issue in Poly.discriminant() over composite domains

improve singularity handling in `inequalities.py`

Matrix differentiation with square of trace leads to unpredictable zeros

DOC: domain/return type documented as Interval but should be Set in continuous_domain/function_range

wrong result: `nonlinsolve([(x**2 - 1)/(x - 1) - x - 1, y - 1], [x, y])`

`function_range(sin(exp(x)), x, S.Reals)` hangs

solver help for interesting (to me) problem

Poly should ignore non-generator powers during factoring

`function_range(acot(x), x, S.Reals)`

Improvements to logic module

More efficient to_cnf

`simplify` does not remove constants in `x² + 1 = y² + 1`