Ticket #10486 (closed defect: fixed)

Opened 3 years ago

Last modified 2 years ago

Conversion List -> PARI finite field extension element disregards characteristic

Reported by: jdemeyer Owned by: AlexGhitza
Priority: major Milestone: sage-4.6.2
Component: basic arithmetic Keywords: finite field pari
Cc: Work issues:
Report Upstream: N/A Reviewers: John Cremona
Authors: Jeroen Demeyer Merged in: sage-4.6.2.alpha0
Dependencies: Stopgaps:

Description

Reported by Yannick Neyt in personal communication: 

sage: k.<a>=GF(3^11)
sage: x = k([1,0,1,1]); x
a^3 + a^2 + 1
sage: x+x+x
3*a^3 + 3*a^2

Clearly, we should get zero in the last line, since the characteristic is 3. The problem is visible in the PARI representation: 

sage: pari(x)
Mod(a^3 + a^2 + Mod(1, 3), Mod(1, 3)*a^11 + Mod(2, 3)*a^2 + Mod(1, 3))

Attachments

10486.patch Download (2.6 KB) - added by jdemeyer 3 years ago.

Change History

Changed 3 years ago by jdemeyer

comment:1 Changed 3 years ago by jdemeyer

  • Status changed from new to needs_review
  • Authors set to Jeroen Demeyer

comment:2 Changed 3 years ago by cremona

  • Reviewers set to John Cremona

Looks good, just testing now...

comment:3 Changed 3 years ago by cremona

  • Status changed from needs_review to positive_review

comment:4 Changed 2 years ago by jdemeyer

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