Base-16 representation: Difference between revisions
→{{header|Python}}: Added a solution in Python
(→{{header|Python}}: Added a solution in Python) |
|||
Line 1,020:
500
</pre>
=={{header|Python}}==
<lang python>'''Integers needing any alpha digits in hex'''
# p :: Int -> Bool
def p(n):
'''True if n requires any digits above 9
when expressed as a hexadecimal.
'''
return 9 < n and (9 < n % 16 or p(n // 16))
# ------------------------- TEST -------------------------
# main :: IO ()
def main():
'''Matches for the predicate p in the range [0..500]'''
xs = [
str(n) for n in range(1, 1 + 500)
if p(n)
]
print(f'{len(xs)} matches for the predicate:\n')
print(
table(6)(xs)
)
# ----------------------- GENERIC ------------------------
# chunksOf :: Int -> [a] -> [[a]]
def chunksOf(n):
'''A series of lists of length n, subdividing the
contents of xs. Where the length of xs is not evenly
divisible, the final list will be shorter than n.
'''
def go(xs):
return (
xs[i:n + i] for i in range(0, len(xs), n)
) if 0 < n else None
return go
# table :: Int -> [String] -> String
def table(n):
'''A list of strings formatted as
right-justified rows of n columns.
'''
def go(xs):
w = len(xs[-1])
return '\n'.join(
' '.join(row) for row in chunksOf(n)([
s.rjust(w, ' ') for s in xs
])
)
return go
# MAIN ---
if __name__ == '__main__':
main()</lang>
{{Out}}
<pre>301 matches for the predicate:
10 11 12 13 14 15
26 27 28 29 30 31
42 43 44 45 46 47
58 59 60 61 62 63
74 75 76 77 78 79
90 91 92 93 94 95
106 107 108 109 110 111
122 123 124 125 126 127
138 139 140 141 142 143
154 155 156 157 158 159
160 161 162 163 164 165
166 167 168 169 170 171
172 173 174 175 176 177
178 179 180 181 182 183
184 185 186 187 188 189
190 191 192 193 194 195
196 197 198 199 200 201
202 203 204 205 206 207
208 209 210 211 212 213
214 215 216 217 218 219
220 221 222 223 224 225
226 227 228 229 230 231
232 233 234 235 236 237
238 239 240 241 242 243
244 245 246 247 248 249
250 251 252 253 254 255
266 267 268 269 270 271
282 283 284 285 286 287
298 299 300 301 302 303
314 315 316 317 318 319
330 331 332 333 334 335
346 347 348 349 350 351
362 363 364 365 366 367
378 379 380 381 382 383
394 395 396 397 398 399
410 411 412 413 414 415
416 417 418 419 420 421
422 423 424 425 426 427
428 429 430 431 432 433
434 435 436 437 438 439
440 441 442 443 444 445
446 447 448 449 450 451
452 453 454 455 456 457
458 459 460 461 462 463
464 465 466 467 468 469
470 471 472 473 474 475
476 477 478 479 480 481
482 483 484 485 486 487
488 489 490 491 492 493
494 495 496 497 498 499
500</pre>
=={{header|Raku}}==
| |||