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.

A178485 (A178475(n)-6)/9.

This page as a plain text file.
%I A178485 #9 Feb 13 2013 20:24:30
%S A178485 1371,1372,1381,1383,1392,1393,1471,1472,1491,1494,1502,1504,1581,
%T A178485 1583,1591,1594,1613,1614,1692,1693,1702,1704,1713,1714,2371,2372,
%U A178485 2381,2383,2392,2393,2571,2572,2601,2605,2612,2615,2681,2683,2701,2705,2723,2725
%N A178485 (A178475(n)-6)/9.
%C A178485 There are 5!=120 terms in this finite sequence. Its origin is the fact that numbers whose decimal expansion is a permutation of 12345 are all of the form 9k+6.
%H A178485 Nathaniel Johnston, <a href="/A178485/b178485.txt">Table of n, a(n) for n = 1..120</a> (full sequence)
%F A178485 a(n) + a(5!+1-n) = 7406.
%F A178485 a(n) == 1, 2, 3, 4 or 5 (mod 10).
%F A178485 a(n+6)-a(n) is an element of { 100, 110, 111, 200, 220, 222, 679 }.
%F A178485 a(n+6)-a(n) = 679 iff (n-1)%24 > 17, where % denotes the remainder upon division.
%F A178485 a(n+6)-a(n) = 200, 220 or 222 iff (n-1)%30 > 23, i.e. n==25,...,30 (mod 30).
%o A178485 (PARI) v=vector(5,i,10^(i-1))~; vecsort(vector(5!,i,numtoperm(5,i)*v))
%o A178485 is_A178475(x)= { vecsort(Vec(Str(x)))==Vec("12345") }
%o A178485 forstep( m=12345,54321,9, is_A178475(m) & print1(m","))
%Y A178485 Cf. A030298, A030299, A055089, A060117, A178486, A191819, A191820.
%K A178485 fini,full,nonn,base,easy
%O A178485 1,1
%A A178485 _M. F. Hasler_, May 28 2010