Opened 7 years ago

Last modified 2 weeks ago

#15297 new defect

Elements from a Field of Fractions that compare equal should have equal hashes

Reported by: Stefan Owned by:
Priority: major Milestone: sage-9.4
Component: algebra Keywords: field of fractions, hashing
Cc: yzh, mkoeppe Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Sage can't guarantee that p == q implies hash(p) == hash(q), but it is not unreasonable to strive to make this work in case p,q belong to the same ring or field.

This ticket deals with Fields of Fractions. The proposed solution from this post appears to do the trick: ​https://groups.google.com/forum/#!topic/sage-devel/TOp_5LCBBR4

Example: 

sage: R.<x> = ZZ['x']
sage: F = R.fraction_field()
sage: p = 1/(1-x)
sage: q = (-1)/(x-1)
sage: p == q
True
sage: hash(p) == hash(q)
False

Change History (8)

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_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:3 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:4 Changed 6 years ago by mkoeppe

  • Cc yzh mkoeppe added

comment:5 Changed 3 years ago by mkoeppe

  • Milestone changed from sage-6.4 to sage-8.4

Still broken even with #16268; see #26339.

comment:6 Changed 11 months ago by mkoeppe

  • Milestone changed from sage-8.4 to sage-9.2

Still broken in 9.1.rc2

comment:7 Changed 6 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:8 Changed 2 weeks ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Sage development has entered the release candidate phase for 9.3. Setting a new milestone for this ticket based on a cursory review of ticket status, priority, and last modification date.

Note: See TracTickets for help on using tickets.