AKS checks divisibility by polynomials over Z/nZ, requiring bit operations proportional to log(n)² o...
This proposition has not been edited since the history system was added.