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

Seen: **152 times**

Last updated: **Mar 13 '16**

Multiplying an inequality by -1.

is_polynomial with symbolic coefficients: bug ?

How to make solve to use certain variables on the right side

solving a set of equations involving both inequalities and equalities

Plotting an inequality in 3D region

How do you Append a Symbolic Matrix?

Sage symbolic expression modulo

How do I get an ordered list of a symbolic functions arguments?

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