search

sagemath / sage

Main repository of SageMath
https://www.sagemath.org
Other
1.46k stars 484 forks source link

Improvements to hypergeometric motives #23952

Open kedlaya opened 7 years ago

kedlaya commented 7 years ago

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.

Component: algebraic geometry

Keywords: hypergeometric motives

Issue created by migration from https://trac.sagemath.org/ticket/23952

kedlaya commented 7 years ago

Description changed:

--- 
+++ 
@@ -3,5 +3,5 @@
 - Euler factors at tame and wild primes.
 - Tune the p-adic precision in `padic_H_value`.
 - Speed up the computation of p-adic Gamma.
-- Speed up possible_hypergeometric_data for fixed weight.
+- 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.
simonbrandhorst commented 7 years ago

Changed keywords from none to sd91

kedlaya commented 6 years ago

Description changed:

--- 
+++ 
@@ -3,5 +3,6 @@
 - Euler factors at tame and wild primes.
 - Tune the p-adic precision in `padic_H_value`.
 - Speed up the computation of p-adic Gamma.
+- Modify the computation of Gauss sums to eliminate redundant evaluations of p-adic Gamma (this being a bottleneck).
 - 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.
kedlaya commented 6 years ago

Description changed:

--- 
+++ 
@@ -2,7 +2,7 @@

 - Euler factors at tame and wild primes.
 - Tune the p-adic precision in `padic_H_value`.
-- Speed up the computation of p-adic Gamma.
+- Speed up the computation of p-adic Gamma. (See #24433 for a relevant optimization: caching coefficients of the Dwork exponential series.)
 - Modify the computation of Gauss sums to eliminate redundant evaluations of p-adic Gamma (this being a bottleneck).
 - 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.
kedlaya commented 6 years ago

Description changed:

--- 
+++ 
@@ -2,7 +2,6 @@

 - Euler factors at tame and wild primes.
 - Tune the p-adic precision in `padic_H_value`.
-- Speed up the computation of p-adic Gamma. (See #24433 for a relevant optimization: caching coefficients of the Dwork exponential series.)
-- Modify the computation of Gauss sums to eliminate redundant evaluations of p-adic Gamma (this being a bottleneck).
+- 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.)
 - 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.
kedlaya commented 6 years ago

Description changed:

--- 
+++ 
@@ -3,5 +3,7 @@
 - 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`?
kedlaya commented 5 years ago

Description changed:

--- 
+++ 
@@ -1,9 +1,8 @@
 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.
+- 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.
 - 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`?
kedlaya commented 4 years ago

Description changed:

--- 
+++ 
@@ -2,7 +2,7 @@

 - Euler factors at tame and wild primes.
 - 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.
+- Recode the computation of Gauss sums and/or the hypergeometric trace formula in Cython. (See #28902.)
 - 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`?
kedlaya commented 4 years ago

Changed keywords from sd91 to hypergeometric motives

kedlaya commented 4 years ago

Description changed:

--- 
+++ 
@@ -1,6 +1,7 @@
 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.
+- Euler factors at tame primes. These are implemented in Magma and involve Jacobi motives.
+- Euler factors at wild primes. This is rather complicated.
 - 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.)
 - Speed up possible_hypergeometric_data for fixed weight. (See #23953 for one step: returning an iterator instead of a list.)
kedlaya commented 4 years ago

Description changed:

--- 
+++ 
@@ -2,6 +2,7 @@

 - Euler factors at tame primes. These are implemented in Magma and involve Jacobi motives.
 - 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.)
 - Speed up possible_hypergeometric_data for fixed weight. (See #23953 for one step: returning an iterator instead of a list.)
fchapoton commented 4 years ago

Description changed:

--- 
+++ 
@@ -1,6 +1,6 @@
 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.
+- 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).
mkoeppe commented 4 years ago
comment:12

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.

kedlaya commented 4 years ago

Description changed:

--- 
+++ 
@@ -4,7 +4,7 @@
 - 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.)
+- 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`?
mkoeppe commented 3 years ago
comment:15

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