These two programs can be run from within MAGMA, which can be purchased at http://magma.maths.usyd.edu.au/. To use them read the instructions at the top of padic_height.m. The source code of padic_height.m is released under the GPL. -- William Stein, September 2005.