Opened 5 years ago

Last modified 3 years ago

#23480 new enhancement

Make the Krasner's Lemma check in p-adic factory actually do something

Reported by: David Roe Owned by:
Priority: major Milestone: sage-8.1
Component: padics Keywords: sd87, padicIMA, padicBordeaux
Cc: Julian Rüth Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #21869 Stopgaps:

Status badges


When you create a p-adic extension from an inexact polynomial, Sage should ensure that there is enough precision to determine the resulting extension up to isomorphism.

Change History (4)

comment:2 Changed 5 years ago by David Roe

Keywords: sd87 added

comment:3 Changed 4 years ago by David Roe

Keywords: padicIMA added

comment:4 Changed 3 years ago by David Roe

Keywords: padicBordeaux added
Note: See TracTickets for help on using tickets.