The facilities for working with local fields are under construction. As a consequence this online help node and the nodes below it currently describe the facilities for working in p-adic fields only; those for their finite extensions will follow at a later stage. Also, some of the information may be slightly inaccurate.