# 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
```

?

add a comment

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
```

?

add a comment

2

You can simplify this using

```
solve(ineq,x)
```

Asked: **
2016-03-13 03:27:08 -0500
**

Seen: **207 times**

Last updated: **Mar 19 '16**

Graph or plot a system of inequalities

Checking if two inequalities are equivalent

Rearranging expressions to minimize negative signs

Convert exponential form to hyperbolic functions

Adding zero to an expression and avoiding simplification

How to use sagemath to generate inequalities

Multiplying an inequality by -1.

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.