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

Factoring out complex exponentials

Can sage help determine if $|f(x) - L| < \epsilon$ is true?

How to convert "cos(th)+i*sin(th)" to "e^(i*th)"?

LMI (Linear Matrix Inequalities)

solving sqrt(-1) to a real number

Numerically solving of a system of nonlinear inequalities

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.