...
0! = 1, and
(
n
+1)! = ( n +1) × (
...
n
...
n !).
...
A function returning the list of naturals (or Naturals)
...
n
...
...0 in left-to-right order.
...
...
Given a base
...
b
...
b ,
the integral part of the logarithm
log
...
b
...
n
...
n ,
Compute this by recursively counting the number of times
you can divide the number by the base.
...
Note:
...
Like the in-class examplegeq
,
this doesn't follow the natural's data-defined template.
...
:
A function returning the list of naturals (or Naturals)
0...
...
n
...
in left-to-right order.
...
Built-in Natural Numbers and Templates
...