Solving a system of (more than two) linear inequalities
问题 If I use diophantine(2*x+3*y-5*z-77) I receive this result. {(t_0, -9*t_0 - 5*t_1 + 154, -5*t_0 - 3*t_1 + 77)} Fine so far. However, on occasion one might like to constrain x, y and z to be (say) non-negative. When I use an approach like this< reduce_inequalities([0<=t_0, 0<=-9*t_0 - 5*t_1 + 154, 0<=-5*t_0 - 3*t_1 + 77],[t_0, t_1]) I get: NotImplementedError: inequality has more than one symbol of interest Does sympy, sage, prolog, haskell or some other freely available product have means for