Changes between Initial Version and Version 13 of Ticket #14825
 Timestamp:
 06/30/17 04:28:11 (3 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

Ticket #14825

Property
Status
changed from
new
toneeds_review

Property
Authors
changed from
Xavier Caruso
toXavier Caruso, David Roe
 Property Cc saraedum added

Property
Summary
changed from
Polynomial representation of a padic number
toPolynomial 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
sage6.1
tosage6.4

Property
Commit
changed from
to
779ddb8fa159e88e3a53ba7d3fe786fed815afc5

Property
Status
changed from

Ticket #14825 – Description
initial v13 1 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$. 1 This method makes a few additions/changes to padics. 2 3 * 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`. 2 4 3 5 {{{ … … 6 8 (1 + O(5^20))*x + (O(5^20)) 7 9 }}} 10 * Rename the `list()` method to `expansion()` 11 * Rename the `teichmuller_list()` method to `teichmuller_expansion()` 12 * Add an optional argument `n` to `expansion()` and `teichmuller_expansion()`, providing a single digit in the padic expansion. 13 * Fix inconsistencies in `teichmuller_expansion()` for different precision types 14 * Copy sections of inclusions `ZZ>Zp` when they’re used within the coercion system