OFFSET
1,1
LINKS
Marc Chamberland, Binary BBP-Formulae for Logarithms and Generalized Gaussian-Mersenne Primes, Journal of Integer Sequences, Vol. 6 (2003), Article 03.3.7.
FORMULA
The numerator of the rational expression exp(2*Re(log(Phi_n((1 + i)/2)))) is prime, where Phi_n is the n-th cyclotomic polynomial. See A088962 for the values of n that generate primes.
MATHEMATICA
lst = {}; Do[s = Numerator@FullSimplify@Exp[2*Re@Log@Cyclotomic[n, (1 + I)/2]]; If[PrimeQ[s] && ! MemberQ[lst, s], AppendTo[lst, s]], {n, 2^7}]; Take[Sort[lst], 31]
CROSSREFS
KEYWORD
nonn
AUTHOR
Arkadiusz Wesolowski, May 07 2012
STATUS
approved
