Sage code for working with Eisenstein polynomials on local (p-adic) fields: reduction to normal form, construction of class field and local Artin map.