Local Fields
p-adic Rings and Their Extensions
p-adic ring background, creation, and extensions.
General p-adic Extensions
General p-adic extension construction, operations, and maximal orders.
Power, Laurent, and Puiseux Series
Power, Laurent, and Puiseux series ring creation and operations.
Lazy Power Series Rings
Lazy power series ring creation, operations, and elements.
Algebraic Power Series Rings
Algebraic power series ring construction and accessors.
Valuation Rings
Valuation ring creation, structure, and element operations.
Galois Rings
Galois ring creation, operations, and elements.
Newton Polygons
Newton polygon computation and applications to factorisation.
Series Rings over p-adic Rings
Series rings over p-adic rings, matrices, and modules.
Local Galois Representations
Local Galois representation functions, invariants, and arithmetic.