# Changes between Initial Version and Version 13 of Ticket #14825

Ignore:
Timestamp:
06/30/17 04:28:11 (3 years ago)
Comment:

Unmodified
Removed
Modified
• ## Ticket #14825

• Property Status changed from `new` to `needs_review`
• Property Authors changed from `Xavier Caruso` to `Xavier Caruso, David Roe`
• Property Summary changed from `Polynomial representation of a padic number` to `Polynomial representations of padic elements, renaming list and teichmuller_list`
• Property Branch changed from to `u/roed/polynomial_representation_of_a_padic_number`
• Property Milestone changed from `sage-6.1` to `sage-6.4`
• Property Commit changed from to `779ddb8fa159e88e3a53ba7d3fe786fed815afc5`
• ## Ticket #14825 – Description

 initial If \$K\$ is an unramified extension of \$Z_p\$ whose generator is \$a\$, this patch implements 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\$. 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`. {{{ (1 + O(5^20))*x + (O(5^20)) }}} * Rename the `list()` method to `expansion()` * Rename the `teichmuller_list()` method to `teichmuller_expansion()` * 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 * Copy sections of inclusions `ZZ->Zp` when they’re used within the coercion system