Update padic.py