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 | initial version |
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
?