I would like to automate a huge amount of computation that involves basic arithmetic operations with $p$-adic numbers. I have found a Mathematica package for it, but it is old and acts quite erratically. Do you know of any computational software that does it reliably?
2 Answers
SAGE has p-adic arithmetic (for example, see http://www.math.utah.edu/~carlson/cimat/python-sage.pdf), and has the added benefit of being completely free and open-source!
This is just a very partial answer that is based on my experience trying to do some work with extension of p-adic numbers.
There is p-adic arithmetic in the free software programs SAGE, PARI and GAP, but their main limitation (I don't know if things have changed recently) was their inability to with relative extension, that is extensions of another field which is itself a proper extension of $\mathbb{Q}_p$. However if you have limited need for extensions they (mostly SAGE and PARI, because GAP is more group-theory oriented) have a very good interface to work with p-adic numbers.
For my thesis work I absolutely needed relative extensions, so I had to use Magma which is not free, but for small computations it can be used online: http://magma.maths.usyd.edu.au/calc/. It has a very good library, which requires some time to learn, like the Magma language which requires some learning too, but however the functionality provided is worth the effort.