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

Last updated: **Mar 13 '16**

Multiplying an inequality by -1.

Differentiating Complex Conjugated Functions

is_polynomial with symbolic coefficients: bug ?

bool returns false with arcsin(x) and 2*arctan(x/(1+sqrt(1-x^2)))

System of 3 equations in 3 variables with symbolic coefficients

Unable to create a contour_plot of a system of inequalities

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

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