1: \begin{abstract}
2: Let $K$ be a local field with finite residue field, we define a normal form for Eisenstein
3: polynomials depending on the choice of a uniformizer $\pi_K$ and of residue representatives. The
4: isomorphism classes of extensions generated by the polynomials in the family exhaust all totally
5: ramified extensions, and the multiplicity with which each isomorphism class $L/K$ appears is
6: always smaller than the number of conjugates of $L$ over $K$.
7:
8: An algorithm to recover the set of all special polynomials generating the extension determined by
9: a general Eisenstein polynomial is described. We also give a criterion to quickly establish that a
10: polynomial generates a different extension from that generated by a set of special polynomials,
11: such criterion does not only depend on the usual distance on the set of Eisenstein polynomials
12: considered by Krasner and others.
13:
14: We conclude with an algorithm for the construction of the unique special equation determining a
15: totally ramified class field in general degree, given a suitable representation of a group of
16: norms.
17: \end{abstract}
18: