Implementing various p-adic functionalities as part of an open-source contribution to SageMath. All functionalities build up to a new classification of distinguished defined polynomial for p-adic field extensions (polredpadic).

Magma code: https://github.com/roed314/padic_square/tree/main/Pauli/PolRedPadic