Opened 4 years ago

Last modified 4 months ago

#25976 new enhancement

Residue fields of valuations should be of natural type and functorial

Reported by: saraedum Owned by:
Priority: minor Milestone: sage-8.4
Component: padics Keywords: padicBordeaux
Cc: swewers, roed Merged in:
Authors: Julian Rüth Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: #26103, #28485 Stopgaps:

Status badges


Change History (6)

comment:1 Changed 4 years ago by saraedum

  • Dependencies set to #26103

comment:2 Changed 3 years ago by saraedum

  • Keywords padicBordeaux added

comment:3 Changed 4 months ago by saraedum

  • Dependencies changed from #26103 to #26103, #28485

This will probably resolve magically once has been merged.

comment:4 Changed 4 months ago by saraedum

  • Cc swewers roed added

comment:5 Changed 4 months ago by saraedum

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.

comment:6 Changed 4 months ago by saraedum

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

Note: See TracTickets for help on using tickets.