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

Last updated: **Mar 13 '16**

Weird output for differential of a non-analytic complex function.

Question about error using plot

Symbolic calculations in finite field extension

Traversing sage's symbolic expression trees in python

Symbolic simplificaction without commutativity

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]]`