Codificar matemáticas

[Gedeon]

Hola.
Estoy tratando de implementar el algoritmo de Miller-Rabin para testear la primalidad de números primos y tengo el problema de que mis escasas matemáticas me impiden entender que demonios están haciendo en esta línea matemática

y=a^r mod n

Y por tanto soy incapaz de realizar una función que sea capaz de calcular y.

¿Alguien que sea tan amable de explicarme que hace eso ya sea en pseudocódigo o cualquier lenguaje de programación?

[fradve]

Lo que hace es elevar r a la n potencia y luego a eso resultado se le saca el módulo (residuo de divisón) entre n y dicho lo obtenido se almacena en la variable y. Porque ese orden pues la potenciación es de mayor prioridad que la operación de módulo