Algebraic and modular properties of hypergeometric functions#41113

Draft

xcaruso wants to merge 115 commits intosagemath:developfrom

xcaruso:hypergeometric_algebraic

Commits on Oct 24, 2025

create blank class for nonsymbolic hypergeometric functions
Xavier Caruso
committed
first implementation (without documentation)
Xavier Caruso
committed

Commits on Oct 27, 2025

p-curvature and Dwork relations
Xavier Caruso
committed
Documentation for scalar
FloFuer
committed
framework Parent/Element
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed
fix indentation
Xavier Caruso
committed
Added documentation, fixed derivative of hypergeometric functions
FloFuer
committed
coercion to SR
Xavier Caruso
committed

Commits on Oct 28, 2025

latex
Xavier Caruso
committed
annihilating polynomial
Xavier Caruso
committed

Commits on Oct 29, 2025

Documentationx
FloFuer
committed
faster algorithm for computing kernel
Xavier Caruso
committed
normalize annihilating polynomial
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
FloFuer
committed
tutorial coming soon
Xavier Caruso
committed
Tutorial here
FloFuer
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
FloFuer
committed
conjectural (and faster) version of is_defined in positive characteristic
Xavier Caruso
committed
good reduction primes
Xavier Caruso
committed
monodromy + lucas
Xavier Caruso
committed
try to fix failing doctests
Xavier Caruso
committed
easy fixes
Xavier Caruso
committed
missing parenthesis
Xavier Caruso
committed

Commits on Oct 30, 2025

hadamard product
Xavier Caruso
committed
use Qp instead of QpFP
Xavier Caruso
committed
Merge branch 'develop' into hypergeometric_algebraic
Xavier Caruso
committed

Commits on Nov 1, 2025

Merge branch 'primes_congruences' into hypergeometric_algebraic
Xavier Caruso
committed
use Primes
Xavier Caruso
committed
documentation + small fixes/improvements
Xavier Caruso
committed
Merge branch 'primes_congruences' into hypergeometric_algebraic
Xavier Caruso
committed
fix typos in documentation
Xavier Caruso
committed
Merge branch 'primes_congruences' into hypergeometric_algebraic
Xavier Caruso
committed

Commits on Nov 2, 2025

Merge branch 'primes_congruences' into hypergeometric_algebraic
Xavier Caruso
committed
add a check in the kernel method
Xavier Caruso
committed

Commits on Nov 4, 2025

Merge branch 'primes_congruences' into hypergeometric_algebraic
Xavier Caruso
committed

Commits on Nov 5, 2025

reimplement dwork_relation (should also work for small p, now)
Xavier Caruso
committed
(Hopefully) fixed is_defined_conjectural
FloFuer
committed
Implemented is_almost_defined()
FloFuer
committed
use is_defined_conjectural
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed

Commits on Nov 6, 2025

implement valuation + code refactorisation
Xavier Caruso
committed
small fixes
Xavier Caruso
committed
Documentation
FloFuer
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
FloFuer
committed

Commits on Nov 7, 2025

Commits on Nov 9, 2025

small edits in the documentation
Xavier Caruso
committed
some features we may want to include
Xavier Caruso
committed

Commits on Nov 10, 2025

documentation, fixed formal difference
FloFuer
committed

Commits on Nov 11, 2025

small reformatting
Xavier Caruso
committed
fix doctest
Xavier Caruso
committed
doc
FloFuer
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
FloFuer
committed

Commits on Nov 12, 2025

Merge branch 'develop' into hypergeometric_algebraic
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed
documentation, issue with valuation
FloFuer
committed

Commits on Nov 14, 2025

Potential fix for valuation
FloFuer
committed
fix and simplify doctests
Xavier Caruso
committed

Commits on Nov 15, 2025

fix good_reduction_primes
FloFuer
committed
new algorithm for computing valuation
Xavier Caruso
committed
indentation
Xavier Caruso
committed
small changes
FloFuer
committed

Commits on Nov 16, 2025

add comments
Xavier Caruso
committed
fix halting criterion
Xavier Caruso
committed
split in two files
Xavier Caruso
committed
include in the documentation
Xavier Caruso
committed
small rewriting
Xavier Caruso
committed
fix again halting criterion
Xavier Caruso
committed
raise an error if p is not prime
Xavier Caruso
committed

Commits on Nov 17, 2025

more bugs fixed
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
FloFuer
committed
Tate series and evaluation
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed
fix O(...) in printing
Xavier Caruso
committed

Commits on Nov 18, 2025

doc
FloFuer
committed

Commits on Nov 19, 2025

mean weight and transitive closure
Xavier Caruso
committed
extremum cycle mean, documentation
Xavier Caruso
committed
Merge branch 'tropical_matrices' into hypergeometric_algebraic
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed
doc
FloFuer
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
FloFuer
committed
use tropical matrices
Xavier Caruso
committed
identity matrix
Xavier Caruso
committed
Merge branch 'tropical_matrices' into hypergeometric_algebraic
Xavier Caruso
committed
use the maximal log_radius for evaluation
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed
answer to Florian's question
Xavier Caruso
committed
Merge branch 'repr_tate_series' into hypergeometric_algebraic
Xavier Caruso
committed

Commits on Nov 20, 2025

doc
FloFuer
committed
identity_matrix should return a mutable matrix
Xavier Caruso
committed
Merge branch 'tropical_matrices' into hypergeometric_algebraic
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed
doctest is sagedoc.py
Xavier Caruso
committed

Commits on Nov 21, 2025

Merge branch 'tropical_matrices' into hypergeometric_algebraic
Xavier Caruso
committed
minor edits
Xavier Caruso
committed
some improvements in valuation_position
Xavier Caruso
committed
Implemented p_curvature_coranks
FloFuer
committed
Newton polygon
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed

Commits on Nov 22, 2025

simplify code; use Newton polygons directly
Xavier Caruso
committed
small fixes
Xavier Caruso
committed
fix lint; inherit from SageObject
Xavier Caruso
committed
take scalar into account
Xavier Caruso
committed
fix doctest
Xavier Caruso
committed
getitem and lazy power series
Xavier Caruso
committed

Commits on Nov 23, 2025

Commits on Nov 24, 2025

small fixes
Xavier Caruso
committed
Merge branch 'hypergeometric_algebraic' of github.com:xcaruso/sage into hypergeometric_algebraic
Xavier Caruso
committed
cosmetic
Xavier Caruso
committed

Commits on Nov 25, 2025

optimize dwork_relation
Xavier Caruso
committed
oops
Xavier Caruso
committed

Commits on Nov 27, 2025

doc, rerurn valuation in QQ instead of ZZ
FloFuer
committed