User blog comment:P進大好きbot/Elementary Large Number beyond PTO(Π11-CA0)/@comment-24923514-20190604150105

For some reason I'm not getting the same outputs as you. I'll walk through the input 11 so you can point out what I'm doing wrong, because I'm not getting 9. (// Means "quotient" and "how many times something divides")

> Denote by n0 how many times x is divisible by 10

n0 = 11//10 = 1

> by a0 the quotient of x by 10^n0

a0 = 11//(10^n0) = 11//(10^1) = 1

> Denote by b0+1 the digit number of a0

b0 = digits(a0)-1 = 1-1 = 0

> by c0 the quotient of a0 by 10^b0

c0 = a0//(10^b0) = 1//(10^0) = 1

> Put d0 = a0 - c0*10^b0

d0 = 1 - 1*10^0 = 1-1 = 0

> ''Suppose d0=0 (yes). If n0>0 (yes), then set 萃(x)=10^x''

萃(11) = 10^11 = 100000000000 != 9