Ticket #5102 (closed defect: fixed)

Opened 4 years ago

Last modified 4 years ago

[with patch, positive review] eisenstein_series_qexp broken over finite fields

Reported by: AlexGhitza Owned by: AlexGhitza
Priority: blocker Milestone: sage-3.3
Component: modular forms Keywords:
Cc: craigcitro Work issues:
Report Upstream: Reviewers:
Authors: Merged in:
Dependencies: Stopgaps:

Description 

sage: eisenstein_series_qexp(10, 15, GF(17))
15 + q + 3*q^2 + 15*q^3 + 7*q^4 + 13*q^5 + 11*q^6 + 11*q^7 + 15*q^8 + 7*q^9 + 5*q^10 + 7*q^11 + 2*q^12 + 12*q^13 + 12*q^14 + O(q^15)

is wrong, whereas 

sage: eisenstein_series_qexp(10, 15).change_ring(GF(17))
15 + q + 3*q^2 + 15*q^3 + 7*q^4 + 13*q^5 + 11*q^6 + 11*q^7 + 15*q^8 + 7*q^9 + 5*q^10 + 7*q^11 + 3*q^12 + 14*q^13 + 16*q^14 + O(q^15)

is right. We tracked this down to a change in the polynomials over finite fields constructor when check=False. We'll quickly fix this at the cost of making it slower; better fix will come soon.

Attachments

trac_5102.patch Download (1.5 KB) - added by AlexGhitza 4 years ago.

Change History

Changed 4 years ago by AlexGhitza

comment:1 Changed 4 years ago by AlexGhitza

  • Priority changed from major to blocker
  • Summary changed from eisenstein_series_qexp broken over finite fields to [with patch, needs review] eisenstein_series_qexp broken over finite fields

Credit to Craig Citro and Alex Ghitza.

comment:2 Changed 4 years ago by mhansen

  • Summary changed from [with patch, needs review] eisenstein_series_qexp broken over finite fields to [with patch, positive review] eisenstein_series_qexp broken over finite fields

This gets a positive review from William.

comment:3 Changed 4 years ago by mabshoff

  • Status changed from new to closed
  • Resolution set to fixed

Merged in Sage 3.3.alpha4.

Cheers,

Michael

Note: See TracTickets for help on using tickets.