#5102: eisenstein_series_qexp broken over finite fields
---------------------------+------------------------------------------------
Reporter: AlexGhitza | Owner: AlexGhitza
Type: defect | Status: new
Priority: major | Milestone: sage-3.3
Component: modular forms | Keywords:
---------------------------+------------------------------------------------
{{{
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.
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/5102>
Sage <http://sagemath.org/>
Sage - Open Source Mathematical Software: Building the Car Instead of
Reinventing the Wheel
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to
[email protected]
For more options, visit this group at
http://groups.google.com/group/sage-trac?hl=en
-~----------~----~----~----~------~----~------~--~---
