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
?
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
?
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.
Asked: 9 years ago
Seen: 653 times
Last updated: Mar 13 '16
By the way, on Sage 7.0.beta3, i got:
[[x < y, y < z, x < z]]