Simpy simplificar expresión relacional (desigualdad)

¿Por qué no funciona la siguiente simplificación , o cómo podría solucionarse?

>>> x = Symbol('x', real=True) >>> y = Symbol('y', real=True) >>> simplify(x - 1 < y - 1) x - 1 < y - 1 

Pero esto funciona:

 >>> simplify(x - 1 - (y - 1) < 0) x - y < 0 

¿Se puede simplificar de alguna manera la primera expresión a x < y ?

Gracias

Podrías resolver para x :

 import sympy as sy x, y = sy.symbols('x,y', real=True) print(sy.solve(x - 1 < y - 1, x)) 

rendimientos

 x < y 

 x, y, z = sy.symbols('x,y,z', real=True) print(sy.solve(x - 1 < y*z - 1, x)) 

rendimientos

 x < y*z