Hi,
I would like to compute the solution of systems of inequalities over
the integers. I have used the command "solve", but the solution is
over the complex numbers.
Something like:
i, j = var('i,j')
sol=solve([2*i+9*j>= - 0, -5*i-7*j>=-5, 3*i-2*j>= -6], i,j)
sol
[[i == (-54/31), j == (12/31)], [i == (-32/31), j == (45/31)], [i ==
(45/31), j == (-10/31)], [i == -7/5*j + 1, (-10/31) < j, j <
(45/31)], [i == -9/2*j, (-10/31) < j, j < (12/31)], [i == 2/3*j -
2, (12/31) < j, j < (45/31)], [max(2/3*j - 2, -9/2*j) < i, i
< -7/5*j + 1, (-10/31) < j, j < (45/31)]]
Is there any way to get the intersection of the previous set with
ZZ^2?, or a command to solve the system over the integers?
Thanks,
Diego
--
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
