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,