[Foxtrot] Square Roots modulo p^2

[Alan Lawrence]

let x = sqrt(a) mod p

then

y = (x + a/x)/2

(doing all divisions modulo p^2)

is the square root of a modulo p^2.

--Alan