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

Last updated: **Mar 13 '16**

Is applying a ring homomorphism faster than symbolic substitution?

How do you Append a Symbolic Matrix?

Is there a way to set arbitrary function commuting rules?

Simplify multiplication of SQRT()s

Solving boolean variables symbolically

Factoring a symbolic polynomial

TypeError: range() integer end argument expected, got sage.symbolic.expression.Expression.

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