# 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 -0600
**

Seen: **180 times**

Last updated: **Mar 19 '16**

How to do operations that change a relation?

simplification errors in simple expressions

Simplifying a simple rational function

Symbolic simplificaction without commutativity

Simplify characteristic equation

Adding zero to an expression and avoiding simplification

Unable to simplify function output

Rewriting an expression in terms of other expressions or functions

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.