1 | | We want to change printing p-adic extensions to make the print representation shorter and clearer (in order to prepare #23218). |

| 1 | We make the print representation of p-adic extensions shorter and clearer (in order to prepare #23218). |

| 2 | |

| 3 | For example, the different outputs below from before this ticket: |

| 4 | {{{ |

| 5 | sage: R.<a> = ZqCR(25, 40); R |

| 6 | Unramified Extension in a defined by x^2 + 4*x + 2 |

| 7 | with capped relative precision 40 over 5-adic Ring |

| 8 | |

| 9 | sage: R.<a> = ZqCA(25, 40); R |

| 10 | Unramified Extension in a defined by x^2 + 4*x + 2 |

| 11 | with capped absolute precision 40 over 5-adic Ring |

| 12 | |

| 13 | sage: R.<a> = ZqFM(25, 40); R |

| 14 | Unramified Extension in a defined by x^2 + 4*x + 2 |

| 15 | of fixed modulus 5^40 over 5-adic Ring |

| 16 | |

| 17 | sage: R.<a> = ZqFP(25, 40); R |

| 18 | Unramified Extension in a defined by x^2 + 4*x + 2 |

| 19 | with floating precision 40 over 5-adic Ring |

| 20 | }}} |

| 21 | become the same shorter outpout after this ticket: |

| 22 | {{{ |

| 23 | sage: R.<a> = ZqCR(25, 40); R |

| 24 | 5-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2 |

| 25 | |

| 26 | sage: R.<a> = ZqCA(25, 40); R |

| 27 | 5-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2 |

| 28 | |

| 29 | sage: R.<a> = ZqFM(25, 40); R |

| 30 | 5-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2 |

| 31 | |

| 32 | sage: R.<a> = ZqFP(25, 40); R |

| 33 | 5-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2 |

| 34 | }}} |