Re: Siegel modular form code
William Stein
I have now incorporated your Siegel modular forms code in psage, and
pushed the result to the official psage repo:
http://code.google.com/p/purplesage/
Note that the code is now under a different namespace, so doctesting
doesn't work yet. (Doctesting outside of the sage library isn't
really working well yet anyways.) But you can at least use the code
this way right now, and I strongly encourage you to start doing so, so
that when you change it, your changes will be easier to push to psage.
How to get going:
(1) Install any recent version of sage (skip if you have sage already).
(2) Clone the psage repository somewhere (anywhere) you want:
hg clone http://purplesage.googlecode.com/hg/ purplesage
(3) Setup the code for use in your copy of Sage:
cd purplesage; sage -python setup.py develop
In this step, some Cython code should get compiled by gcc.
(4) From anywhere, do "import psage", then "psage.[press tab key]".
In (4), you should see the SiegelModularForm command, etc. You can
also just do "from psage import *".
All of the actual Siegel modular forms code is in purplesage/psage/siegel/.
---
One way to do collaborative development on this code is to go to
http://code.google.com/p/purplesage/source/checkout
and click on the big link "Create a clone" at the bottom of the page.
Then you get your own copy of the psage repository, and can
push/pull, etc., from it. Moreover, it gets listed here:
http://code.google.com/p/purplesage/source/clones
In case it isn't clear, "psage" is a Python/Cython library, which can
be easily installed in any recent version of Sage. It's target
audience is "arithmetic geometry", and my immediate goals are that it
have code to compute:
* Hilbert modular forms
* Siegel modular forms
* Maass forms
* Function fields (and elliptic curves over them)
* Heegner points and related objects in a lot of generality
-- William
2010/10/27 Nils Skoruppa <nils.s...@uni-siegen.de>:
> Hi William,
>
> Yes, trac 8701 is the code to start with. During the Paris workshop I
> patched it into my Sage 4.5.3 and basic things like scalar valued Siegel
> modular forms of even weight worked fine. Alex and Nathan did great work
> when preparing the code for submission. Alas, there are several things still
> to do - already odd weight on the full modular group has problems. I shall
> try to put up a more systematic todo list and send it around. Personally, I
> am planning to look into the code again when I am next spring at the MSRI.
>
> Many greetings,
> ---Nils
>
>
> Am 27.10.2010 08:32, schrieb William Stein:
>>
>> Hi Everybody,
>>
>> I don't know if you're following psage at all, but I did a lot of work
>> on it today with Sal Baig, and got his code with Chris for computing
>> L-functions of elliptic curves over function fields:
>>
>> http://code.google.com/p/purplesage/source/browse/#hg/psage/ellff
>>
>> There's also a tiny amount of new code for computing Hilbert modular
>> forms that Aly Deines and I wrote.
>>
>> A lot of work remains to get the code in "perfect shape"; but people
>> can try it out now.
>> By the way, psage is both a distribution, and a new "optional spkg",
>> which one can just install into most any Sage:
>>
>> sage -i http://purplesage.googlecode.com/files/psage-10.10.26.spkg
>>
>> Next on the "hit list" (before Maass forms) is ** Siegel modular forms
>> **.
>> My plan to get this in, is to take the one patch at
>>
>> http://trac.sagemath.org/sage_trac/ticket/8701
>>
>> apply it to some recent Sage, then copy the entire modular/siegel
>> directory into psage, try to figure out what is
>> going on with that sage/categories/pushout.py file, then make sure
>> everything works.
>>
>> See http://code.google.com/p/purplesage/issues/detail?id=7
>>
>> Question for you guys: is the code at trac 8701 what I should start with??
>>
>> -- William
>>
>> On Fri, Sep 3, 2010 at 8:52 PM, Alex Ghitza<agh...@gmail.com> wrote:
>>>
>>> Hi Nathan,
>>>
>>> On Fri, 3 Sep 2010 23:35:13 -0400, Nathan Ryan<natha...@bucknell.edu>
>>> wrote:
>>>>
>>>> William recently announced PSAGE on his blog:
>>>>
>>>> http://389a.blogspot.com/2010/09/purple-sage.html
>>>>
>>>> This is an offshoot of the regular Sage project that aims to
>>>> incorporate cutting edge code related to arithmetic geometry (and, it
>>>> appears, modular forms). It is okay for the code submitted in this
>>>> project to have some broken parts and an interface that could change
>>>> in the future.
>>>>
>>>> If this is something you'd be okay with, I could submit something in
>>>> the next week or so.
>>>>
>>>> I'll interpret no response as saying that you're okay with this plan.
>>>
>>> My response is an enthusiastic "yes". Let me know if you want any
>>> help; I have precious little time (almost negative, in fact) these days,
>>> but I'll do what I can.
>>>
>>>
>>> Best,
>>> Alex
>>>
>>>
>>>
>>> --
>>> Alex Ghitza -- http://aghitza.org/
>>> Lecturer in Mathematics -- The University of Melbourne -- Australia
>>>
>>
>>
>
> --
> Nils-Peter Skoruppa
> Chair Algebra and Number Theory
> University of Siegen, Germany
> http://www.countnumber.de
>
>
>
--
William Stein
Professor of Mathematics
University of Washington
http://wstein.org