First time here? Check out the FAQ!
asked 9 years ago
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
?