* ''Goal'' -- implement a function to test if totally ramified extensions are isomorphic, and to determine whether a polynomial has enough precision to specify an extension uniquely up to isomorphism 
 * ''Type'' -- basic features
 * ''Priority'' -- Medium
 * ''Difficulty'' -- Medium
 * ''Prerequisites'' -- None
 * ''Background'' -- see [[http://www.math.tu-berlin.de/~kant/publications/papers/krasner.pdf | this paper]]
 * ''Contributors'' -- David Roe
 * ''Progress'' - not started
 * ''Related Tickets'' -- 

== Discussion ==

== Tasks ==