# Solving a simple system of inequalities

I asked:

```
var('x','y','z')
solve_ineq([x<y,y<z])
```

and got:

```
[[y < z, x < y]]
```

What should I do to get the expected inequality:

```
x < z
```

?

Solving a simple system of inequalities

I asked:

```
var('x','y','z')
solve_ineq([x<y,y<z])
```

and got:

```
[[y < z, x < y]]
```

What should I do to get the expected inequality:

```
x < z
```

?

1

`x<y,y<z`

are **not** equivalent to `x < z`

, for example `{x:1,y:0,z:3}`

satisfies the second equation but not the first.

Asked: **
2016-03-12 23:57:36 -0500
**

Seen: **138 times**

Last updated: **Mar 13 '16**

Multiplying an inequality by -1.

Is there a way to block diagonalize a matrix?

(Unexpanded) symbolic inequalities yield erroneous results

How do I find a solution of a set of inequalities?

How to do symbolic computation with quaternions

I don't know why Sage return 0 for integrate(sin(2*x).abs(),(x,0,pi)) when its value is 2

complex conjugate of a 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.

By the way, on Sage 7.0.beta3, i got:

`[[x < y, y < z, x < z]]`