Goal -- implement relative extensions of p-adic fields
Type -- basic features
Priority -- High
Difficulty -- Medium
Prerequisites -- absolute extensions, polynomial factoring
Background --
Contributors -- David Roe
Progress - not started
Related Tickets --
Discussion
It's not clear to me whether relative extensions should be implemented as absolute extensions with appropriate coercions, or as iterated polynomials...