This is the computable-reals Reference Manual, version 1.1.0, generated automatically by Declt version 4.0 beta 2 "William Riker" on Sun Dec 15 05:49:38 2024 GMT+0.
The main system appears first, followed by any subsystem dependency.
computable-realsComputable real numbers.
Robert Smith <robert@stylewarning.com>
Michael Stoll
BSD 3-clause
Arbitrary-precision, re-computing real-numbers.
1.1.0
package.lisp (file).
constants.lisp (file).
reals.lisp (file).
get-approximations.lisp (file).
Files are sorted by type and then listed depth-first from the systems components trees.
computable-reals/computable-reals.asdcomputable-reals/package.lispcomputable-reals/constants.lispcomputable-reals/reals.lispcomputable-reals/get-approximations.lispcomputable-reals/computable-reals.asdcomputable-reals (system).
computable-reals/constants.lisppackage.lisp (file).
computable-reals (system).
computable-reals/reals.lispconstants.lisp (file).
computable-reals (system).
*creal-tolerance* (special variable).
*print-prec* (special variable).
*r (function).
+r (function).
-r (function).
/r (function).
approx-r (function).
ash-r (function).
atan-r (function).
ceiling-r (function).
cos-r (function).
creal (type).
creal-p (function).
exp-r (function).
expt-r (function).
floor-r (function).
log-r (function).
make-real (function).
print-object (method).
print-r (function).
rational-approx-r (function).
rationalize-r (function).
raw-approx-r (function).
round-r (function).
sin-r (function).
sqrt-r (function).
tan-r (function).
truncate-r (function).
atan-r0 (function).
atan-r1 (function).
c-real (structure).
c-real-compute (reader).
c-real-p (function).
c-real-precision (reader).
(setf c-real-precision) (writer).
c-real-value (reader).
(setf c-real-value) (writer).
cos-r1 (function).
creal-print (function).
divide-r (function).
exp-r1 (function).
expt-r1 (function).
get-approx (function).
invert-r (function).
log-r1 (function).
log-r2 (function).
make-c-real (function).
minus-r (function).
print-c-real (function).
rational-sqrt (function).
raw-approx-cr (function).
rest-help-r (function).
round-cr (function).
sin-r1 (function).
tenpower (function).
transf (function).
computable-reals/get-approximations.lispreals.lisp (file).
computable-reals (system).
Packages are listed by definition order.
computable-realscr
common-lisp.
*creal-tolerance* (special variable).
*print-prec* (special variable).
*r (function).
+2pi-r+ (special variable).
+log2-r+ (special variable).
+pi-r+ (special variable).
+pi/2-r+ (special variable).
+pi/4-r+ (special variable).
+r (function).
-r (function).
/r (function).
approx-r (function).
ash-r (function).
atan-r (function).
ceiling-r (function).
cos-r (function).
creal (type).
creal-p (function).
exp-r (function).
expt-r (function).
floor-r (function).
log-r (function).
make-real (function).
print-r (function).
rational-approx-r (function).
rationalize-r (function).
raw-approx-r (function).
round-r (function).
sin-r (function).
sqrt-r (function).
tan-r (function).
truncate-r (function).
atan-r0 (function).
atan-r1 (function).
c-real (structure).
c-real-compute (reader).
c-real-p (function).
c-real-precision (reader).
(setf c-real-precision) (writer).
c-real-value (reader).
(setf c-real-value) (writer).
cos-r1 (function).
creal-print (function).
divide-r (function).
exp-r1 (function).
expt-r1 (function).
get-approx (function).
invert-r (function).
log-r1 (function).
log-r2 (function).
make-c-real (function).
minus-r (function).
print-c-real (function).
rational-sqrt (function).
raw-approx-cr (function).
rest-help-r (function).
round-cr (function).
sin-r1 (function).
tenpower (function).
transf (function).
Definitions are sorted by export status, category, package, and then by lexicographic order.
precision threshold for the comparison of CREALs, denoting the number of binary digits after the decimal point
number of decimal digits after the decimal point during output of CREALs
2*pi as CREAL
log(2) as CREAL
pi as CREAL
pi/2 as CREAL
pi/4 as CREAL
Multiplication for CREALs
addition of CREALs
subtraction and negation of CREALs
division for CREALs
Computes an approximation of the bits of a given CREAL. Specifically, given an object of type creal X and a non-negative integer K, return an integer A with
|A*2^(-k) - X| <= 2^(-K).
See RATIONAL-APPROX-R to produce a rational approximation of CREAL.
shift function for CREALs
arctangent for CREALs
ceiling for CREALs
cosine for CREALs
Is X a CREAL?
exponential function for CREALs
exponentiation function for CREALs
floor for CREALs
logarithm for CREALs
Create a C-REAL from a computation function COMP.
output function for CREALs
Produce a rational approximation of X called R such that
|R - X| < 2^(-K).
Produce a rational approximation of X called R such that
|R - X| < 2^(-K),
taking into account the maximum precision specified by K to return the simplest possible such approximation.
Returns an approximation for CREALs
round for CREALs
sine for CREALs
square root for CREALs
tangent for CREALs
truncate for CREALs
| Jump to: | (
*
+
-
/
A C D E F G I L M P R S T |
|---|
| Jump to: | (
*
+
-
/
A C D E F G I L M P R S T |
|---|
| Jump to: | *
+
C P S V |
|---|
| Jump to: | *
+
C P S V |
|---|
| Jump to: | C F G P R S T |
|---|
| Jump to: | C F G P R S T |
|---|