The floating-point-contractions Reference Manual

Table of Contents

Next: , Previous: , Up: (dir)   [Contents][Index]

The floating-point-contractions Reference Manual

This is the floating-point-contractions Reference Manual, generated automatically by Declt version 2.4 "Will Decker" on Wed Jun 20 11:47:10 2018 GMT+0.


Next: , Previous: , Up: Top   [Contents][Index]

1 Introduction

This system provides some numerically stable, contracted versions of
common but unstable floating-point operations.

| Export   | (AKA)    | Computes        |
|----------+----------+-----------------|
| log1+    | log1p    | log (1 + x)     |
| log1-    | log1m    | log (1 - x)     |
| log1+/x  |          | (log (1 + x))/x |
| exp-1    | expm1    | exp(x) - 1      |
| exp-1/x  |          | (exp(x)-1)/x    |
| expt-1   | powm1    | (x^y)-1         |
| log1-exp | log1mexp | log(1 - exp(x)) |
| log1+exp | log1pexp | log(1 + exp(x)) |
| log2-exp | log2mexp | log(2 - exp(x)) |
| logexp-1 | logexpm1 | log(exp(a) -1)  |
| hypot    |          | sqrt(x^2 + y^2) |


Next: , Previous: , Up: Top   [Contents][Index]

2 Systems

The main system appears first, followed by any subsystem dependency.


Previous: , Up: Systems   [Contents][Index]

2.1 floating-point-contractions

Author

Paul M. Rodriguez <pmr@ruricolist.com>

License

MIT

Description

Numerically stable contractions of floating-point operations.

Source

floating-point-contractions.asd (file)

Components

Next: , Previous: , Up: Top   [Contents][Index]

3 Files

Files are sorted by type and then listed depth-first from the systems components trees.


Previous: , Up: Files   [Contents][Index]

3.1 Lisp


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.1 floating-point-contractions.asd

Location

floating-point-contractions.asd

Systems

floating-point-contractions (system)


Next: , Previous: , Up: Lisp files   [Contents][Index]

3.1.2 floating-point-contractions/package.lisp

Parent

floating-point-contractions (system)

Location

package.lisp

Packages

floating-point-contractions


Previous: , Up: Lisp files   [Contents][Index]

3.1.3 floating-point-contractions/floating-point-contractions.lisp

Dependency

package.lisp (file)

Parent

floating-point-contractions (system)

Location

floating-point-contractions.lisp

Exported Definitions
Internal Definitions

sq (function)


Next: , Previous: , Up: Top   [Contents][Index]

4 Packages

Packages are listed by definition order.


Previous: , Up: Packages   [Contents][Index]

4.1 floating-point-contractions

Source

package.lisp (file)

Use List

common-lisp

Exported Definitions
Internal Definitions

sq (function)


Next: , Previous: , Up: Top   [Contents][Index]

5 Definitions

Definitions are sorted by export status, category, package, and then by lexicographic order.


Next: , Previous: , Up: Definitions   [Contents][Index]

5.1 Exported definitions


Previous: , Up: Exported definitions   [Contents][Index]

5.1.1 Functions

Function: exp-1 X

Compute (- (exp x) 1) stably even when X is near zero.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: exp-1/x X

Compute (/ (- (exp x) 1) x) stably even when X is near zero.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: expt-1 A Z

Compute (a^z)-1 stably even when A is close to 1 or Z is close to zero.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: hypot X Y

Compute the hypotenuse of X and Y without danger of floating-point overflow or underflow.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: lb N

Binary logarithm.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: lg N

Decimal logarithm.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: ln N

Natural logarithm.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: log1+ X

Compute (log (+ 1 x)) stably even when X is near zero.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: log1+/x X

Compute (/ (log (+ 1 x)) x) stably even when X is near zero.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: log1+exp A

Accurately compute log(1+exp(x)) even when A is near zero.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: log1- X

Compute (log (- 1 x)) stably even when X is near zero.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: log1-exp A

Compute log(1-exp(x)) stably even when A is near zero.

This is sometimes known as the E_3, the third Einstein function.

See M├Ąchler 2008 for notes on accurate calculation.

https://cran.r-project.org/web/packages/Rmpfr/vignettes/log1mexp-note.pdf

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: log2-exp X

Compute log(2-exp(x)) stably even when X is near zero.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)

Function: logexp-1 A

Compute log(exp(a)-1) stably even when A is small.

Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)


Previous: , Up: Definitions   [Contents][Index]

5.2 Internal definitions


Previous: , Up: Internal definitions   [Contents][Index]

5.2.1 Functions

Function: sq X
Package

floating-point-contractions

Source

floating-point-contractions.lisp (file)


Previous: , Up: Top   [Contents][Index]

Appendix A Indexes


Next: , Previous: , Up: Indexes   [Contents][Index]

A.1 Concepts

Jump to:   F   L  
Index Entry  Section

F
File, Lisp, floating-point-contractions.asd: The floating-point-contractions<dot>asd file
File, Lisp, floating-point-contractions/floating-point-contractions.lisp: The floating-point-contractions/floating-point-contractions<dot>lisp file
File, Lisp, floating-point-contractions/package.lisp: The floating-point-contractions/package<dot>lisp file
floating-point-contractions.asd: The floating-point-contractions<dot>asd file
floating-point-contractions/floating-point-contractions.lisp: The floating-point-contractions/floating-point-contractions<dot>lisp file
floating-point-contractions/package.lisp: The floating-point-contractions/package<dot>lisp file

L
Lisp File, floating-point-contractions.asd: The floating-point-contractions<dot>asd file
Lisp File, floating-point-contractions/floating-point-contractions.lisp: The floating-point-contractions/floating-point-contractions<dot>lisp file
Lisp File, floating-point-contractions/package.lisp: The floating-point-contractions/package<dot>lisp file

Jump to:   F   L  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.2 Functions

Jump to:   E   F   H   L   S  
Index Entry  Section

E
exp-1: Exported functions
exp-1/x: Exported functions
expt-1: Exported functions

F
Function, exp-1: Exported functions
Function, exp-1/x: Exported functions
Function, expt-1: Exported functions
Function, hypot: Exported functions
Function, lb: Exported functions
Function, lg: Exported functions
Function, ln: Exported functions
Function, log1+: Exported functions
Function, log1+/x: Exported functions
Function, log1+exp: Exported functions
Function, log1-: Exported functions
Function, log1-exp: Exported functions
Function, log2-exp: Exported functions
Function, logexp-1: Exported functions
Function, sq: Internal functions

H
hypot: Exported functions

L
lb: Exported functions
lg: Exported functions
ln: Exported functions
log1+: Exported functions
log1+/x: Exported functions
log1+exp: Exported functions
log1-: Exported functions
log1-exp: Exported functions
log2-exp: Exported functions
logexp-1: Exported functions

S
sq: Internal functions

Jump to:   E   F   H   L   S  

Next: , Previous: , Up: Indexes   [Contents][Index]

A.3 Variables


Previous: , Up: Indexes   [Contents][Index]

A.4 Data types

Jump to:   F   P   S  
Index Entry  Section

F
floating-point-contractions: The floating-point-contractions system
floating-point-contractions: The floating-point-contractions package

P
Package, floating-point-contractions: The floating-point-contractions package

S
System, floating-point-contractions: The floating-point-contractions system

Jump to:   F   P   S