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 this paper
Contributors -- David Roe
Progress - not started
Related Tickets --
Discussion