Opened 2 years ago

Last modified 3 weeks ago

#29938 new defect

comparison with infinity does not take assumptions into account

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

Status badges

Description

As reported on ​this ask question : 

sage: assume(x < 1)
sage: bool(x < 10)
True
sage: bool(x < oo)
False

Change History (6)

comment:1 Changed 2 years ago by tmonteil

  • Cc rws added

comment:2 Changed 19 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:3 Changed 13 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Moving to 9.4, as 9.3 has been released.

comment:4 Changed 10 months ago by mkoeppe

  • Milestone changed from sage-9.4 to sage-9.5

comment:5 Changed 5 months ago by mkoeppe

  • Milestone changed from sage-9.5 to sage-9.6

comment:6 Changed 3 weeks ago by mkoeppe

  • Milestone changed from sage-9.6 to sage-9.7
Note: See TracTickets for help on using tickets.