OFFSET
1,1
LINKS
M. Chamberland, Binary BBP-Formulae for Logarithms and Generalized Gaussian-Mersenne Primes, Journal of Integer Sequences, v.6 (2003), article 03.3.7, 1-10.
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.
MATHEMATICA
t = {}; Do[s = FullSimplify[Exp[2 Re[Log [Cyclotomic[n, (1 + I)/2]]]]]; If[PrimeQ[Numerator[s]], AppendTo[t, n]], {n, 100}]; t (* T. D. Noe, May 02 2012 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Marc Chamberland, Oct 28 2003
STATUS
approved