Changes between Version 8 and Version 14 of Ticket #25908


Ignore:
Timestamp:
07/24/18 10:44:38 (13 months ago)
Author:
slelievre
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #25908

    • Property Status changed from needs_review to positive_review
    • Property Authors changed from to Xavier Caruso
    • Property Cc slelievre added
    • Property Branch changed from u/caruso/padic_parent_printing to u/roed/padic_parent_printing
    • Property Reviewers changed from to David Roe
    • Property Commit changed from 5c4e3a35ac7d0570b09b4b58c5c419657bfb688b to 8815d83e8cddeb5854b2181615fa671f36ca1a0d
  • Ticket #25908 – Description

    v8 v14  
    1 We want to change printing p-adic extensions to make the print representation shorter and clearer (in order to prepare #23218).
     1We make the print representation of p-adic extensions shorter and clearer (in order to prepare #23218).
     2
     3For example, the different outputs below from before this ticket:
     4{{{
     5sage: R.<a> = ZqCR(25, 40); R
     6Unramified Extension in a defined by x^2 + 4*x + 2
     7with capped relative precision 40 over 5-adic Ring
     8
     9sage: R.<a> = ZqCA(25, 40); R
     10Unramified Extension in a defined by x^2 + 4*x + 2
     11with capped absolute precision 40 over 5-adic Ring
     12
     13sage: R.<a> = ZqFM(25, 40); R
     14Unramified Extension in a defined by x^2 + 4*x + 2
     15of fixed modulus 5^40 over 5-adic Ring
     16
     17sage: R.<a> = ZqFP(25, 40); R
     18Unramified Extension in a defined by x^2 + 4*x + 2
     19with floating precision 40 over 5-adic Ring
     20}}}
     21become the same shorter outpout after this ticket:
     22{{{
     23sage: R.<a> = ZqCR(25, 40); R
     245-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2
     25
     26sage: R.<a> = ZqCA(25, 40); R
     275-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2
     28
     29sage: R.<a> = ZqFM(25, 40); R
     305-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2
     31
     32sage: R.<a> = ZqFP(25, 40); R
     335-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2
     34}}}