Common Lisp Package: COMPUTABLE-REALS

README:

FUNCTION

Public

*R (&REST ARGS &AUX (PN 1) (RL NIL))

Multiplication for CREALs

+R (&REST ARGS &AUX (SN 0) (RL NIL))

addition of CREALs

-R (X1 &REST ARGS)

subtraction and negation of CREALs

/R (X1 &REST ARGS)

division for CREALs

APPROX-R (X K)

Computes approximations for CREALs

ASH-R (X N)

shift function for CREALs

ATAN-R (X &OPTIONAL (Y NIL))

arctangent for CREALs

CEILING-R (X &OPTIONAL (Y 1) (L NIL))

ceiling for CREALs

COS-R (X)

cosine for CREALs

EXP-R (X)

exponential function for CREALs

EXPT-R (X Y &AUX S)

exponentiation function for CREALs

FLOOR-R (X &OPTIONAL (Y 1) (L NIL))

floor for CREALs

LOG-R (X &OPTIONAL (B NIL))

logarithm for CREALs

MAKE-REAL (COMP)

Create a c-real from a computation function COMP.

RAW-APPROX-R (X)

Returns an approximation for CREALs

ROUND-R (X &OPTIONAL (Y 1) (L NIL))

round for CREALs

SIN-R (X)

sine for CREALs

SQRT-R (X)

square root for CREALs

TAN-R (X)

tangent for CREALs

TRUNCATE-R (X &OPTIONAL (Y 1) (L NIL))

truncate for CREALs

Undocumented

CREAL-P (X)

Private

C-REAL-COMPUTE (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

C-REAL-PRECISION (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

C-REAL-VALUE (INSTANCE)

@arg[extid]{A @class{extid}} @return[sytemid]{puri:uri or nil} Returns the System ID part of this External ID.

Undocumented

ATAN-R0 (X)

ATAN-R1 (X)

C-REAL-P (OBJECT)

SETFC-REAL-PRECISION (NEW-VALUE INSTANCE)

SETFC-REAL-VALUE (NEW-VALUE INSTANCE)

COS-R1 (X)

CR-ERROR (FUN X)

CREAL-PRINT (X K FLAG STREAM)

DIVIDE-R (NAME WHAT X Y L)

EXP-R1 (X)

EXPT-R1 (X Y)

GET-APPROX (X K)

INT-ERROR (FUN X)

INVERT-R (X)

LOG-R1 (X)

LOG-R2 (X)

MAKE-C-REAL (&KEY ((VALUE DUM0) 0) ((PRECISION DUM1) -1) ((COMPUTE DUM2) NIL))

MINUS-R (X)

NAT-ERROR (FUN X)

RATIONAL-SQRT (X)

RAW-APPROX-CR (X)

REST-HELP-R (X Y Q)

ROUND-CR (A K)

SIN-R1 (X)

TENPOWER (K)

TRANSF (X)

VARIABLE

Public

*CREAL-TOLERANCE*

precision threshold for the comparison of CREALs, denoting the number of binary digits after the decimal point

*PRINT-PREC*

number of decimal digits after the decimal point during output of CREALs

+2PI-R+

2*pi as CREAL

+LOG2-R+

log(2) as CREAL

+PI-R+

pi as CREAL

+PI/2-R+

pi/2 as CREAL

+PI/4-R+

pi/4 as CREAL

CLASS

Private

Undocumented

C-REAL