Ticket #3502 (closed enhancement: fixed)

Opened 21 months ago

Last modified 18 months ago

[with patch; positive review] modular symbols -- optimize fast computation of hecke eigenvalues on weight 2 modular symbols for gamma0

Reported by: was Owned by: craigcitro
Priority: major Milestone: sage-3.1.3
Component: modular forms Keywords:
Cc: Author(s):
Report Upstream: Reviewer(s):
Merged in: Work issues:

Description (last modified by was) (diff)

1. Implement applying Hecke operator to a single sparse vector, an operation that is needed for quick computation of systems of Hecke eigenvalues.

2. Make very very fast code for applying many Hecke operators to a single vector with one nonzero entry.

NOTE: The higher weight patches (starting with patch 10) depend on upgrading flint, since flint had a bug: #3523.

NOTE: A cumulative bundle with all possible dependencies is here:

 http://sage.math.washington.edu/home/was/patches/3502.hg

Attachments

3502.hg Download (41.3 KB) - added by craigcitro 18 months ago.
William's bundle with all patches
trac-3502-addl.patch Download (34.3 KB) - added by craigcitro 18 months ago.

Change History

Changed 21 months ago by was

  • summary changed from modular symbols -- implement apply_sparse, which is needed for fast eigenvalue computation to [with patch; not ready for review] modular symbols -- implement apply_sparse, which is needed for fast eigenvalue computation

Changed 21 months ago by was

  • description modified (diff)
  • summary changed from [with patch; not ready for review] modular symbols -- implement apply_sparse, which is needed for fast eigenvalue computation to [with patch; not ready for review] modular symbols -- optimize fast computation of hecke eigenvalues on weight 2 modular symbols for gamma0

Changed 21 months ago by was

  • description modified (diff)

Changed 21 months ago by was

  • description modified (diff)

Changed 21 months ago by was

  • description modified (diff)

Changed 18 months ago by craigcitro

  • summary changed from [with patch; not ready for review] modular symbols -- optimize fast computation of hecke eigenvalues on weight 2 modular symbols for gamma0 to [with positive review and additional patch, additional patch needs review] modular symbols -- optimize fast computation of hecke eigenvalues on weight 2 modular symbols for gamma0
  • milestone changed from sage-3.1.3 to sage-3.1.2

So I looked over the code, and everything looks good. There were a handful of small touch-ups needed, missing doctests, etc., so I went ahead and took care of all of that. Someone should look over the additional patch I've posted, but after that, this looks ready to go.

I'm also cleaning up the ticket by deleting the 12 individual patches and posting William's complete bundle (from the URL he added above), and adding my patch.

Changed 18 months ago by craigcitro

William's bundle with all patches

Changed 18 months ago by craigcitro

Changed 18 months ago by craigcitro

  • milestone changed from sage-3.1.2 to sage-3.1.3

(This doesn't need to go into 3.1.2, so I'm moving it to 3.1.3.)

Changed 18 months ago by was

  • summary changed from [with positive review and additional patch, additional patch needs review] modular symbols -- optimize fast computation of hecke eigenvalues on weight 2 modular symbols for gamma0 to [with patch; positive review] modular symbols -- optimize fast computation of hecke eigenvalues on weight 2 modular symbols for gamma0

I read through the additional patch, applied it, doctested it, and I'm happy across the board. It's very good for increasing doctest coverage.

Thanks Craig!!

Changed 18 months ago by mabshoff

  • status changed from new to closed
  • resolution set to fixed

Merged 3502.hg and trac-3502-addl.patch in Sage 3.1.3.alpha1

Note: See TracTickets for help on using tickets.