#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):
What version of Sage are you using? Your examples work fine in every
release of Sage since July..
{{{
wstein@sage:~$ sage
----------------------------------------------------------------------
| Sage Version 5.3, Release Date: 2012-09-08 |
| 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^263 + 43*x^262 + 17*x^261 + 17*x^260 + 34*x^259 +
34*x^258 + 16*x^257 + 16*x^256 + 26*x^255 + 26*x^254 + 33*x^253 + 33*x^252
+ 6*x^251 + 6*x^250 + 8*x^249 + 8*x^248 + 8*x^247 + 8*x^246 + 22*x^245 +
22*x^244 + 19*x^243 + 19*x^242 + 15*x^241 + 15*x^240 + 26*x^239 + 26*x^238
+ 21*x^237 + 21*x^236 + 16*x^235 + 16*x^234 + 27*x^233 + 27*x^232 +
23*x^231 + 23*x^230 + 20*x^229 + 20*x^228 + 34*x^227 + 34*x^226 + 34*x^225
+ 34*x^224 + 36*x^223 + 36*x^222 + 9*x^221 + 9*x^220 + 16*x^219 + 16*x^218
+ 26*x^217 + 26*x^216 + 8*x^215 + 8*x^214 + 25*x^213 + 25*x^212 + 46*x^211
+ 46*x^210 + 40*x^209 + 40*x^208 + 23*x^207 + 23*x^206 + 11*x^205 +
11*x^204 + 20*x^203 + 20*x^202 + 19*x^201 + 19*x^200 + 24*x^199 + 24*x^198
+ 4*x^197 + 4*x^196 + 22*x^195 + 22*x^194 + 45*x^191 + 45*x^190 + 12*x^189
+ 12*x^188 + 10*x^187 + 10*x^186 + 7*x^185 + 7*x^184 + 18*x^183 + 18*x^182
+ 11*x^181 + 11*x^180 + x^179 + x^178 + 3*x^177 + 3*x^176 + 32*x^175 +
32*x^174 + 9*x^173 + 9*x^172 + 43*x^171 + 43*x^170 + 8*x^169 + 8*x^168 +
13*x^167 + 13*x^166 + 26*x^165 + 26*x^164 + 15*x^163 + 15*x^162 + 42*x^161
+ 42*x^160 + 28*x^159 + 28*x^158 + 35*x^157 + 35*x^156 + 31*x^155 +
31*x^154 + 31*x^153 + 31*x^152 + 3*x^151 + 3*x^150 + 9*x^149 + 9*x^148 +
17*x^147 + 17*x^146 + 42*x^145 + 42*x^144 + 5*x^143 + 5*x^142 + 15*x^141 +
15*x^140 + 40*x^139 + 40*x^138 + x^137 + x^136 + 7*x^135 + 7*x^134 +
26*x^133 + 26*x^132 + 26*x^131 + 26*x^130 + 22*x^129 + 22*x^128 + 29*x^127
+ 29*x^126 + 15*x^125 + 15*x^124 + 42*x^123 + 42*x^122 + 31*x^121 +
31*x^120 + 44*x^119 + 44*x^118 + 2*x^117 + 2*x^116 + 14*x^115 + 14*x^114 +
x^113 + x^112 + 25*x^111 + 25*x^110 + 7*x^109 + 7*x^108 + 9*x^107 +
9*x^106 + 46*x^105 + 46*x^104 + 39*x^103 + 39*x^102 + 3*x^101 + 3*x^100 +
x^97 + x^96 + 41*x^95 + 41*x^94 + 42*x^93 + 42*x^92 + 20*x^91 + 20*x^90 +
38*x^89 + 38*x^88 + 18*x^87 + 18*x^86 + 23*x^85 + 23*x^84 + 22*x^83 +
22*x^82 + 31*x^81 + 31*x^80 + 19*x^79 + 19*x^78 + 2*x^77 + 2*x^76 +
43*x^75 + 43*x^74 + 17*x^73 + 17*x^72 + 34*x^71 + 34*x^70 + 16*x^69 +
16*x^68 + 26*x^67 + 26*x^66 + 33*x^65 + 33*x^64 + 6*x^63 + 6*x^62 + 8*x^61
+ 8*x^60 + 8*x^59 + 8*x^58 + 22*x^57 + 22*x^56 + 19*x^55 + 19*x^54 +
15*x^53 + 15*x^52 + 26*x^51 + 26*x^50 + 21*x^49 + 21*x^48 + 16*x^47 +
16*x^46 + 27*x^45 + 27*x^44 + 23*x^43 + 23*x^42 + 20*x^41 + 20*x^40 +
34*x^39 + 34*x^38 + 34*x^37 + 34*x^36 + 36*x^35 + 36*x^34 + 9*x^33 +
9*x^32 + 16*x^31 + 16*x^30 + 26*x^29 + 26*x^28 + 8*x^27 + 8*x^26 + 25*x^25
+ 25*x^24 + 46*x^23 + 46*x^22 + 40*x^21 + 40*x^20 + 23*x^19 + 23*x^18 +
11*x^17 + 11*x^16 + 20*x^15 + 20*x^14 + 19*x^13 + 19*x^12 + 24*x^11 +
24*x^10 + 4*x^9 + 4*x^8 + 22*x^7 + 22*x^6
}}}
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/13633#comment:2>
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.
