Opened 9 years ago

Closed 7 years ago

#14964 closed defect (invalid)

equality testing with RIF (RealIntervalField) and CIF (ComplexIntervalField)

Reported by: dkrenn Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: numerical Keywords: interval arithmetic, equality, RIF, CIF, RealIntervalField, ComplexIntervalField, sd67
Cc: Merged in:
Authors: Marc Mezzarobba Reviewers: Daniel Krenn
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

We have

sage: RIF(1,2) == RIF(1,2)
False

which should say True instead. The same happens using CIF (or the generalisations RealIntervalField and ComplexIntervalField).

This happens in Sage 5.10 (not tested in any other versions).

Change History (3)

comment:1 Changed 7 years ago by mmezzarobba

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

It's a feature:

COMPARISONS:

Comparison operations (``==``, ``!=``, ``<``, ``<=``, ``>``, ``>=``)
return ``True`` if every value in the first interval has the given relation
to every value in the second interval. The ``cmp(a, b)`` function works
differently; it compares two intervals lexicographically. (However, the
behavior is not specified if given a non-interval and an interval.)

comment:2 Changed 7 years ago by dkrenn

  • Authors set to Marc Mezzarobba
  • Keywords sd67 added
  • Reviewers set to Daniel Krenn
  • Status changed from needs_review to positive_review

Meanwhile I understand this (but forgot about this ticket...) ;)

comment:3 Changed 7 years ago by vbraun

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