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

Last updated: **Mar 19 '16**

Simplifying symbolic characteristic polynomial

Dropping higher powers of a variable in an expression

How to robustly simplify an object (including a number)

Test if an inequality is feasible under assumptions

Solving system of inequalities in one variable

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.