(K1, a, K0)
return K1(K1.ring.convert(a, K0))
Convert a Python `int` object to `dtype`.
Convert a Python `int` object to `dtype`.
Convert a Python int object to dtype .
def from_ZZ_python(K1, a, K0):
        """Convert a Python `int` object to `dtype`. """
        return K1(K1.ring.convert(a, K0))
def from_ZZ_python ( K1 , a , K0 ) : return K1 ( K1 . ring . convert ( a , K0 ) )