Algoritmo de Tonelli–Shanks

Algoritmo determinista para calcular una raíz cuadrada de un residuo cuadrático a módulo un primo impar p (encontrar x con x^2 ≡ a (mod p)) mediante exponentiaciones y ajustes iterativos usando la descomposición p−1 = q·2^s y un no-residuo cuadrático.