Changes between Initial Version and Version 1 of Ticket #18902
 Timestamp:
 07/15/15 13:10:55 (4 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #18902 – Description
initial v1 6 6 [[0 < x, a > 0], [x < 0, a > 0, a > 0]] 7 7 }}} 8 The second solution contradicts one given. 8 The second solution contradicts one given precondition. 9 10 Also, from http://ask.sagemath.org/question/26410/testifaninequalityisfeasibleunderassumptions/ 11 {{{ 12 sage: (l1,l2) = var("l1 l2") 13 sage: assume (l1>=0) 14 sage: assume (l2>=0) 15 sage: solve (l1*l2<0, [l1,l2]) 16 [[0 < l2, l1 < 0], [l2 < 0, 0 < l1]] 17 }}}