Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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

?