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

Last updated: **Mar 19 '16**

How to do operations that change a relation?

simplification errors in simple expressions

simplify coefficients of laurent series?

Symbolic expressions and simplifying

(Unexpanded) symbolic inequalities yield erroneous results

New to sage, but it seems wrong.

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.