Initial revision
[LeanCalc.git] / help / pi
1 NAME
2     pi - evaluate pi to specified accuracy
3
4 SYNOPSIS
5     pi([eps])
6
7 TYPES
8     eps         nonzero real, defaults to epsilon()
9
10     return      real
11
12 DESCRIPTION
13     Returns a multiple of eps differing from the true value of pi by
14     less than 0.75 eps, and in nearly all cases by less than 0.5 eps.
15
16 EXAMPLE
17     > print pi(1e-5), pi(1e-10), pi(1e-15), pi(1e-20)
18     3.14159 3.1415926536 3.141592653589793 3.14159265358979323846
19
20 LIMITS
21     eps > 0
22
23 LINK LIBRARY
24     NUMBER *qpi(NUMBER *eps)
25
26 SEE ALSO
27     XXX - fill in
28