Opened 21 months ago

Last modified 18 months ago

#23952 new enhancement

Improvements to hypergeometric motives

Reported by: kedlaya Owned by:
Priority: major Milestone: sage-8.2
Component: algebraic geometry Keywords: sd91
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description (last modified by 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 and wild primes.
  • Tune the p-adic precision in padic_H_value.
  • Speed up the computation of p-adic Gamma and/or modify the computation of Gauss sums to eliminate redundant evaluations of p-adic Gamma. (See #24433 for a relevant optimization: caching coefficients of the Dwork exponential series.)
  • Recode the hypergeometric trace formula in Cython.
  • 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 (6)

comment:1 Changed 21 months ago by kedlaya

  • Description modified (diff)

comment:2 Changed 20 months ago by sbrandhorst

  • Keywords sd91 added

comment:3 Changed 18 months ago by kedlaya

  • Description modified (diff)

comment:4 Changed 18 months ago by kedlaya

  • Description modified (diff)

comment:5 Changed 18 months ago by kedlaya

  • Description modified (diff)

comment:6 Changed 18 months ago by kedlaya

  • Description modified (diff)
Note: See TracTickets for help on using tickets.