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

Residue fields of valuations should be of natural type and functorial #25976

Open
saraedum opened this issue Jul 30, 2018 · 6 comments
Open

Residue fields of valuations should be of natural type and functorial #25976

saraedum opened this issue Jul 30, 2018 · 6 comments
Labels
c: padics p: minor / 4 t: enhancement

Comments

@saraedum
Copy link
Member

see MCLF/mclf#66 for the time being.

Depends on #26103
Depends on #28485

CC: @sagetrac-swewers @roed314

Component: padics

Keywords: padicBordeaux

Author: Julian Rüth

Issue created by migration from https://trac.sagemath.org/ticket/25976
@saraedum saraedum added this to the sage-8.4 milestone Jul 30, 2018
@saraedum
Copy link
Member Author

Dependencies: #26103

@saraedum
Copy link
Member Author

Changed keywords from none to padicBordeaux

@saraedum
Copy link
Member Author

Changed dependencies from #26103 to #26103, #28485

@saraedum
Copy link
Member Author

comment:3

This will probably resolve magically once #28485 has been merged.

@saraedum
Copy link
Member Author

comment:5

swewers: It would be nice if you could come up with a small list of examples where this does not work so we can add these as tests.

@saraedum
Copy link
Member Author

comment:6

And though that's not really the same issue, we could also add some tests for MCLF/mclf#103 which #28485 should resolve as well.

@mkoeppe mkoeppe removed this from the sage-8.4 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: minor / 4 t: enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@saraedum @mkoeppe