Ask Your Question
0

Computing the dimensions of spaces of modular & cusp forms

asked 2014-02-15 23:55:24 -0500

Peter Luschny gravatar image

updated 2014-02-15 23:57:24 -0500

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

1 answer

Sort by » oldest newest most voted
1

answered 2014-02-17 22:48:07 -0500

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 more

Comments

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

Peter Luschny gravatar imagePeter Luschny ( 2014-02-20 01:24:14 -0500 )edit

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-15 23:55:24 -0500

Seen: 104 times

Last updated: Feb 17 '14