Opened 8 years ago

Closed 7 years ago

#15004 closed defect (duplicate)

comparison of Infinity and RealIntervalField-Element

Reported by: dkrenn Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: symbolics Keywords: infinity realintervalfield rif compare
Cc: Merged in:
Authors: Reviewers: Travis Scrimshaw
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by tscrim)

The comparisonsage

sage: oo < RIF(2)
True

gives the wrong result, since this should be False.

Change History (5)

comment:1 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:2 Changed 7 years ago by vbraun

Comparisons need to be defined for all values of a type to leverage the coercion system. What is the expected output of comparison with an RIF interval that includes infinity?

sage: to_inf = RIF(0, oo) 
sage: to_inf
[0.00000000000000000 .. +infinity]
sage: oo < to_inf

comment:3 Changed 7 years ago by vbraun

  • Milestone changed from sage-6.2 to sage-duplicate/invalid/wontfix
  • Status changed from new to needs_review

#13125 changes this to:

sage: oo < RIF(2),  oo <= RIF(2),  oo == RIF(2)
(False, False, False)
sage: oo < RIF(2,oo),  oo <= RIF(2,oo),  oo == RIF(2,oo)
(False, True, True)

I propose to close this ticket as duplicate.

comment:4 Changed 7 years ago by tscrim

  • Description modified (diff)
  • Reviewers set to Travis Scrimshaw
  • Status changed from needs_review to positive_review

Agreed.

comment:5 Changed 7 years ago by vbraun

  • Resolution set to duplicate
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.