#10451 closed enhancement (fixed)
Compute the matrices of diamond bracket operators
Reported by: | davidloeffler | Owned by: | craigcitro |
---|---|---|---|
Priority: | major | Milestone: | sage-4.7 |
Component: | modular forms | Keywords: | |
Cc: | mraum | Merged in: | sage-4.7.alpha3 |
Authors: | David Loeffler | Reviewers: | Martin Raum |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
It would be nice to be able to compute the matrices of the diamond bracket operators <d> on spaces of Gamma1 (and GammaH) modular forms. At present this doesn't seem to be implemented.
(Note that this subsumes #10438, which can be closed as duplicate.)
Attachments (2)
Change History (15)
Changed 12 years ago by
Attachment: | trac_10451-diamond_operators.patch added |
---|
comment:1 Changed 12 years ago by
Authors: | → David Loeffler |
---|---|
Status: | new → needs_review |
Here's a patch. It requires #8716, but is independent of any of my other recent modular forms patches.
comment:2 Changed 12 years ago by
Description: | modified (diff) |
---|
comment:3 Changed 12 years ago by
Depends on #8716 Apply trac_10451-diamond_operators.patch (FAO PatchBot)
comment:5 Changed 12 years ago by
Priority: | minor → major |
---|
comment:6 Changed 12 years ago by
Cc: | mraum@… added |
---|
I browsed through the code and the implementation looks good. I still need to think more thoroughly about whether there are any sever consequences when making the diamond operators an element of the Hecke algebra in Sage.
One question: Are there particular reasons why you call the first function in your code diamond_bracket_matrix and not diamond_bracket_operator? After all it's still an element of the Hecke algebra and it has a method .matrix(). In my opinion this might cause confusion.
Martin
comment:7 Changed 12 years ago by
Hi Martin,
Thanks for looking at this!
Can you tell me more precisely which function your last comment refers to? I wanted to stick to the convention that functions with "matrix" in the name returned a matrix, and things with "operator" return an element of a Hecke algebra. I can't see anywhere in the patch where this is violated -- can you show me where?
David
comment:8 follow-up: 10 Changed 12 years ago by
There has been a tiny change to 4.6.2 and I adapted the rewrite of free_module. Apart from this I slightly adjusted the documentation. All tests pass. If you are OK with the review patch, you can give it a positive review.
For the patchbot and the release manager: Apply trac_10451-diamond_operators-review.patch
Changed 12 years ago by
Attachment: | trac-10451-diamond_operators-review.patch added |
---|
comment:9 Changed 12 years ago by
Reviewers: | → Martin Raum |
---|---|
Status: | needs_review → positive_review |
I'm happy with the changes. Thanks for cleaning up my docstrings!
Apply trac-10451-diamond_operators-review.patch
comment:10 Changed 12 years ago by
Description: | modified (diff) |
---|
Replying to mraum:
For the patchbot and the release manager:
Apply trac_10451-diamond_operators-review.patch
Please put this information in the ticket description next time.
comment:11 Changed 12 years ago by
Description: | modified (diff) |
---|
You even misspelled the attachment name so it's useless for the patchbot!
comment:12 Changed 12 years ago by
Merged in: | → sage-4.7.alpha3 |
---|---|
Resolution: | → fixed |
Status: | positive_review → closed |
comment:13 Changed 3 weeks ago by
Cc: | mraum added; mraum@… removed |
---|
patch against 4.6.1.alpha3 + #8716