Opened 10 months ago

Last modified 4 months ago

#30521 new defect

Padics README Missing 2-Step Extensions

Reported by: gh-n-vi Owned by:
Priority: major Milestone: sage-9.4
Component: padics Keywords: readme, documentation
Cc: Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

In the padics README, which appears here: https://github.com/sagemath/sage/tree/develop/src/sage/rings/padics,
Any file related to two-step padic extensions is marked as such that does not yet exist.
But in fact, it is actually possible to achieve a 2-step padic extension (an eisenstein extension over an unramified one):

sage: R.<x> = ZZ[]
sage: K.<a> = ZqCA(25)
sage: W.<w> = K.extension(x^3-5)
sage: K
5-adic Unramified Extension Ring in a defined by x^2 + 4*x + 2
sage: W
5-adic Eisenstein Extension Ring in w defined by x^3 - 5 over its base ring

Change History (2)

comment:1 Changed 8 months ago by mkoeppe

  • Milestone changed from sage-9.2 to sage-9.3

comment:2 Changed 4 months ago by mkoeppe

  • Milestone changed from sage-9.3 to sage-9.4

Setting new milestone based on a cursory review of ticket status, priority, and last modification date.

Note: See TracTickets for help on using tickets.