Algebraic and modular properties of hypergeometric functions #41113
Conversation
…to hypergeometric_algebraic
…to hypergeometric_algebraic
…to hypergeometric_algebraic
|
@mantepse: we (Florian and I) point out this PR that you might be interested in reviewing (when finished) :-) |
|
Documentation preview for this PR (built with commit d9af29a; changes) is ready! 🎉 |
…to hypergeometric_algebraic
…to hypergeometric_algebraic
| def nth_coefficient(self, n): | ||
| r""" | ||
| Return the ``n``-th coefficient of the series representation of this | ||
| hypergeoimetric function. |
There was a problem hiding this comment.
I think that this is a bad idea. It would be much better to have a clean conversion to lazy power series, where all this is consistently implemented.
There was a problem hiding this comment.
Why do you do the caching yourself?
There was a problem hiding this comment.
At least over finite fields, we need to store more information that just the coefficient: we retain its value in Qp(p, 1), i.e. we retain the first nonzero p-adic digit, even if the coefficient is divisible by p. It is very important to be able to unroll the recurrence.
…to hypergeometric_algebraic
…to hypergeometric_algebraic
…to hypergeometric_algebraic
3 participants
We implement the class
HypergeometricAlgebraicwhich provides methods for dealing with algebraic properties of hypergeometric functions, including algebraicity, global boundedness and stuffs about reductions modulo primes (p-curvature, annihilating polynomial, Lucas property, etc.)📝 Checklist
Dependences
#41205