#15486: Lazy Evaluation of R_Characters for Modular Forms
-------------------------+-------------------------------------------------
Reporter: | Owner:
elarson3 | Status: needs_work
Type: | Milestone: sage-6.2
defect | Resolution:
Priority: major | Merged in:
Component: | Reviewers: Peter Bruin
modular forms | Work issues:
Keywords: | Commit:
Authors: Eric | dc4df256d57ba67f02bdaa9f4500ce919dbc9544
Larson | Stopgaps:
Report Upstream: N/A |
Branch: |
public/15486 |
Dependencies: |
-------------------------+-------------------------------------------------
Comment (by pbruin):
Hmm, I did create a local branch to doctest this ticket, but it seems I
was so convinced that this couldn't break anything that I didn't even
check the branch out from Trac. The failing doctest shows that the
current patch removes the check for whether there are enough roots of
unity.
My comment above was not completely accurate; it was actually PARI's
`nfinit()` that was taking forever. This is called when constructing the
Dirichlet group modulo ''N'' with values in the group of roots of unity of
a number field ''K''. It turns out that by being a bit more careful about
which roots of unity one asks for, one can avoid `nfinit()` and just look
for roots of cyclotomic polynomials of degree dividing the degree of
''K''.
I made a new patch for this approach, which is now doctesting. If
successful, we can see if it would be a suitable alternative fix.
--
Ticket URL: <http://trac.sagemath.org/ticket/15486#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.
