Numbers with prime digits whose sum is 13: Difference between revisions
Numbers with prime digits whose sum is 13 (view source)
Revision as of 03:47, 23 January 2022
, 2 years ago→{{header|jq}}: typo
m (→{{header|jq}}: typo) |
|||
Line 1,021:
observation that the only digits which are prime are [2, 3, 5, 7]
so the numbers of interest cannot have more than 6 digits.
To save space, both
def count(s): reduce s as $_ (0; .+1);
|