Timeline for Verifying coefficients of modular forms
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 8, 2011 at 19:28 | comment | added | Ramsey | @Laie: It is vague, and relies on the fact that if a collection of $q$-expansions are linearly independent, then so are their truncations to the first $N$ terms for large $N$. Perhaps the $N$ required can be huge, I'm not sure. I'd be curious (for several reasons related to these answers) to see what the OP actually has. | |
| Feb 8, 2011 at 17:33 | comment | added | Laie | @Ramsey: Point 1) seems vague and only practical if there is something that limits the order of the expansion that needs to be considered. Otherwise one eventually will run into computer resource limitations - which are in fact quite severe in SAGE even at modest weights and levels. | |
| Feb 8, 2011 at 14:00 | history | edited | Ramsey | CC BY-SA 2.5 |
added 2 characters in body
|
| Feb 8, 2011 at 5:17 | comment | added | S. Carnahan♦ | Regarding your point 2, you can run into undecidability problems if you don't restrict how the coefficients are presented to you (but I haven't heard of this being a problem very often in practice). | |
| Feb 8, 2011 at 5:01 | history | answered | Ramsey | CC BY-SA 2.5 |