Local Fields#
p-adic Fields
p-adic numbers, extensions and arithmetic.
Formal Power Series
Laurent and power series rings and computations.
Completions
Completing number fields and function fields at primes.
Extensions
Unramified, totally ramified and general extensions.
Newton Polygons
Newton polygon computation and applications to factorisation.