id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
23952 Improvements to hypergeometric motives 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`?" enhancement new major sage-9.3 algebraic geometry hypergeometric motives N/A