The quaviver Reference Manual

4.1.1 quaviver/quaviver.asd

Source

quaviver.asd.

Parent Component

quaviver (system).

ASDF Systems

quaviver.

---

4.1.2 quaviver/code/packages.lisp

Source

quaviver.asd.

Parent Component

code (module).

Packages

• quaviver.condition.
• quaviver.
• quaviver.math.

---

4.1.3 quaviver/code/condition/utility.lisp

Source

quaviver.asd.

Parent Component

condition (module).

Public Interface

• floating-point-overflow (function).
• floating-point-underflow (function).

---

4.1.4 quaviver/code/condition/parse-error.lisp

Dependency

utility.lisp (file).

Source

quaviver.asd.

Parent Component

condition (module).

Public Interface

• assertion-failed-error (condition).
• invalid-character-error (condition).
• invalid-leading-zeros-error (condition).
• invalid-property-error (condition).
• missing-digits-error (condition).

Internals

• assertion-failed-error-message (reader method).
• invalid-character-error-expected (reader method).
• invalid-character-error-found (reader method).
• invalid-leading-zeros-error-count (reader method).
• invalid-leading-zeros-error-part (reader method).
• invalid-property-error-expected (reader method).
• invalid-property-error-name (reader method).
• invalid-property-error-value (reader method).
• missing-digits-error-found (reader method).
• missing-digits-error-part (reader method).

---

4.1.5 quaviver/code/interface.lisp

Dependency

condition (module).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• arithmetic-size (generic function).
• bits-float (generic function).
• bits-float-form (generic function).
• exponent-bias (generic function).
• exponent-byte-form (generic function).
• exponent-bytespec (generic function).
• exponent-size (generic function).
• exponent-word (type).
• float-bits (generic function).
• float-bits-form (generic function).
• float-primitive-triple-form (generic function).
• float-triple (generic function).
• hidden-bit-p (generic function).
• infinityp (generic function).
• max-exponent (generic function).
• min-exponent (generic function).
• nan-payload-byte-form (generic function).
• nan-payload-bytespec (generic function).
• nan-type-byte-form (generic function).
• nan-type-bytespec (generic function).
• non-number-p (generic function).
• parse-number (generic function).
• primitive-base (generic function).
• primitive-triple-float-form (generic function).
• read-number (generic function).
• sign-byte-form (generic function).
• sign-bytespec (generic function).
• sign-size (generic function).
• significand-byte-form (generic function).
• significand-bytespec (generic function).
• significand-size (generic function).
• significand-word (type).
• storage-size (generic function).
• subnormalp (generic function).
• triple-float (generic function).
• write-number (generic function).

---

4.1.6 quaviver/code/traits.lisp

Dependency

interface.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• arithmetic-size (method).
• arithmetic-size (method).
• exponent-bias (method).
• exponent-bias (method).
• exponent-byte-form (method).
• exponent-byte-form (method).
• exponent-bytespec (method).
• exponent-bytespec (method).
• exponent-size (method).
• exponent-size (method).
• hidden-bit-p (method).
• hidden-bit-p (method).
• max-exponent (method).
• max-exponent (method).
• min-exponent (method).
• min-exponent (method).
• nan-payload-byte-form (method).
• nan-payload-byte-form (method).
• nan-payload-bytespec (method).
• nan-payload-bytespec (method).
• nan-type-byte-form (method).
• nan-type-byte-form (method).
• nan-type-bytespec (method).
• nan-type-bytespec (method).
• non-number-p (method).
• non-number-p (method).
• sign-byte-form (method).
• sign-byte-form (method).
• sign-bytespec (method).
• sign-bytespec (method).
• sign-size (method).
• sign-size (method).
• significand-byte-form (method).
• significand-byte-form (method).
• significand-bytespec (method).
• significand-bytespec (method).
• significand-size (method).
• significand-size (method).
• storage-size (method).
• storage-size (method).
• subnormalp (method).
• subnormalp (method).

Internals

• %traits (macro).
• internal-base (method).
• internal-base (method).

---

4.1.7 quaviver/code/math/log-expt.lisp

Source

quaviver.asd.

Parent Component

math (module).

Public Interface

• ceiling-log-expt (compiler macro).
• ceiling-log-expt (function).
• floor-log-expt (compiler macro).
• floor-log-expt (function).

Internals

• *log-3/4* (special variable).
• *log-expt* (special variable).
• +log-expt-shift+ (constant).
• +max-base+ (constant).
• +min-base+ (constant).
• ceiling-log-expt/far (compiler macro).
• ceiling-log-expt/far (function).
• compute-log-constant (function).
• compute-log-expt (function).

---

4.1.8 quaviver/code/math/utility.lisp

Dependency

log-expt.lisp (file).

Source

quaviver.asd.

Parent Component

math (module).

Internals

• compute-count-digits (function).
• compute-expt (function).
• compute-expt-bounds (function).
• make-arithmetic-word (function).

---

4.1.9 quaviver/code/math/count-digits.lisp

Dependency

utility.lisp (file).

Source

quaviver.asd.

Parent Component

math (module).

Public Interface

• count-digits (compiler macro).
• count-digits (function).

Internals

*count-digits-table* (special variable).

---

4.1.10 quaviver/code/math/implementation.lisp

Dependency

count-digits.lisp (file).

Source

quaviver.asd.

Parent Component

math (module).

Public Interface

• arithmetic-word (type).
• floor-multiply/32-64q64 (function).
• floor-multiply/64-128q128 (function).
• floor-multiply/evenp/32-64q64 (function).
• floor-multiply/evenp/64-128q128 (function).
• hi/64 (compiler macro).
• hi/64 (function).
• hi/hi64/128 (compiler macro).
• hi/hi64/128 (function).

Internals

• %floor-multiply/evenp/n-2nq2n (macro).
• %floor-multiply/n-2nq2n (macro).
• */32-64/hi64 (function).
• */32-64/lo64 (function).
• */64-128/hi128 (function).
• */64-128/lo128 (function).
• */64-64 (function).
• */64-64/hi64 (function).
• */64-64/lo64 (function).
• +/128-64 (function).
• +/64-64 (function).

---

4.1.11 quaviver/code/math/expt.lisp

Dependency

implementation.lisp (file).

Source

quaviver.asd.

Parent Component

math (module).

Public Interface

• expt (compiler macro).
• expt (function).
• expt/128-10 (function).
• expt/256-10 (function).
• expt/32-10 (function).
• expt/64-10 (function).

Internals

• +expt/128-10/bound+ (constant).
• +expt/256-10/bound+ (constant).
• +expt/32-10/bound+ (constant).
• +expt/64-10/bound+ (constant).
• define-expt (macro).

---

4.1.12 quaviver/code/math/round-to-odd.lisp

Dependency

expt.lisp (file).

Source

quaviver.asd.

Parent Component

math (module).

Public Interface

• round-to-odd (compiler macro).
• round-to-odd (function).
• round-to-odd/128 (function).
• round-to-odd/256 (function).
• round-to-odd/32 (function).
• round-to-odd/64 (function).

Internals

• %round-to-odd-1 (macro).
• %round-to-odd-2 (macro).

---

4.1.13 quaviver/code/bits-float-form.lisp

Dependency

math (module).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• bits-float-form (method).
• bits-float-form (method).
• bits-float-form (method).
• bits-float-form (method).

Internals

ub32-sb32 (function).

---

4.1.14 quaviver/code/bits-float.lisp

Dependency

bits-float-form.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• bits-float (method).
• bits-float (method).
• bits-float (method).
• bits-float (method).

Internals

%bits-float (macro).

---

4.1.15 quaviver/code/float-bits-form.lisp

Dependency

bits-float.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• float-bits-form (method).
• float-bits-form (method).
• float-bits-form (method).
• float-bits-form (method).

---

4.1.16 quaviver/code/float-bits.lisp

Dependency

float-bits-form.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• float-bits (method).
• float-bits (method).

Internals

%float-bits (macro).

---

4.1.17 quaviver/code/primitive-triple-float-form.lisp

Dependency

float-bits.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• primitive-triple-float-form (method).
• primitive-triple-float-form (method).
• primitive-triple-float-form (method).
• primitive-triple-float-form (method).

Internals

• %primitive-triple-float-form (macro).
• primitive-triple-float/double-float (function).
• primitive-triple-float/single-float (function).

---

4.1.18 quaviver/code/triple-float.lisp

Dependency

primitive-triple-float-form.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• triple-float (method).
• triple-float (method).
• triple-float (method).
• triple-float (method).

---

4.1.19 quaviver/code/float-primitive-triple-form.lisp

Dependency

triple-float.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• float-primitive-triple-form (method).
• float-primitive-triple-form (method).
• float-primitive-triple-form (method).
• float-primitive-triple-form (method).
• float-primitive-triple-form (method).

Internals

• %float-primitive-triple-form (macro).
• float-primitive-triple/double-float (function).
• float-primitive-triple/single-float (function).

---

4.1.20 quaviver/code/float-triple.lisp

Dependency

float-primitive-triple-form.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

• float-triple (method).
• float-triple (method).

---

4.1.21 quaviver/code/parse-digits.lisp

Dependency

float-triple.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

parse-digits (function).

---

4.1.22 quaviver/code/compose-digits.lisp

Dependency

parse-digits.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

compose-digits (method).

Internals

• %compose-digits/base-string (function).
• %compose-digits/list (function).
• %compose-digits/string (function).
• %compose-digits/vector (function).

---

4.1.23 quaviver/code/read-digits.lisp

Dependency

compose-digits.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

read-digits (function).

---

4.1.24 quaviver/code/write-digits.lisp

Dependency

read-digits.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

write-digits (function).

Internals

• %write-bignum-digits (function).
• %write-pow2-digits (function).
• %write-smallnum-digits (function).
• group-marker-p (function).

---

4.1.25 quaviver/code/number-parser.lisp

Dependency

write-digits.lisp (file).

Source

quaviver.asd.

Parent Component

code (module).

Public Interface

define-number-parser (macro).

Internals

• *back-tag* (special variable).
• *bindings* (special variable).
• *character-test* (special variable).
• *current-backp* (special variable).
• *definitions* (special variable).
• *next-tag* (special variable).
• *variable-map* (special variable).
• expand-clause (generic function).
• expand-parser (function).
• expand-ref (function).
• expand-set (function).

---

6.1.1 Macros

Macro: define-number-parser ((&key client base integer ratio float float-type case) definitions &body items) ¶

Package

quaviver.

Source

number-parser.lisp.

---

6.1.2 Compiler macros

Compiler Macro: ceiling-log-expt (log-base expt-base exp &optional three-quarters-p) ¶

Package

quaviver.math.

Source

log-expt.lisp.

Compiler Macro: count-digits (base value) ¶

Package

quaviver.math.

Source

count-digits.lisp.

Compiler Macro: expt (arithmetic-size base power) ¶

Package

quaviver.math.

Source

expt.lisp.

Compiler Macro: floor-log-expt (log-base expt-base exp &optional three-quarters-p) ¶

Package

quaviver.math.

Source

log-expt.lisp.

Compiler Macro: hi/64 (x count) ¶

Package

quaviver.math.

Source

implementation.lisp.

Compiler Macro: hi/hi64/128 (x count) ¶

Package

quaviver.math.

Source

implementation.lisp.

Compiler Macro: round-to-odd (arithmetic-size cp g) ¶

Package

quaviver.math.

Source

round-to-odd.lisp.

---

6.1.3 Ordinary functions

Function: ceiling-log-expt (log-base expt-base exp &optional three-quarters-p) ¶

Package

quaviver.math.

Source

log-expt.lisp.

Function: count-digits (base value) ¶

Package

quaviver.math.

Source

count-digits.lisp.

Function: expt (arithmetic-size base power) ¶

Package

quaviver.math.

Source

expt.lisp.

Function: expt/128-10 (power) ¶

Package

quaviver.math.

Source

expt.lisp.

Function: expt/256-10 (power) ¶

Package

quaviver.math.

Source

expt.lisp.

Function: expt/32-10 (power) ¶

Package

quaviver.math.

Source

expt.lisp.

Function: expt/64-10 (power) ¶

Package

quaviver.math.

Source

expt.lisp.

Function: floating-point-overflow (float-type sign operation &rest operands) ¶

Package

quaviver.condition.

Source

utility.lisp.

Function: floating-point-underflow (float-type sign operation &rest operands) ¶

Package

quaviver.condition.

Source

utility.lisp.

Function: floor-log-expt (log-base expt-base exp &optional three-quarters-p) ¶

Package

quaviver.math.

Source

log-expt.lisp.

Function: floor-multiply/32-64q64 (x y &optional pre-shift) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: floor-multiply/64-128q128 (x y &optional pre-shift) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: floor-multiply/evenp/32-64q64 (x y &optional pre-shift) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: floor-multiply/evenp/64-128q128 (x y &optional pre-shift) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: hi/64 (x count) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: hi/hi64/128 (x count) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: parse-digits (base string &key start end limit ignore) ¶

Package

quaviver.

Source

parse-digits.lisp.

Function: read-digits (base stream &key limit ignore) ¶

Package

quaviver.

Source

read-digits.lisp.

Function: round-to-odd (arithmetic-size cp g) ¶

Package

quaviver.math.

Source

round-to-odd.lisp.

Function: round-to-odd/128 (cp g) ¶

Package

quaviver.math.

Source

round-to-odd.lisp.

Function: round-to-odd/256 (cp g) ¶

Package

quaviver.math.

Source

round-to-odd.lisp.

Function: round-to-odd/32 (cp g) ¶

Package

quaviver.math.

Source

round-to-odd.lisp.

Function: round-to-odd/64 (cp g) ¶

Package

quaviver.math.

Source

round-to-odd.lisp.

Function: write-digits (base value stream &key fractional-position fractional-marker digit-grouping group-marker leading-zeros digit-char) ¶

Package

quaviver.

Source

write-digits.lisp.

---

6.1.4 Generic functions

Generic Function: arithmetic-size (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: arithmetic-size ((type (eql double-float))) ¶

Source

traits.lisp.

Method: arithmetic-size ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: bits-float (float-type bits) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: bits-float ((float-type (eql long-float)) value) ¶

Source

bits-float.lisp.

Method: bits-float ((float-type (eql double-float)) value) ¶

Source

bits-float.lisp.

Method: bits-float ((float-type (eql single-float)) value) ¶

Source

bits-float.lisp.

Method: bits-float ((float-type (eql short-float)) value) ¶

Source

bits-float.lisp.

Generic Function: bits-float-form (float-type bits) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: bits-float-form ((float-type (eql long-float)) value) ¶

Source

bits-float-form.lisp.

Method: bits-float-form ((float-type (eql double-float)) value) ¶

Source

bits-float-form.lisp.

Method: bits-float-form ((float-type (eql single-float)) value) ¶

Source

bits-float-form.lisp.

Method: bits-float-form ((float-type (eql short-float)) value) ¶

Source

bits-float-form.lisp.

Generic Function: compose-digits (result-type base value) ¶

Package

quaviver.

Methods

Method: compose-digits (result-type base value) ¶

Source

compose-digits.lisp.

Generic Function: exponent-bias (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: exponent-bias ((type (eql double-float))) ¶

Source

traits.lisp.

Method: exponent-bias ((type (eql single-float))) ¶

Source

traits.lisp.

Method: exponent-bias (type) ¶

Generic Function: exponent-byte-form (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: exponent-byte-form ((type (eql double-float))) ¶

Source

traits.lisp.

Method: exponent-byte-form ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: exponent-bytespec (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: exponent-bytespec ((type (eql double-float))) ¶

Source

traits.lisp.

Method: exponent-bytespec ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: exponent-size (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: exponent-size ((type (eql double-float))) ¶

Source

traits.lisp.

Method: exponent-size ((type (eql single-float))) ¶

Source

traits.lisp.

Method: exponent-size (type) ¶

Generic Function: float-bits (value) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: float-bits ((value double-float)) ¶

Source

float-bits.lisp.

Method: float-bits ((value single-float)) ¶

Source

float-bits.lisp.

Generic Function: float-bits-form (type value) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: float-bits-form ((float-type (eql long-float)) value) ¶

Source

float-bits-form.lisp.

Method: float-bits-form ((float-type (eql double-float)) value) ¶

Source

float-bits-form.lisp.

Method: float-bits-form ((float-type (eql single-float)) value) ¶

Source

float-bits-form.lisp.

Method: float-bits-form ((float-type (eql short-float)) value) ¶

Source

float-bits-form.lisp.

Generic Function: float-primitive-triple-form (float-type value) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: float-primitive-triple-form (float-type value) ¶

Source

float-primitive-triple-form.lisp.

Method: float-primitive-triple-form ((float-type (eql long-float)) value) ¶

Source

float-primitive-triple-form.lisp.

Method: float-primitive-triple-form ((float-type (eql double-float)) value) ¶

Source

float-primitive-triple-form.lisp.

Method: float-primitive-triple-form ((float-type (eql single-float)) value) ¶

Source

float-primitive-triple-form.lisp.

Method: float-primitive-triple-form ((float-type (eql short-float)) value) ¶

Source

float-primitive-triple-form.lisp.

Generic Function: float-triple (client base value) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: float-triple (client (base (eql 2)) (value double-float)) ¶

Source

float-triple.lisp.

Method: float-triple (client (base (eql 2)) (value single-float)) ¶

Source

float-triple.lisp.

Generic Function: hidden-bit-p (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: hidden-bit-p ((type (eql double-float))) ¶

Source

traits.lisp.

Method: hidden-bit-p ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: infinityp (type) ¶

Package

quaviver.

Source

interface.lisp.

Generic Function: max-exponent (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: max-exponent ((type (eql double-float))) ¶

Source

traits.lisp.

Method: max-exponent ((type (eql single-float))) ¶

Source

traits.lisp.

Method: max-exponent (type) ¶

Generic Function: min-exponent (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: min-exponent ((type (eql double-float))) ¶

Source

traits.lisp.

Method: min-exponent ((type (eql single-float))) ¶

Source

traits.lisp.

Method: min-exponent (type) ¶

Generic Function: nan-payload-byte-form (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: nan-payload-byte-form ((type (eql double-float))) ¶

Source

traits.lisp.

Method: nan-payload-byte-form ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: nan-payload-bytespec (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: nan-payload-bytespec ((type (eql double-float))) ¶

Source

traits.lisp.

Method: nan-payload-bytespec ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: nan-type-byte-form (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: nan-type-byte-form ((type (eql double-float))) ¶

Source

traits.lisp.

Method: nan-type-byte-form ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: nan-type-bytespec (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: nan-type-bytespec ((type (eql double-float))) ¶

Source

traits.lisp.

Method: nan-type-bytespec ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: non-number-p (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: non-number-p ((type (eql double-float))) ¶

Source

traits.lisp.

Method: non-number-p ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: parse-number (client base sequence &optional start end integerp ratiop floatp float-type) ¶

Package

quaviver.

Source

interface.lisp.

Generic Function: primitive-base (type) ¶

Package

quaviver.

Source

interface.lisp.

Generic Function: primitive-triple-float-form (float-type significand exponent sign) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: primitive-triple-float-form ((float-type (eql long-float)) significand exponent sign) ¶

Source

primitive-triple-float-form.lisp.

Method: primitive-triple-float-form ((float-type (eql double-float)) significand exponent sign) ¶

Source

primitive-triple-float-form.lisp.

Method: primitive-triple-float-form ((float-type (eql single-float)) significand exponent sign) ¶

Source

primitive-triple-float-form.lisp.

Method: primitive-triple-float-form ((float-type (eql short-float)) significand exponent sign) ¶

Source

primitive-triple-float-form.lisp.

Generic Function: read-number (client base stream &optional integerp ratiop floatp float-type) ¶

Package

quaviver.

Source

interface.lisp.

Generic Function: sign-byte-form (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: sign-byte-form ((type (eql double-float))) ¶

Source

traits.lisp.

Method: sign-byte-form ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: sign-bytespec (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: sign-bytespec ((type (eql double-float))) ¶

Source

traits.lisp.

Method: sign-bytespec ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: sign-size (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: sign-size ((type (eql double-float))) ¶

Source

traits.lisp.

Method: sign-size ((type (eql single-float))) ¶

Source

traits.lisp.

Method: sign-size (type) ¶

Generic Function: significand-byte-form (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: significand-byte-form ((type (eql double-float))) ¶

Source

traits.lisp.

Method: significand-byte-form ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: significand-bytespec (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: significand-bytespec ((type (eql double-float))) ¶

Source

traits.lisp.

Method: significand-bytespec ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: significand-size (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: significand-size ((type (eql double-float))) ¶

Source

traits.lisp.

Method: significand-size ((type (eql single-float))) ¶

Source

traits.lisp.

Method: significand-size (type) ¶

Generic Function: storage-size (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: storage-size ((type (eql double-float))) ¶

Source

traits.lisp.

Method: storage-size ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: subnormalp (type) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: subnormalp ((type (eql double-float))) ¶

Source

traits.lisp.

Method: subnormalp ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Function: triple-float (client float-type base significand exponent sign) ¶

Package

quaviver.

Source

interface.lisp.

Methods

Method: triple-float (client (float-type (eql long-float)) base significand exponent sign) ¶

Source

triple-float.lisp.

Method: triple-float (client (float-type (eql short-float)) base significand exponent sign) ¶

Source

triple-float.lisp.

Method: triple-float (client (float-type (eql double-float)) (base (eql 2)) significand exponent sign) ¶

Source

triple-float.lisp.

Method: triple-float (client (float-type (eql single-float)) (base (eql 2)) significand exponent sign) ¶

Source

triple-float.lisp.

Generic Function: write-number (client base value stream) ¶

Package

quaviver.

Source

interface.lisp.

---

6.1.5 Conditions

Condition: assertion-failed-error ¶

Package

quaviver.condition.

Source

parse-error.lisp.

Direct superclasses

parse-error.

Direct methods

assertion-failed-error-message.

Direct slots

Slot: message ¶

Initform

(quote nil)

Initargs

:message

Readers

assertion-failed-error-message.

Writers

This slot is read-only.

Condition: invalid-character-error ¶

Package

quaviver.condition.

Source

parse-error.lisp.

Direct superclasses

parse-error.

Direct methods

• invalid-character-error-expected.
• invalid-character-error-found.

Direct slots

Slot: found ¶

Initform

(quote nil)

Initargs

:found

Readers

invalid-character-error-found.

Writers

This slot is read-only.

Slot: expected ¶

Initform

(quote nil)

Initargs

:expected

Readers

invalid-character-error-expected.

Writers

This slot is read-only.

Condition: invalid-leading-zeros-error ¶

Package

quaviver.condition.

Source

parse-error.lisp.

Direct superclasses

parse-error.

Direct methods

• invalid-leading-zeros-error-count.
• invalid-leading-zeros-error-part.

Direct slots

Slot: part ¶

Initform

(quote nil)

Initargs

:part

Readers

invalid-leading-zeros-error-part.

Writers

This slot is read-only.

Slot: count ¶

Package

common-lisp.

Initform

(quote 0)

Initargs

:count

Readers

invalid-leading-zeros-error-count.

Writers

This slot is read-only.

Condition: invalid-property-error ¶

Package

quaviver.condition.

Source

parse-error.lisp.

Direct superclasses

parse-error.

Direct methods

• invalid-property-error-expected.
• invalid-property-error-name.
• invalid-property-error-value.

Direct slots

Slot: name ¶

Initform

(quote nil)

Initargs

:name

Readers

invalid-property-error-name.

Writers

This slot is read-only.

Slot: value ¶

Initform

(quote nil)

Initargs

:value

Readers

invalid-property-error-value.

Writers

This slot is read-only.

Slot: expected ¶

Initform

(quote nil)

Initargs

:expected

Readers

invalid-property-error-expected.

Writers

This slot is read-only.

Condition: missing-digits-error ¶

Package

quaviver.condition.

Source

parse-error.lisp.

Direct superclasses

parse-error.

Direct methods

• missing-digits-error-found.
• missing-digits-error-part.

Direct slots

Slot: part ¶

Initform

(quote nil)

Initargs

:part

Readers

missing-digits-error-part.

Writers

This slot is read-only.

Slot: found ¶

Initform

(quote nil)

Initargs

:found

Readers

missing-digits-error-found.

Writers

This slot is read-only.

---

6.1.6 Types

Type: arithmetic-word (arithmetic-size &optional count) ¶

Package

quaviver.math.

Source

implementation.lisp.

Type: exponent-word () ¶

Package

quaviver.

Source

interface.lisp.

Type: significand-word (type &optional extra) ¶

Package

quaviver.

Source

interface.lisp.

---

6.2.1 Constants

Constant: +expt/128-10/bound+ ¶

Package

quaviver.math.

Source

expt.lisp.

Constant: +expt/256-10/bound+ ¶

Package

quaviver.math.

Source

expt.lisp.

Constant: +expt/32-10/bound+ ¶

Package

quaviver.math.

Source

expt.lisp.

Constant: +expt/64-10/bound+ ¶

Package

quaviver.math.

Source

expt.lisp.

Constant: +log-expt-shift+ ¶

Package

quaviver.math.

Source

log-expt.lisp.

Constant: +max-base+ ¶

Package

quaviver.math.

Source

log-expt.lisp.

Constant: +min-base+ ¶

Package

quaviver.math.

Source

log-expt.lisp.

---

6.2.2 Special variables

Special Variable: *back-tag* ¶

Package

quaviver.

Source

number-parser.lisp.

Special Variable: *bindings* ¶

Package

quaviver.

Source

number-parser.lisp.

Special Variable: *character-test* ¶

Package

quaviver.

Source

number-parser.lisp.

Special Variable: *count-digits-table* ¶

Package

quaviver.math.

Source

count-digits.lisp.

Special Variable: *current-backp* ¶

Package

quaviver.

Source

number-parser.lisp.

Special Variable: *definitions* ¶

Package

quaviver.

Source

number-parser.lisp.

Special Variable: *log-3/4* ¶

Package

quaviver.math.

Source

log-expt.lisp.

Special Variable: *log-expt* ¶

Package

quaviver.math.

Source

log-expt.lisp.

Special Variable: *next-tag* ¶

Package

quaviver.

Source

number-parser.lisp.

Special Variable: *variable-map* ¶

Package

quaviver.

Source

number-parser.lisp.

---

6.2.3 Macros

Macro: %bits-float (float-type value) ¶

Package

quaviver.

Source

bits-float.lisp.

Macro: %float-bits (float-type value) ¶

Package

quaviver.

Source

float-bits.lisp.

Macro: %float-primitive-triple-form (float-type value) ¶

Package

quaviver.

Source

float-primitive-triple-form.lisp.

Macro: %floor-multiply/evenp/n-2nq2n (x y pre-shift size) ¶

Package

quaviver.math.

Source

implementation.lisp.

Macro: %floor-multiply/n-2nq2n (x y pre-shift size) ¶

Package

quaviver.math.

Source

implementation.lisp.

Macro: %primitive-triple-float-form (float-type significand exponent sign) ¶

Package

quaviver.

Source

primitive-triple-float-form.lisp.

Macro: %round-to-odd-1 (size cp g) ¶

Package

quaviver.math.

Source

round-to-odd.lisp.

Macro: %round-to-odd-2 (size cp g) ¶

Package

quaviver.math.

Source

round-to-odd.lisp.

Macro: %traits (type most-positive least-positive least-positive-normalized) ¶

Package

quaviver.

Source

traits.lisp.

Macro: define-expt (&key arithmetic-sizes types base) ¶

Package

quaviver.math.

Source

expt.lisp.

---

6.2.4 Compiler macros

Compiler Macro: ceiling-log-expt/far (log-base expt-base exp) ¶

Package

quaviver.math.

Source

log-expt.lisp.

---

6.2.5 Ordinary functions

Function: %compose-digits/base-string (base value) ¶

Package

quaviver.

Source

compose-digits.lisp.

Function: %compose-digits/list (base value) ¶

Package

quaviver.

Source

compose-digits.lisp.

Function: %compose-digits/string (base value) ¶

Package

quaviver.

Source

compose-digits.lisp.

Function: %compose-digits/vector (base value) ¶

Package

quaviver.

Source

compose-digits.lisp.

Function: %write-bignum-digits (base value stream fractional-position fractional-marker digit-grouping group-marker leading-zeros digit-char) ¶

Package

quaviver.

Source

write-digits.lisp.

Function: %write-pow2-digits (base value stream fractional-position fractional-marker digit-grouping group-marker leading-zeros digit-char) ¶

Package

quaviver.

Source

write-digits.lisp.

Function: %write-smallnum-digits (base value stream fractional-position fractional-marker digit-grouping group-marker leading-zeros digit-char) ¶

Package

quaviver.

Source

write-digits.lisp.

Function: */32-64/hi64 (x y) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: */32-64/lo64 (x y) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: */64-128/hi128 (x yh yl) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: */64-128/lo128 (x yh yl) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: */64-64 (x y) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: */64-64/hi64 (x y) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: */64-64/lo64 (x y) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: +/128-64 (xh xl y) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: +/64-64 (x y) ¶

Package

quaviver.math.

Source

implementation.lisp.

Function: ceiling-log-expt/far (log-base expt-base exp) ¶

Package

quaviver.math.

Source

log-expt.lisp.

Function: compute-count-digits (min-base max-base width) ¶

Package

quaviver.math.

Source

utility.lisp.

Function: compute-expt (k-min k-max width &optional base) ¶

Package

quaviver.math.

Source

utility.lisp.

Function: compute-expt-bounds (types base) ¶

Package

quaviver.math.

Source

utility.lisp.

Function: compute-log-constant (b) ¶

Package

quaviver.math.

Source

log-expt.lisp.

Function: compute-log-expt () ¶

Package

quaviver.math.

Source

log-expt.lisp.

Function: expand-parser (variant definitions items integerp ratiop floatp &rest map) ¶

Package

quaviver.

Source

number-parser.lisp.

Function: expand-ref (name) ¶

Package

quaviver.

Source

number-parser.lisp.

Function: expand-set (&rest properties) ¶

Package

quaviver.

Source

number-parser.lisp.

Function: float-primitive-triple/double-float (value) ¶

Package

quaviver.

Source

float-primitive-triple-form.lisp.

Function: float-primitive-triple/single-float (value) ¶

Package

quaviver.

Source

float-primitive-triple-form.lisp.

Function: group-marker-p (index spec) ¶

Package

quaviver.

Source

write-digits.lisp.

Function: make-arithmetic-word (value width) ¶

Package

quaviver.math.

Source

utility.lisp.

Function: primitive-triple-float/double-float (significand exponent sign) ¶

Package

quaviver.

Source

primitive-triple-float-form.lisp.

Function: primitive-triple-float/single-float (significand exponent sign) ¶

Package

quaviver.

Source

primitive-triple-float-form.lisp.

Function: ub32-sb32 (ub32) ¶

Package

quaviver.

Source

bits-float-form.lisp.

---

6.2.6 Generic functions

Generic Reader: assertion-failed-error-message (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: assertion-failed-error-message ((condition assertion-failed-error)) ¶

Source

parse-error.lisp.

Target Slot

message.

Generic Function: expand-clause (variant key &optional items) ¶

Package

quaviver.

Source

number-parser.lisp.

Methods

Method: expand-clause (variant (name symbol) &optional items) ¶

Method: expand-clause (variant (key (eql :set)) &optional items) ¶

Method: expand-clause (variant (key (eql :assert)) &optional items) ¶

Method: expand-clause (variant (key string) &optional items) ¶

Method: expand-clause ((variant (eql quaviver:parse-number)) (expected character) &optional items) ¶

Method: expand-clause ((variant (eql quaviver:read-number)) (expected character) &optional items) ¶

Method: expand-clause (variant (key (eql :alternate?)) &optional items) ¶

Method: expand-clause (variant (key (eql :alternate)) &optional items) ¶

Method: expand-clause (variant (key (eql :sequence?)) &optional items) ¶

Method: expand-clause (variant (key (eql :sequence)) &optional items) ¶

Method: expand-clause ((variant (eql quaviver:parse-number)) (key (eql :digits?)) &optional items) ¶

Method: expand-clause ((variant (eql quaviver:read-number)) (key (eql :digits?)) &optional items) ¶

Method: expand-clause ((variant (eql quaviver:parse-number)) (key (eql :digits)) &optional items) ¶

Method: expand-clause ((variant (eql quaviver:read-number)) (key (eql :digits)) &optional items) ¶

Method: expand-clause (variant (key cons) &optional items) ¶

Generic Function: internal-base (type) ¶

Package

quaviver.

Methods

Method: internal-base ((type (eql double-float))) ¶

Source

traits.lisp.

Method: internal-base ((type (eql single-float))) ¶

Source

traits.lisp.

Generic Reader: invalid-character-error-expected (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: invalid-character-error-expected ((condition invalid-character-error)) ¶

Source

parse-error.lisp.

Target Slot

expected.

Generic Reader: invalid-character-error-found (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: invalid-character-error-found ((condition invalid-character-error)) ¶

Source

parse-error.lisp.

Target Slot

found.

Generic Reader: invalid-leading-zeros-error-count (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: invalid-leading-zeros-error-count ((condition invalid-leading-zeros-error)) ¶

Source

parse-error.lisp.

Target Slot

count.

Generic Reader: invalid-leading-zeros-error-part (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: invalid-leading-zeros-error-part ((condition invalid-leading-zeros-error)) ¶

Source

parse-error.lisp.

Target Slot

part.

Generic Reader: invalid-property-error-expected (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: invalid-property-error-expected ((condition invalid-property-error)) ¶

Source

parse-error.lisp.

Target Slot

expected.

Generic Reader: invalid-property-error-name (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: invalid-property-error-name ((condition invalid-property-error)) ¶

Source

parse-error.lisp.

Target Slot

name.

Generic Reader: invalid-property-error-value (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: invalid-property-error-value ((condition invalid-property-error)) ¶

Source

parse-error.lisp.

Target Slot

value.

Generic Reader: missing-digits-error-found (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: missing-digits-error-found ((condition missing-digits-error)) ¶

Source

parse-error.lisp.

Target Slot

found.

Generic Reader: missing-digits-error-part (condition) ¶

Package

quaviver.condition.

Methods

Reader Method: missing-digits-error-part ((condition missing-digits-error)) ¶

Source

parse-error.lisp.

Target Slot

part.

---