Opened 4 years ago

Last modified 4 years ago

#18902 new defect

spurious results as inequality solution — at Initial Version

Reported by: rws Owned by:
Priority: major Milestone: sage-6.8
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

From, http://ask.sagemath.org/question/26941/solving-system-of-inequalities-in-one-variable/:

x = var('x')
a = var('a')
solve([a*x>0,a>0],[x])
[[0 < x, a > 0], [x < 0, -a > 0, a > 0]]

The second solution contradicts one given.

Change History (0)

Note: See TracTickets for help on using tickets.