Changes between Initial Version and Version 13 of Ticket #14825


Ignore:
Timestamp:
06/30/17 04:28:11 (2 years ago)
Author:
roed
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #14825

    • Property Status changed from new to needs_review
    • Property Authors changed from Xavier Caruso to Xavier Caruso, David Roe
    • Property Cc saraedum added
    • 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 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$.
     1This method makes a few additions/changes to p-adics.
     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`.
    24
    35{{{
     
    68(1 + O(5^20))*x + (O(5^20))
    79}}}
     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 p-adic 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