more functions added to padic.lisp