Opened 11 years ago

Last modified 8 years ago

#11520 needs_info defect

solve_ineq with boolean conditions fails

Reported by: Paul-Olivier Dehaye Owned by: Burcin Erocal
Priority: minor Milestone: sage-6.4
Component: symbolics Keywords:
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #13645 Stopgaps:

Status badges

Description

var('x')
solve_ineq([x > 0, 5 > 2], x)

Traceback (click to the left of this block for traceback)
...
AttributeError: 'bool' object has no attribute '_maxima_'

Change History (7)

comment:1 Changed 10 years ago by Frédéric Chapoton

Status: newneeds_info

Of course, this fails because True is not an inequality.

sage: [x > 0, 5 > 2]
[x > 0, True]

Should we really do something to change this behaviour ?

comment:2 Changed 10 years ago by Punarbasu Purkayastha

Dependencies: #13645

comment:3 Changed 9 years ago by Jeroen Demeyer

Milestone: sage-5.11sage-5.12

comment:4 Changed 9 years ago by For batch modifications

Milestone: sage-6.1sage-6.2

comment:5 Changed 9 years ago by For batch modifications

Milestone: sage-6.2sage-6.3

comment:6 Changed 8 years ago by For batch modifications

Milestone: sage-6.3sage-6.4

comment:7 Changed 8 years ago by Ralf Stephan

Priority: majorminor
Note: See TracTickets for help on using tickets.