PowerMod

Modular exponentiaion.
See https://en.wikipedia.org/wiki/Modular_exponentiation.


PowerMod[x, y, m]

computes x^y modulo m.

PowerMod does not support rational coefficients (roots) yet.

ModularInverse
Quotient