# 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: **180 times**

Last updated: **Mar 19 '16**

How to do operations that change a relation?

Simplifying a simple rational function

Graph or plot a system of inequalities

why won't simplify multiply out square roots?

solve_ineq returns strange output

Simplifying symbolic characteristic polynomial

collect multiple variables and simplify their coefficients

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.