Computing the dimensions of spaces of modular & cusp forms

asked 2014-02-16 06:55:24 +0200

Peter Luschny
548 ●13 ●35 ●56

updated 2014-02-16 06:57:24 +0200

In OEIS A159634 Steven Finch gave the following MAGMA snippet to compute the

coefficient for dimensions of spaces of modular & cusp forms of weight k/2, level 4n and trivial character, where k >= 5 is odd.

[[4*n, (Dimension(HalfIntegralWeightForms(4*n, 7/2)) + 
Dimension(CuspidalSubspace(HalfIntegralWeightForms(4*n, 5/2))))/2]:n in [1..70]];

How can this sequence be computed with Sage?

Note that this question is related to a conjecture of Enrique Pérez Herrero.

edit retag flag offensive close merge delete

add a comment

1 Answer

Sort by » oldest newest most voted

answered 2014-02-18 05:48:07 +0200

moroplogo

56 ●1 ●2 ●12 http://www.oviaivo.net/

It seems there are no function in Sage to compute this. You can use magma_free() command like this :
sage: magma_free('[[4*n, (Dimension(HalfIntegralWeightForms(4*n, 7/2)) + Dimension(CuspidalSubspace(HalfIntegralWeightForms(4*n, 5/2))))/2]:n in [1..70]]')

edit flag offensive delete link

Comments

On the one hand disappointing, on the other hand it emphasizes the importance of the conjecture.

Peter Luschny ( 2014-02-20 08:24:14 +0200 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

1 follower

Stats

Asked: 2014-02-16 06:55:24 +0200

Seen: 337 times

Last updated: Feb 18 '14

Computing the dimensions of spaces of modular & cusp forms edit