p-Adic Extensions
Tools for generating extensions of p-adic fields. Implemented in the Magma computer algebra system.
Implements parts of the article “Enumerating extensions of (pi)-adic fields with given invariants” by Pauli and Sinclair (arXiv). Also see this re-exposition of the same work.