projects
/
LeanCalc.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
failed attempts to intercept copy command when the cursor is in the empty text field...
[LeanCalc.git]
/
help
/
iroot
1
NAME
2
iroot - integer part of specified root
3
4
SYNOPSIS
5
iroot(x, n)
6
7
TYPES
8
x nonnegative real
9
n positive integer
10
11
return nonnegative real
12
13
DESCRIPTION
14
Return the greatest integer v for which v^n <= x.
15
16
EXAMPLE
17
> print iroot(100,3), iroot(274,3), iroot(1,9), iroot(pi()^8,5)
18
4 6 1 6
19
20
LIMITS
21
n > 0
22
23
LINK LIBRARY
24
NUMBER *qiroot(NUMBER *x, NUMBER* n)
25
26
SEE ALSO
27
isqrt, sqrt
28