Opened 14 months ago

Last modified 2 weeks ago

#29938 new defect

comparison with infinity does not take assumptions into account

Reported by: tmonteil Owned by:
Priority: major Milestone: sage-9.5
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 (4)

comment:1 Changed 14 months ago by tmonteil

  • Cc rws added

comment:2 Changed 9 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:3 Changed 3 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 2 weeks ago by mkoeppe

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