Solving a simple system of inequalities

Erel Segal-Halevi
239 ●9 ●13 ●26

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

Comments

By the way, on Sage 7.0.beta3, i got: [[x < y, y < z, x < z]]

tmonteil ( 2016-03-13 12:20:55 +0100 )edit

Sort by » oldest newest most voted

The two inequialities 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.

Please start posting anonymously - your entry will be published after you log in or create a new account.

1 follower

Asked: 2016-03-13 06:57:36 +0100

Seen: 613 times

Last updated: Mar 13 '16