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: |
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
- Milestone changed from sage-9.2 to sage-9.3
comment:2 Changed 4 months ago by
- Milestone changed from sage-9.3 to sage-9.4
Note: See
TracTickets for help on using
tickets.
Setting new milestone based on a cursory review of ticket status, priority, and last modification date.