Ask Your Question

Test if an inequality is feasible under assumptions

asked 2015-04-01 05:03:33 -0500

Thomas gravatar image

I want to test if an inequality system is feasible under non-negativity assumptions. I run into the problem that the assumptions seem not be used by the inequality solver. Here is a minimal example

sage: (l1,l2) = var("l1 l2")
sage: assume (l1>=0)
sage: assume (l2>=0)
sage: solve (l1*l2<0, [l1,l2])
[[l1 < 0, 0 < l2], [0 < l1, l2 < 0]]

Is it possible to have the solver use the assumptions and determine infeasibility of the system?

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted

answered 2015-04-01 05:12:17 -0500

Thomas gravatar image

This seems to be the answer:

edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower


Asked: 2015-04-01 05:03:33 -0500

Seen: 85 times

Last updated: Apr 01 '15