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
?
1 | initial version |
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
?