#13633: Bug in cuspidal/eisenstein decomposition of modular symbols mod p
------------------------------------------------------+---------------------
       Reporter:  robharron                           |         Owner:  
davidloeffler
           Type:  defect                              |        Status:  new     
     
       Priority:  major                               |     Milestone:  
sage-5.5     
      Component:  modular forms                       |    Resolution:          
     
       Keywords:  modular symbols, mod p, eisenstein  |   Work issues:          
     
Report Upstream:  N/A                                 |     Reviewers:          
     
        Authors:                                      |     Merged in:          
     
   Dependencies:                                      |      Stopgaps:          
     
------------------------------------------------------+---------------------

Comment (by was):

 Replying to [comment:3 robharron]:
 > Ah, I see. I'm using version 5.2 released near the end of July. I had
 wanted to wait until upgrading (to 5.4) before posting this bug, but then
 I didn't see anything merged in 5.3 that seemed at all related to it.
 Thanks.

 This input works fine for me with Sage-5.2 on 64-bit OS X.  Do you have
 the problem from a fresh start?  Please post a complete session log,
 starting with typing "sage" at the terminal, e.g.,

 {{{
 blastoff:~ wstein$ uname -a
 Darwin blastoff.local 11.4.2 Darwin Kernel Version 11.4.2: Thu Aug 23
 16:25:48 PDT 2012; root:xnu-1699.32.7~1/RELEASE_X86_64 x86_64
 blastoff:~ wstein$ sage
 ----------------------------------------------------------------------
 | Sage Version 5.2, Release Date: 2012-07-25                         |
 | Type "notebook()" for the browser-based notebook interface.        |
 | Type "help()" for help.                                            |
 ----------------------------------------------------------------------
 sage: ModularSymbols(Gamma0(46 * 47), 2, 1, GF(47)).eisenstein_subspace()
 Modular Symbols subspace of dimension 7 of Modular Symbols space of
 dimension 292 for Gamma_0(2162) of weight 2 with sign 1 over Finite Field
 of size 47
 sage: ModularSymbols(Gamma0(46 * 47), 2, 1,
 GF(47)).cuspidal_subspace().hecke_polynomial(47)
 x^285 + x^284 + 41*x^283 + 41*x^282 + 42*x^281 + 42*x^280 + 20*x^279 +
 20*x^278 + 38*x^277 + 38*x^276 + 18*x^275 + 18*x^274 + 23*x^273 + 23*x^272
 + 22*x^271 + 22*x^270 + 31*x^269 + 31*x^268 + 19*x^267 + 19*x^266 +
 2*x^265 + 2*x^264 + 43*x^2 ...
 }}}

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