%I #30 Jul 23 2023 22:22:08
%S 1,3,5,7,9,15,17,21,25,27,31,35,45,49,51,63,73,75,81,85,93,105,107,
%T 119,125,127,135,147,153,155,175,189,217,219,225,243,245,255,257,279,
%U 289,313,315,321,343,357,365,375,381,405,425,441,443,459,465,511,525,527
%N Positive numbers all of whose prime factors are binary palindromes.
%H Amiram Eldar, <a href="/A342572/b342572.txt">Table of n, a(n) for n = 1..10010</a> (terms below 10^7)
%F Sum_{n>=1} 1/a(n) = Product_{p in A016041} p/(p-1) = 2.52136...
%e 15 is a term since the binary representation of its prime factors, 3 and 5, are both palindromes: 11 and 101.
%e 1 is a term because it has no prime factors, and "the empty set has every property". - _N. J. A. Sloane_, Jan 16 2022
%t seq[max_] := Module[{ps = Select[Range[max], PalindromeQ @ IntegerDigits[#, 2] && PrimeQ[#] &], s = {1}, s1, s2}, Do[p = ps[[k]]; emax = Floor@Log[p, max]; s1 = Join[{1}, p^Range[emax]]; s2 = Select[Union[Flatten[Outer[Times, s, s1]]], # <= max &]; s = Union[s, s2], {k, 1, Length[ps]}]; s]; seq[1000]
%t Join[{1},Module[{bps=Select[Prime[Range[200]],IntegerDigits[#,2] == Reverse[ IntegerDigits[ #,2]]&]},Select[ Range[Max[ bps]],SubsetQ[ bps,FactorInteger[#][[All,1]]]&]]] (* _Harvey P. Dale_, Jan 16 2022 *)
%o (Python)
%o from sympy import factorint
%o def ispal(s): return s == s[::-1]
%o def ok(n): return n > 0 and all(ispal(bin(f)[2:]) for f in factorint(n))
%o print([k for k in range(528) if ok(k)]) # _Michael S. Branicky_, Jan 17 2022
%Y The binary version of A033620.
%Y Subsequences: A016041, A329419.
%Y Cf. A006995.
%K nonn,base
%O 1,2
%A _Amiram Eldar_, Mar 27 2021
%E "Positive" added to definition by _N. J. A. Sloane_, Jan 16 2022