STATUS
proposed
approved
proposed
approved
editing
proposed
P. Peter Bala, <a href="/A273622/a273622.pdf">Lucas sequences and divisibility sequences</a>
Hugh Williams, and R. K. Guy, <a href="http://dx.doi.org/10.1142/S1793042111004587">Some fourth-order linear divisibility sequences</a>, Intl. J. Number Theory vol. 7 (5) (2011) 1255-1277
proposed
editing
editing
proposed
editing
proposed
editing
proposed
a(n) = a(-n) for all n in Z. - Michael Somos, Dec 29 2022
(PARI) {a(n) = my(w = quadgen(5)^(2*n)); (2*real(w^2-w) + imag(w^2-w))/4}; /* Michael Somos, Dec 29 2022 */
approved
editing
(MAGMAMagma) [(Lucas(4*n) - Lucas(2*n))/4: n in [0..20]]; // Vincenzo Librandi, Dec 23 2012