Hi David, I am ccing your original email and this reply directly to Nathan, since I don't know whether he reads sage-devel regularly.
Here's what I know from watching this from the sidelines. Nils Skoruppa keeps a mercurial repository with the Siegel modular forms code. Last time I spoke to him about this, he mentioned that he doesn't always update it regularly, so he might have a newer version that's not yet available there. The repository is at: http://hg.countnumber.de There was some intensive work done on this code last summer, see http://l-functions.org/Benasque09/Siegel I think that in the long run people would like to have this integrated in Sage, but I don't know how much of a priority it is for them right now. I would definitely be interested in having this in! I've done a bit of work on the preliminaries (e.g. Nils' rings of modular forms code), but that got put on hold due to lack of time. Best, Alex On Sun, Dec 06, 2009 at 02:32:53AM -0500, David Roe wrote: > Hey Nathan, > I was wondering what the status of the Siegel modular forms code was. > I found some of the code that you and Skoruppa wrote a year and a half > ago in his directory on sage.math > ([1]http://sage.math.washington.edu/home/nils/Siegel-Modular-Forms/code > /siegel_modular_forms.sage). Have you guys worked on it since then? > Is it planned to go into Sage at some point? > David > > On Sun, Jul 22, 2007 at 10:20 PM, Nathan Ryan <[2]nat...@math.ucla.edu> > wrote: > > Attached you'll find what I think is a patch that includes 600 lines > of > code that implements a barebones Siegel modular forms class (I also > included a tarred .sage file just to be sure). It's written by > David > Grunewald and myself and is based on a 1993 paper by Skoruppa. A lot > of > what David wrote in the past year broke when we moved to SAGE 2.6. > Some obvious To-dos: > 1. Figure out where in the SAGE class structure it fits. A > particular > space for a specific weight is a vector space, but we compute the > generators of the algebra of Siegel modular forms (these are > elements > of a commutative algebra). > 2. Optimize, if possible. Much of it is very slow. E.g., we > define a > particular SMF as an element of a power series, but would it be > faster > to define it as a polynomial and coerce it to a powerseries? > 3. Comments and doctests. I haven't included many yet. > 4. Include functions to compute the Hecke data associated to these > kinds of modular forms. > Nathan > --~--~---------~--~----~------------~-------~--~----~ > To post to this group, send email to [3]sage-de...@googlegroups.com > To unsubscribe from this group, send email to > [4]sage-devel-unsubscr...@googlegroups.com > For more options, visit this group at > [5]http://groups.google.com/group/sage-devel > URLs: [6]http://sage.scipy.org/sage/ and > [7]http://modular.math.washington.edu/sage/ > -~----------~----~----~----~------~----~------~--~--- > > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel-unsubscr...@googlegroups.com > For more options, visit this group at > [8]http://groups.google.com/group/sage-devel > URL: [9]http://www.sagemath.org > > References > > 1. > http://sage.math.washington.edu/home/nils/Siegel-Modular-Forms/code/siegel_modular_forms.sage > 2. mailto:nat...@math.ucla.edu > 3. mailto:sage-devel@googlegroups.com > 4. mailto:sage-devel-unsubscr...@googlegroups.com > 5. http://groups.google.com/group/sage-devel > 6. http://sage.scipy.org/sage/ > 7. http://modular.math.washington.edu/sage/ > 8. http://groups.google.com/group/sage-devel > 9. http://www.sagemath.org/ -- Alex Ghitza -- Lecturer in Mathematics -- The University of Melbourne -- Australia -- http://www.ms.unimelb.edu.au/~aghitza/ -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
