id summary reporter owner description type status priority milestone component resolution keywords cc merged author reviewer upstream work_issues branch commit dependencies stopgaps
14825 Iterators for p-adic expansions, polynomial representations of padic elements caruso roed "This method makes a few additions/changes to p-adics.
* If `K` is an extension of `Z_p` whose generator is `a`, we add a method {{{polynomial}}} which takes as input an element `x` in `K` and outputs a polynomial `P` with coefficients in `Z_p` such that `P(a) = x`.
{{{
sage: K. = Qq(5^3)
sage: a.polynomial()
(1 + O(5^20))*x + (O(5^20))
}}}
* Rename the `list()` method to `expansion()` and have it return a custom iterable instead of a list
* Rename the `teichmuller_list()` method to `teichmuller_expansion()` and have it return a custom iterable instead of a list
* Add an optional argument `n` to `expansion()` and `teichmuller_expansion()`, providing a single digit in the p-adic expansion.
* Fix inconsistencies in `teichmuller_expansion()` for different precision types
* Deprecate `padded_list` since this functionality is available either from `expansion` or from `Integer.digits` using the `padto` keyword.
* Copy sections of inclusions `ZZ->Zp` when they’re used within the coercion system
There are followup tickets at #23827, #26406." enhancement closed major sage-6.4 padics fixed sd87, days88, polynomial representation saraedum Xavier Caruso, David Roe, Julian Rüth Julian Rüth, David Roe N/A plugin error 04a1579131d64cdc63ecf1babcba2350dec6497c #20310