implement and test padic_matxx