Final year Physics Project. Test numbers of type N=k*2^n +1, where k is odd and k<2^n, for primality using a^{(N-1)/2} = -1 (mod N).