OFFSET
1,1
COMMENTS
For a,b integers, the following sequences are defined:
generalized Lucas sequences by U(n+2)=a*U(n+1)-b*U(n) and U(0)=0, U(1)=1,
generalized Pell-Lucas sequences by V(n+2)=a*V(n+1)-b*V(n) and V(0)=2, V(1)=a.
These satisfy the identities U(p)^2 == 1 and V(p)==a (mod p) for p prime and b=1,-1.
These numbers may be called weak generalized Lucas-Bruckner pseudoprimes of parameters a and b.The current sequence is defined for a=5 and b=-1.
LINKS
Chai Wah Wu, Table of n, a(n) for n = 1..10000
D. Andrica and O. Bagdasar, On some new arithmetic properties of the generalized Lucas sequences, preprint for Mediterr. J. Math. 18, 47 (2021).
MATHEMATICA
Select[Range[3, 20000, 2], CompositeQ[#] && Divisible[Fibonacci[#, 5]*Fibonacci[#, 5] - 1, #] && Divisible[LucasL[#, 5] - 5, #] &]
PROG
(Python)
from itertools import islice
from sympy import nextprime
def A337628_gen(): # generator of terms
def f(n):
a, b, c, d, a2, b2, c2, d2 = 5, 1, 1, 0, 1, 0, 0, 1
for x in bin(n)[2:]:
e, f = b2*c2%n, a2+d2
a2, b2, c2, d2 = (pow(a2, 2, n)+e)%n, b2*f%n, c2*f%n, (pow(d2, 2, n)+e)%n
if x=='1':
a2, b2, c2, d2 = (a2*a+b2*c)%n, (a2*b+b2*d)%n, (c2*a+d2*c)%n, (c2*b+d2*d)%n
return c2, (5*c2+(d2<<1))%n
p, q = 9, 11
while True:
for m in range(p, q, 2):
a, b = f(m)
if pow(a, 2, m)==1 and b==5:
yield m
p, q = q+2, nextprime(q)
CROSSREFS
KEYWORD
nonn,changed
AUTHOR
Ovidiu Bagdasar, Sep 19 2020
EXTENSIONS
More terms from Amiram Eldar, Sep 19 2020
STATUS
approved
