* ''Goal'' -- implement relative extensions of p-adic fields
 * ''Type'' -- basic features
 * ''Priority'' -- High
 * ''Difficulty'' -- Medium
 * ''Prerequisites'' -- [[../GeneralExtensions | absolute extensions]], [[../PolynomialFactoring | 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...

== Tasks ==