cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A321478 Regular triangle read by rows: T(n,k) is the rank of {A316269(k,m)} modulo n, 0 <= k <= n - 1.

This page as a plain text file.
%I A321478 #14 Nov 18 2018 10:03:37
%S A321478 1,2,3,2,3,3,2,3,4,3,2,3,5,5,3,2,3,6,6,6,3,2,3,7,4,4,7,3,2,3,8,3,4,3,
%T A321478 8,3,2,3,9,6,9,9,6,9,3,2,3,10,15,6,6,6,15,10,3,2,3,11,5,5,6,6,5,5,11,
%U A321478 3,2,3,12,6,6,3,4,3,6,6,12,3
%N A321478 Regular triangle read by rows: T(n,k) is the rank of {A316269(k,m)} modulo n, 0 <= k <= n - 1.
%C A321478 The rank of {A316269(k,m)} modulo n is the smallest l such that n divides A316269(k,l).
%C A321478 Though {A316269(0,m)} is not defined, it can be understood as the sequence 0, 1, 0, -1, 0, 1, 0, -1, ... So the first column of each row (apart from the first one) is always 2.
%C A321478 Though {A316269(1,m)} is not defined, it can be understood as the sequence 0, 1, 1, 0, -1, -1, 0, 1, 1, 0, -1, -1, ... So the second column of each row is always 3.
%C A321478 Every row excluding the first term is antisymmetric, that is, T(n,k) = T(n,n-k) for 1 <= k <= n - 1.
%C A321478 T(n,k) is the multiplicative order of ((k + sqrt(k^2 - 4))/2)^2 modulo n*sqrt(k^2 - 4), where the multiplicative order of u modulo z is the smallest positive integer l such that (u^l - 1)/z is an algebraic integer.
%F A321478 Let p be a prime >= 5. (i) If k^2 - 4 is not divisible by p, then T(p^e,k) is divisible by p^(e-1)*(p - ((k^2-4)/p))/2. Here (a/p) is the Legendre symbol. (ii) If k^2 - 4 is divisible by p, then T(p^e,k) = p^e.
%F A321478 For e >= 2 and 1 < k < 2^e - 1, T(2^e,k) = 3*2^(e-v(k^2-1,2)) for odd k and 2^(e-v(k,2)+1) for even k, where v(k,2) is the 2-adic valuation of k.
%F A321478 For e > 0 and k > 1, T(3^e,k) = 2*3^(e-v(k,3)) for k divisible by 3 and 3^(e-v(k^2-1,3)+1) otherwise.
%F A321478 If gcd(n_1,n_2) = 1, then T(n_1*n_2,k) = lcm(T(n_1,k mod n_1),T(n_2, k mod n_2)).
%F A321478 T(n,k) <= (3/2)*n.
%e A321478 Table begins
%e A321478   1;
%e A321478   2,  3;
%e A321478   2,  3,  3;
%e A321478   2,  3,  4,  3;
%e A321478   2,  3,  5,  5,  3;
%e A321478   2,  3,  6,  6,  6,  3;
%e A321478   2,  3,  7,  4,  4,  7,  3;
%e A321478   2,  3,  8,  3,  4,  3,  8,  3;
%e A321478   2,  3,  9,  6,  9,  9,  6,  9,  3;
%e A321478   2,  3, 10, 15,  6,  6,  6, 15, 10,  3;
%e A321478   ...
%o A321478 (PARI) A316269(k, m) = ([k, -1; 1, 0]^m)[2, 1]
%o A321478 T(n, k) = my(i=1); while(A316269(k, i)%n!=0, i++); i
%Y A321478 Cf. A316269, A321479 (periods).
%K A321478 nonn,tabl
%O A321478 1,2
%A A321478 _Jianing Song_, Nov 11 2018