Discrete exponential function

We define a ≡ b (mod c) if (a - b)/c is an integer. The function w = f(x, y, z) ≡ x^y (mod z) can be computed efficiently, even when x, y, z > 10³⁰⁰ by the following recursive algorithm (we assume that the integers x > 0, y > -1, and z > 0):

1. if y = 0, return 1.
2. if y is even, put u = f(x, y/2, z) and return (u*u) mod z
3. return {x*f(x, y - 1, z}} mod z

• Analysis
• The numbers computed are always less than z², and the final answer is less than z.