#10450: Problem computing Hecke matrices on subspaces of modular forms spaces
------------------------------+---------------------------------------------
   Reporter:  davidloeffler   |       Owner:  craigcitro    
       Type:  defect          |      Status:  needs_review  
   Priority:  major           |   Milestone:  sage-4.6.2    
  Component:  modular forms   |    Keywords:  hecke operator
     Author:  David Loeffler  |    Upstream:  N/A           
   Reviewer:                  |      Merged:                
Work_issues:                  |  
------------------------------+---------------------------------------------
Changes (by davidloeffler):

  * status:  needs_info => needs_review


Comment:

 Here's a new patch which should correct the prime power case as well. The
 new version does all of the factoring tricks etc at the level of the
 ambient space (or, where possible, its eisenstein or cuspidal submodule),
 and just restricts the answer to the given subspace at the end. Along the
 way, I've fixed a tiny bug in {{{eisenstein_submodule}}} and
 {{{cuspidal_submodule}}}, and added {{{is_eisenstein}}} and
 {{{is_cuspidal}}}, for generic mod forms spaces.

-- 
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/10450#comment:4>
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 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.

Reply via email to