search

sagemath / sage

Main repository of SageMath. Now open for Issues and Pull Requests.
https://www.sagemath.org
Other
1.08k stars 394 forks source link

Implement hypergeometric Euler factors for tame primes #37881

Closed kedlaya closed 1 day ago

kedlaya commented 2 weeks ago

We continue the port of hypergeometric motives from Magma by implementing the computation of hypergeometric traces and Euler factors for tame primes. This splits into two essentially separate cases: when t has nonzero p-adic valuation ("tame"), and when t-1 has nonzero p-adic valuation ("multiplicative"). In the second case, the computation uses the local functional equation as in the good reduction case.

github-actions[bot] commented 2 weeks ago

Documentation preview for this PR (built with commit 1de49bef71753671f431b96002bf0fd6922a9c8b; changes) is ready! :tada: This preview will update shortly after each push to this PR.

kedlaya commented 1 week ago

I think all the content is (finally) here now, but I'm not sure what's going on with the build failures in CI.

tscrim commented 1 week ago

Those build failures are happening across all PRs. I don't know what's going on there either.

fchapoton commented 1 week ago

For a tentative to repair the currently very broken CI , see #37926