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:

Status badges

Description (last modified by was)

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:

  1. For those who want to collaborate on this, I'm trying to do my actual work on this ticket using github in this branch:

https://github.com/williamstein/sagelib/commits/lfun

  1. Here is a flattened patch with everything that I will regularly update:

http://wstein.org/patches/trac_12545-cumulative.patch

Change History (16)

comment:1 Changed 9 years ago by was

  • Description modified (diff)

comment:2 Changed 9 years ago by was

  • Description modified (diff)

comment:3 Changed 9 years ago by was

  • Description modified (diff)

comment:4 Changed 9 years ago by was

  • Description modified (diff)

comment:5 Changed 9 years ago by was

  • Description modified (diff)

comment:6 Changed 8 years ago by jdemeyer

  • Milestone changed from sage-5.11 to sage-5.12

comment:7 Changed 8 years ago by vbraun_spam

  • Milestone changed from sage-6.1 to sage-6.2

comment:8 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.2 to sage-6.3

comment:9 Changed 7 years ago by vbraun_spam

  • Milestone changed from sage-6.3 to sage-6.4

comment:10 Changed 3 years ago by chapoton

  • Keywords L-series added
  • Milestone changed from sage-6.4 to sage-8.4

comment:11 Changed 2 years ago by chapoton

  • Keywords lseries added; L-series removed

comment:12 Changed 4 months ago by wuthrich

  • 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

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".

comment:13 follow-up: Changed 3 months ago by vdelecroix

comment:14 in reply to: ↑ 13 Changed 3 months ago by was

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 roed

  • Status changed from needs_review to positive_review

comment:16 Changed 5 weeks ago by mkoeppe

  • Resolution set to invalid
  • Status changed from positive_review to closed
Note: See TracTickets for help on using tickets.