Finding an assignment that satisfies a set of inequalities
I have the following simple set of inequalities:
var('x,y') assume(x,'integer') assume(y,'integer') assume(x>0) assume(y>0) ineq = [x<y, y<3]
I would like to find an assignment that satisfies this set of inequalities. In this case there is one such assignment:
In general there may be many assignments; I only need to find one. Is there a way to do this in SageMath?