A345358 - OEIS

%I #13 Jun 21 2021 03:05:03

%S 0,1,2,3,10,11,12,13,20,21,22,30,100,101,102,103,110,111,112,113,120,

%T 121,122,130,200,201,202,210,211,212,220,221,300,1000,1001,1002,1003,

%U 1010,1011,1012,1013,1020,1021,1022,1030,1100,1101,1102,1103,1110,1111

%N Lexicographically earliest sequence of distinct nonnegative integers such that the product of two terms, not necessarily distinct, can be computed without carry in base 10.

%C All terms belong to A007090.

%C If m is a term, then 10*m is also a term (in particular, all powers of 10 appear in the sequence).

%H Rémy Sigrist, <a href="/A345358/b345358.txt">Table of n, a(n) for n = 1..10000</a>

%H Rémy Sigrist, <a href="/A345358/a345358.gp.txt">PARI program for A345358</a>

%F A007953(a(m) * a(n)) = A007953(a(m)) * A007953(a(n)).

%o (PARI) See Links section.

%Y Cf. A007090, A007953, A131577 (binary analog), A306465, A345359 (ternary analog).

%K nonn,base

%O 1,3

%A _Rémy Sigrist_, Jun 16 2021