Opened 9 years ago
Closed 5 weeks ago
#12545 closed enhancement (invalid)
create highly optimized p-adic L-series implementation for various special cases
Reported by: | was | Owned by: | was |
---|---|---|---|
Priority: | minor | Milestone: | sage-duplicate/invalid/wontfix |
Component: | elliptic curves | Keywords: | lseries |
Cc: | Merged in: | ||
Authors: | Reviewers: | Chris Wuthrich | |
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
I (wstein) wrote code for psage that can compute p-adic L-series to low precision using the standard Riemann sums algorithm. This is only for the good ordinary case. The code is much faster than the existing "mostly pure python" code in Sage already. The point of this ticket is to port this code from psage to sage proper, improve the code a lot, and make it more general (e.g., support dimension > 1).
CODE:
- For those who want to collaborate on this, I'm trying to do my actual work on this ticket using github in this branch:
- Here is a flattened patch with everything that I will regularly update:
Change History (16)
comment:1 Changed 9 years ago by
- Description modified (diff)
comment:2 Changed 9 years ago by
- Description modified (diff)
comment:3 Changed 9 years ago by
- Description modified (diff)
comment:4 Changed 9 years ago by
- Description modified (diff)
comment:5 Changed 9 years ago by
- Description modified (diff)
comment:6 Changed 8 years ago by
- Milestone changed from sage-5.11 to sage-5.12
comment:7 Changed 8 years ago by
- Milestone changed from sage-6.1 to sage-6.2
comment:8 Changed 7 years ago by
- Milestone changed from sage-6.2 to sage-6.3
comment:9 Changed 7 years ago by
- Milestone changed from sage-6.3 to sage-6.4
comment:10 Changed 3 years ago by
- Keywords L-series added
- Milestone changed from sage-6.4 to sage-8.4
comment:11 Changed 2 years ago by
- Keywords lseries added; L-series removed
comment:12 Changed 4 months ago by
- Component changed from number theory to elliptic curves
- Milestone changed from sage-8.4 to sage-duplicate/invalid/wontfix
- Reviewers set to Chris Wuthrich
- Status changed from new to needs_review
comment:13 follow-up: ↓ 14 Changed 3 months ago by
Isn't it https://github.com/williamstein/psage?
comment:14 in reply to: ↑ 13 Changed 3 months ago by
Replying to vdelecroix:
Isn't it https://github.com/williamstein/psage?
Yes, the code that this references is psage. That code is very fast for what it does, but I'm not going to work on getting it into Sage anytime soon, so closing this as won't fix is OK with me. I'm very glad that development of relative functionality in pari and of overconvergent modular symbols has happened.
comment:15 Changed 3 months ago by
- Status changed from needs_review to positive_review
comment:16 Changed 5 weeks ago by
- Resolution set to invalid
- Status changed from positive_review to closed
Today I stumbled on this. The links are broken, the text is a bit cryptic. My understanding is that the plan was to improve the code for computing the p-adic L-function of an elliptic curve over Q. William had code that was faster than what was (and is) in sage now. But this was never transferred over.
In the meantime, overconvergent modular symbols were added (see #812) but the are not yet optimal either (see #20865). These were also added to pari not long ago.
Instead of trying to port old, unreachable code over, we should work on the ones above, in particular adding an interface for pari's implementation.
This ticket should be closed as "won't fix".