Changes between Initial Version and Version 1 of Ticket #18902


Ignore:
Timestamp:
07/15/15 13:10:55 (4 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #18902 – Description

    initial v1  
    66[[0 < x, a > 0], [x < 0, -a > 0, a > 0]]
    77}}}
    8 The second solution contradicts one given.
     8The second solution contradicts one given precondition.
     9
     10Also, from http://ask.sagemath.org/question/26410/test-if-an-inequality-is-feasible-under-assumptions/
     11{{{
     12sage: (l1,l2) = var("l1 l2")
     13sage: assume (l1>=0)
     14sage: assume (l2>=0)
     15sage: solve (l1*l2<0, [l1,l2])
     16[[0 < l2, l1 < 0], [l2 < 0, 0 < l1]]
     17}}}