Currently this:
pAdicField(5)(Integers(125)(13))
produces this:
Traceback (most recent call last):
...
TypeError: unable to compute ordp
I think SAGE should be able to perform such a conversion.
Component: basic arithmetic
Issue created by migration from https://trac.sagemath.org/ticket/4