Improvements to hypergeometric motives
In the wake of #23671, a metaticket 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)
Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Keywords: 
hypergeometric motives added; sd91 removed

Milestone: 
sage8.2 →
sage9.1

Description: 
modified (diff)

Description: 
modified (diff)

Description: 
modified (diff)

Milestone: 
sage9.1 →
sage9.2

Description: 
modified (diff)

Milestone: 
sage9.2 →
sage9.3

Milestone: 
sage9.3 →
sage9.4

Milestone: 
sage9.4 →
sage9.5

Milestone: 
sage9.5 →
sage9.6

Milestone: 
sage9.6 →
sage9.7

Milestone: 
sage9.7 →
sage9.8

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.