Implementation of an efficient primality tester using AKS and Miller-Rabin Primality Testing algorithms.