Opened 5 years ago

Last modified 3 months ago

#23952 new enhancement

Improvements to hypergeometric motives

Reported by: Kiran Kedlaya Owned by:
Priority: major Milestone: sage-9.8
Component: algebraic geometry Keywords: hypergeometric motives
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description (last modified by Kiran Kedlaya)

In the wake of #23671, a meta-ticket to record some proposed improvements to hypergeometric motives. Please add suggestions to this list, and make individual tickets for individual changes.

  • Euler factors at tame primes. These are implemented in Magma and involve Jacobi motives (#29040).
  • Euler factors at wild primes. This is rather complicated.
  • Good Euler factors for parameter in a number field.
  • Optimizations to speed up padic_H_value. Some occur at #24433 (cache coefficients of the Dwork exponential series) and #28458 (eliminate redundant Gauss sum calls).
  • Recode the computation of Gauss sums and/or the hypergeometric trace formula in Cython. (See #28902, #29893.)
  • Speed up possible_hypergeometric_data for fixed weight. (See #23953 for one step: returning an iterator instead of a list.)
  • Add the computation of the Frobenius structure on the hypergeometric equation, which can be more efficient than the trace formula when the degree is large.
  • Refactor: should this really be under modular?

Change History (19)

comment:1 Changed 5 years ago by Kiran Kedlaya

Description: modified (diff)

comment:2 Changed 5 years ago by Simon Brandhorst

Keywords: sd91 added

comment:3 Changed 5 years ago by Kiran Kedlaya

Description: modified (diff)

comment:4 Changed 5 years ago by Kiran Kedlaya

Description: modified (diff)

comment:5 Changed 5 years ago by Kiran Kedlaya

Description: modified (diff)

comment:6 Changed 5 years ago by Kiran Kedlaya

Description: modified (diff)

comment:7 Changed 3 years ago by Kiran Kedlaya

Description: modified (diff)

comment:8 Changed 3 years ago by Kiran Kedlaya

Description: modified (diff)
Keywords: hypergeometric motives added; sd91 removed
Milestone: sage-8.2sage-9.1

comment:9 Changed 3 years ago by Kiran Kedlaya

Description: modified (diff)

comment:10 Changed 3 years ago by Kiran Kedlaya

Description: modified (diff)

comment:11 Changed 3 years ago by Frédéric Chapoton

Description: modified (diff)

comment:12 Changed 3 years ago by Matthias Köppe

Milestone: sage-9.1sage-9.2

Batch modifying tickets that will likely not be ready for 9.1, based on a review of the ticket title, branch/review status, and last modification date.

comment:13 Changed 2 years ago by Kiran Kedlaya

Description: modified (diff)

comment:14 Changed 2 years ago by Matthias Köppe

Milestone: sage-9.2sage-9.3

comment:15 Changed 22 months ago by Matthias Köppe

Milestone: sage-9.3sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

comment:16 Changed 17 months ago by Matthias Köppe

Milestone: sage-9.4sage-9.5

comment:17 Changed 12 months ago by Matthias Köppe

Milestone: sage-9.5sage-9.6

comment:18 Changed 8 months ago by Matthias Köppe

Milestone: sage-9.6sage-9.7

comment:19 Changed 3 months ago by Matthias Köppe

Milestone: sage-9.7sage-9.8
Note: See TracTickets for help on using tickets.