Local Fields

Magma supports p-adic fields and their extensions to arbitrary precision. Algorithms include polynomial factorisation over local fields, ramification theory, and local-global compatibility for arithmetic problems.