Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Simplifying an inequality

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

?