We describe a primality test for with an odd prime p and a positive integer n, which are a particular type of generalized Fermat numbers. We also present special primality criteria for all odd prime numbers p not exceeding 19. All these primality tests run in deterministic polynomial time in the input size log₂M. A special 2pth power reciprocity law is used to deduce our result.
Let d be a fixed positive integer. A Lucas d-pseudoprime is a Lucas pseudoprime N for which there exists a Lucas sequence U(P,Q) such that the rank of appearance of N in U(P,Q) is exactly (N-ε(N))/d, where the signature ε(N) = (D/N) is given by the Jacobi symbol with respect to the discriminant D of U. A Lucas d-pseudoprime N is a primitive Lucas d-pseudoprime if (N-ε(N))/d is the maximal rank of N among Lucas sequences U(P,Q) that exhibit N as a Lucas pseudoprime. We derive...