First time here? Check out the FAQ!
asked 9 years ago
I ask:
var('x,y') ineq = (x+2<y+2) simplify(ineq)
and get:
x + 2 < y + 2
How can I get Sage to simplify this inequality to:
x < y
?