Post Reply 
(50g) OEIS A137580: Number of Different Digits in N!
09-23-2017, 12:16 PM
Post: #1
(50g) OEIS A137580: Number of Different Digits in N!
For natural number N input the programme returns the number of different digits in N!.

For info see

https://oeis.org/A137580

You may note that for N > 41 the programme returns 10 - this result is based on a heuristic proof of that fact. The proof is what I would call a 21st century proof &, while not satisfying those still entrenched in the 20th century, is more than adequate for moderns.

However, as moderns see everything open to revision, should a counter-proof appear I would amend the programme.

Code:
::
  CK1&Dispatch
  # FF
  ::
    DUP
    ZINT 41
    Z>
    casedrop
    %10
    PTR 2EF44
    ZEROSWAP
    FPTR2 ^Z>S
    BINT10
    ZERO_DO
    DUPINDEX@
    #>$
    BINT1
    POSCHR
    #0=?SKIP
    SWAP#1+SWAP
    LOOP
    DROP
    UNCOERCE
  ;
;
Find all posts by this user
Quote this message in a reply
Post Reply 




User(s) browsing this thread: 1 Guest(s)