projects
/
LeanCalc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
focus expression text field at startup -> version 1.2
[LeanCalc.git]
/
help
/
ilog
1
NAME
2
ilog - floor of logarithm to specified integer base
3
4
SYNOPSIS
5
ilog(x, b)
6
7
TYPES
8
x nonzero real
9
b integer greater than 1
10
11
return integer
12
13
DESCRIPTION
14
Returns the greatest integer n for which b^n <= abs(x).
15
16
EXAMPLE
17
> print ilog(2, 3), ilog(8, 3), ilog(8.9, 3), ilog(1/8, 3)
18
0 1 1 -2
19
20
LIMITS
21
x > 0
22
b > 1
23
24
LINK LIBRARY
25
long zlog(ZVALUE x, ZVALUE b)
26
27
SEE ALSO
28
ilog2, ilog10
29