Opened 9 years ago

Closed 9 years ago

#10045 closed defect (fixed)

FInite field coercion bug

Reported by: robertwb Owned by: AlexGhitza
Priority: critical Milestone: sage-4.6
Component: basic arithmetic Keywords:
Cc: was Merged in: sage-4.6.alpha3
Authors: Robert Bradshaw Reviewers: William Stein
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

sage: p = 250037
sage: K.<a> = GF(p^2)
sage: F.<a> = GF(p^2)
sage: 2 * K(F.gen())
0

Attachments (1)

10045-ff-coerce.patch (3.7 KB) - added by robertwb 9 years ago.

Download all attachments as: .zip

Change History (5)

Changed 9 years ago by robertwb

comment:1 Changed 9 years ago by robertwb

  • Cc was added
  • Status changed from new to needs_review

#8220 broke caching which exposed a bug in comparison. In the above example, K and F are not actually equal (different moduli) but Sage thought they were, and pari happily gave 0 for the product between the incompatible underlying elements rather than complaining.

comment:2 Changed 9 years ago by was

  • Status changed from needs_review to positive_review

comment:3 Changed 9 years ago by mpatel

  • Authors set to Robert Bradshaw
  • Reviewers set to William Stein

comment:4 Changed 9 years ago by mpatel

  • Merged in set to sage-4.6.alpha3
  • Resolution set to fixed
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.