Added documentation of padic powering, division, inversion, square root.