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.

**Note:**See TracTickets for help on using tickets.