Opened 10 months ago

Last modified 6 months ago

#29938 new defect

comparison with infinity does not take assumptions into account

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

comment:1 Changed 10 months ago by tmonteil

  • Cc rws added

comment:2 Changed 6 months ago by mkoeppe

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