Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

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

Open
roed314 opened this issue Jul 19, 2017 · 4 comments
Open

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

roed314 opened this issue Jul 19, 2017 · 4 comments
Labels
c: padics p: major / 3 t: enhancement

Comments

@roed314
Copy link
Contributor

roed314 commented Jul 19, 2017

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.

Depends on #21869

CC: @saraedum

Component: padics

Keywords: sd87, padicIMA, padicBordeaux

Issue created by migration from https://trac.sagemath.org/ticket/23480
@roed314 roed314 added this to the sage-8.1 milestone Jul 19, 2017
@saraedum
Copy link
Member

comment:1

This is implemented here: https://github.com/saraedum/completion/blob/master/completion.py#L904

@roed314
Copy link
Contributor Author

roed314 commented Jul 20, 2017

Changed keywords from none to sd87

@roed314
Copy link
Contributor Author

roed314 commented Jul 22, 2018

Changed keywords from sd87 to sd87, padicIMA

@roed314
Copy link
Contributor Author

roed314 commented Sep 7, 2019

Changed keywords from sd87, padicIMA to sd87, padicIMA, padicBordeaux

@mkoeppe mkoeppe removed this from the sage-8.1 milestone Dec 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
c: padics p: major / 3 t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@roed314 @saraedum @mkoeppe