Ask Your Question
0

Solving a simple system of inequalities

asked 2016-03-12 23:57:36 -0500

Erel Segal-Halevi gravatar image

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

?

edit retag flag offensive close merge delete

Comments

1

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

tmonteil gravatar imagetmonteil ( 2016-03-13 06:20:55 -0500 )edit

1 answer

Sort by ยป oldest newest most voted
1

answered 2016-03-13 06:20:40 -0500

tmonteil gravatar image

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.

edit flag offensive delete link more

Your Answer

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

Add Answer

Question Tools

1 follower

Stats

Asked: 2016-03-12 23:57:36 -0500

Seen: 137 times

Last updated: Mar 13 '16